Details

Time bar (total: 35.4s)

sample222.0ms

Algorithm
intervals
Results
99.0ms79×body1280valid
44.0ms92×body80nan
35.0ms54×body640valid
9.0ms24×body320valid
7.0ms85×body80valid
3.0ms14×body160valid

simplify21.8s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
1139
2189
3259
4379
5779
63209
728679
done50019

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 40.3b

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b
(exp (- x 1.0))
0.0b
(/ (log (+ x 1.0)) (exp (- x 1.0)))
4.1b
(log (+ x 1.0))

rewrite116.0ms

Algorithm
rewrite-expression-head
Rules
20×*-un-lft-identity times-frac
18×add-sqr-sqrt
16×add-cube-cbrt
12×exp-sum
10×pow1
log-pow
sub-neg add-log-exp
exp-prod associate-/r* add-cbrt-cube add-exp-log
log-div log-prod associate-/l*
flip3-+ exp-diff div-sub flip-+ rem-exp-log
cbrt-undiv clear-num frac-2neg diff-log div-exp rem-log-exp associate-/r/ div-inv distribute-lft-out distribute-lft-out-- difference-of-squares
Counts
3 → 76
Calls
3 calls:
29.0ms
(exp (- x 1.0))
73.0ms
(/ (log (+ x 1.0)) (exp (- x 1.0)))
9.0ms
(log (+ x 1.0))

series343.0ms

Counts
3 → 9
Calls
3 calls:
31.0ms
(exp (- x 1.0))
217.0ms
(/ (log (+ x 1.0)) (exp (- x 1.0)))
95.0ms
(log (+ x 1.0))

simplify1.0s

Counts
85 → 85
Iterations

Useful iterations: done (1.0s)

IterNodesCost
01631118
13421080
211891006
done5000974

prune453.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.2b

localize43.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (- x 1.0))
0.0b
(* 1/2 (/ (pow x 2) (pow 1.0 2)))
0.0b
(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))
11.5b
(/ (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2)))) (exp (- x 1.0)))

rewrite452.0ms

Algorithm
rewrite-expression-head
Rules
95×times-frac
85×add-sqr-sqrt
68×associate-*r*
56×unpow-prod-down
51×*-un-lft-identity
49×add-cube-cbrt
28×add-exp-log
24×unpow2 sqr-pow
17×unswap-sqr
11×add-cbrt-cube add-log-exp
10×div-exp exp-sum prod-exp
pow-to-exp pow1 sub-neg pow-exp
exp-prod associate-/r* associate-*r/
frac-sub associate-/l/
diff-log associate-*l* associate-/l*
cbrt-undiv flip3-+ flip3-- exp-diff cbrt-unprod flip-+ div-inv flip-- rem-exp-log
clear-num sum-log frac-2neg div-sub pow-prod-down associate--l+ associate-/r/ *-commutative distribute-lft-out-- difference-of-squares
Counts
4 → 184
Calls
4 calls:
28.0ms
(exp (- x 1.0))
73.0ms
(* 1/2 (/ (pow x 2) (pow 1.0 2)))
108.0ms
(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))
224.0ms
(/ (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2)))) (exp (- x 1.0)))

series440.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(exp (- x 1.0))
106.0ms
(* 1/2 (/ (pow x 2) (pow 1.0 2)))
92.0ms
(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))
199.0ms
(/ (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2)))) (exp (- x 1.0)))

simplify3.6s

Counts
196 → 196
Iterations

Useful iterations: done (3.5s)

IterNodesCost
03623553
19963284
246622906
done50002902

prune1.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

regimes153.0ms

Accuracy

96.7% (0.4b remaining)

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

bsearch103.0ms

Steps
ItersRangePoint
10
6.39684937763006e-15
0.005176362185749712
5.140320595227231e-06

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02342
12742
done2742

end0.0ms

sample5.4s

Algorithm
intervals
Results
2.9s2205×body1280valid
1.1s1685×body640valid
407.0ms807×body320valid
228.0ms2913×body80valid
226.0ms2698×body80nan
81.0ms390×body160valid