Details

Time bar (total: 12.8s)

sample164.0ms

Algorithm
intervals
Results
82.0ms74×body1280valid
32.0ms56×body640valid
7.0ms23×body320valid
7.0ms90×body80valid
6.0ms78×body80nan
2.0ms13×body160valid

simplify10.0ms

Counts
1 → 1
Iterations
IterNodes
done12
212
111
08

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.3b

localize26.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ x (/ (log (- 1.0 x)) (log 10.0)))
0.3b
(/ (log (- 1.0 x)) (log 10.0))
3.4b
(log (- 1.0 x))

rewrite104.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
16×add-sqr-sqrt times-frac
14×pow1 add-cube-cbrt
11×log-pow
log-div add-exp-log
log-prod add-cbrt-cube add-log-exp
associate-/r* div-sub associate-/l*
flip3-- flip--
associate-+r-
cbrt-undiv +-commutative clear-num sum-log frac-2neg flip3-+ div-exp rem-log-exp flip-+ div-inv distribute-lft-out distribute-lft-out-- difference-of-squares
Counts
3 → 68
Calls
3 calls:
28.0ms
(+ x (/ (log (- 1.0 x)) (log 10.0)))
62.0ms
(/ (log (- 1.0 x)) (log 10.0))
10.0ms
(log (- 1.0 x))

series432.0ms

Counts
3 → 9
Calls
3 calls:
162.0ms
(+ x (/ (log (- 1.0 x)) (log 10.0)))
185.0ms
(/ (log (- 1.0 x)) (log 10.0))
85.0ms
(log (- 1.0 x))

simplify1.6s

Counts
77 → 77
Iterations
IterNodes
done5000
21238
1350
0159

prune534.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.4b

localize40.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (- (log 1.0) (* (* 1/2 (/ x 1.0)) (/ x 1.0))) (* x 1.0))
0.1b
(+ x (/ (- (- (log 1.0) (* (* 1/2 (/ x 1.0)) (/ x 1.0))) (* x 1.0)) (log 10.0)))
0.5b
(/ (- (- (log 1.0) (* (* 1/2 (/ x 1.0)) (/ x 1.0))) (* x 1.0)) (log 10.0))

rewrite350.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity
13×add-sqr-sqrt add-cube-cbrt
12×times-frac
add-log-exp
associate--l+
pow1
add-cbrt-cube add-exp-log
associate-/r* log-pow
log-prod diff-log associate-/l*
sub-neg flip3-- div-sub flip-- associate-/l/
associate--l- cbrt-undiv +-commutative clear-num associate-+r- sum-log frac-2neg flip3-+ div-exp flip-+ div-inv distribute-lft-out
Counts
3 → 66
Calls
3 calls:
76.0ms
(- (- (log 1.0) (* (* 1/2 (/ x 1.0)) (/ x 1.0))) (* x 1.0))
127.0ms
(+ x (/ (- (- (log 1.0) (* (* 1/2 (/ x 1.0)) (/ x 1.0))) (* x 1.0)) (log 10.0)))
144.0ms
(/ (- (- (log 1.0) (* (* 1/2 (/ x 1.0)) (/ x 1.0))) (* x 1.0)) (log 10.0))

series477.0ms

Counts
3 → 9
Calls
3 calls:
66.0ms
(- (- (log 1.0) (* (* 1/2 (/ x 1.0)) (/ x 1.0))) (* x 1.0))
252.0ms
(+ x (/ (- (- (log 1.0) (* (* 1/2 (/ x 1.0)) (/ x 1.0))) (* x 1.0)) (log 10.0)))
159.0ms
(/ (- (- (log 1.0) (* (* 1/2 (/ x 1.0)) (/ x 1.0))) (* x 1.0)) (log 10.0))

simplify2.1s

Counts
75 → 75
Iterations
IterNodes
done5002
21387
1339
0132

prune519.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.1b

regimes446.0ms

Accuracy

97.7% (0.5b remaining)

Error of 0.7b against oracle of 0.2b and baseline of 21.7b

bsearch3.0ms

simplify15.0ms

Iterations
IterNodes
done36
136
027

end0.0ms

sample6.0s

Algorithm
intervals
Results
3.5s2215×body1280valid
1.2s1698×body640valid
251.0ms812×body320valid
244.0ms2742×body80nan
221.0ms2882×body80valid
73.0ms393×body160valid