Details

Time bar (total: 14.8s)

sample216.0ms

Algorithm
intervals
Results
56.0ms104×body1280valid
45.0ms46×body320valid
43.0ms737×body80nan
30.0ms87×body640valid
2.0ms17×body160valid
0.0msbody80valid

simplify12.0ms

Counts
1 → 1
Iterations
IterNodes
done14
214
112
07

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 59.9b

localize22.0ms

Local error

Found 1 expressions with local error:

5.8b
(- (log (+ x 10.0)) (log (- x 10.0)))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity
log-prod
add-sqr-sqrt
pow1 associate--r+ distribute-lft-out--
log-div associate--l+ log-pow
add-cube-cbrt
associate--l- flip3-- flip-- associate--r- difference-of-squares
sub-neg flip3-+ add-cbrt-cube diff-log add-exp-log flip-+ distribute-lft-out add-log-exp
Counts
1 → 30
Calls
1 calls:
32.0ms
(- (log (+ x 10.0)) (log (- x 10.0)))

series860.0ms

Counts
1 → 3
Calls
1 calls:
860.0ms
(- (log (+ x 10.0)) (log (- x 10.0)))

simplify2.4s

Counts
33 → 33
Iterations
IterNodes
done5000
32665
2646
1216
0100

prune225.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ 666.6666666666666 (* x (* x x))) (/ 20.0 x))
0.1b
(* x (* x x))
0.6b
(/ 666.6666666666666 (* x (* x x)))
0.8b
(/ 40000.0 (pow x 5))

rewrite184.0ms

Algorithm
rewrite-expression-head
Rules
25×*-un-lft-identity
24×add-sqr-sqrt times-frac
23×add-exp-log add-cube-cbrt
20×add-cbrt-cube
18×pow1
12×unpow-prod-down
associate-/r*
div-exp prod-exp cbrt-unprod associate-/l* add-log-exp
pow-prod-up
cbrt-undiv sqr-pow
associate-*l* pow-prod-down
clear-num frac-2neg div-inv
pow2 pow-to-exp +-commutative sum-log flip3-+ pow-plus cube-unmult associate-*r* frac-add pow-exp pow-sqr *-commutative flip-+ distribute-lft-out unswap-sqr
Counts
4 → 105
Calls
4 calls:
95.0ms
(+ (/ 666.6666666666666 (* x (* x x))) (/ 20.0 x))
35.0ms
(* x (* x x))
33.0ms
(/ 666.6666666666666 (* x (* x x)))
14.0ms
(/ 40000.0 (pow x 5))

series465.0ms

Counts
4 → 12
Calls
4 calls:
187.0ms
(+ (/ 666.6666666666666 (* x (* x x))) (/ 20.0 x))
82.0ms
(* x (* x x))
82.0ms
(/ 666.6666666666666 (* x (* x x)))
113.0ms
(/ 40000.0 (pow x 5))

simplify2.1s

Counts
117 → 117
Iterations
IterNodes
done5001
22149
1413
0178

prune790.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

regimes50.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done16
116
013

end0.0ms

sample7.5s

Algorithm
intervals
Results
2.8s23828×body80nan
2.1s3398×body1280valid
1.1s2615×body640valid
357.0ms1217×body320valid
208.0ms605×body160valid
12.0ms165×body80valid