Details

Time bar (total: 9.3s)

sample106.0ms

Algorithm
intervals
Results
35.0ms76×body1280valid
23.0ms78×body10240exit
17.0ms54×body640valid
5.0ms23×body320valid
4.0ms90×body80valid
1.0ms13×body160valid

simplify1.6s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
1117
2177
3287
4617
51597
67447
done50007

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 38.9b

localize12.0ms

Local error

Found 1 expressions with local error:

3.4b
(- (exp x) (exp (* 2.0 x)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt *-un-lft-identity add-log-exp
pow1 sub-neg flip3-- add-cbrt-cube diff-log add-exp-log add-cube-cbrt flip-- distribute-lft-out-- difference-of-squares
Counts
1 → 14
Calls
1 calls:
24.0ms
(- (exp x) (exp (* 2.0 x)))

series60.0ms

Counts
1 → 3
Calls
1 calls:
60.0ms
(- (exp x) (exp (* 2.0 x)))

simplify903.0ms

Counts
17 → 17
Iterations

Useful iterations: done (902.0ms)

IterNodesCost
044210
199201
2285185
31012183
done5001181

prune98.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b
(* x (+ (* x (+ (* 1.1666666666666665 x) 1.5)) 1.0))
0.0b
(* x (+ (* 1.1666666666666665 x) 1.5))

rewrite156.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
associate-*r/
distribute-rgt-in distribute-lft-in flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ add-log-exp unswap-sqr
Counts
2 → 44
Calls
2 calls:
97.0ms
(* x (+ (* x (+ (* 1.1666666666666665 x) 1.5)) 1.0))
55.0ms
(* x (+ (* 1.1666666666666665 x) 1.5))

series233.0ms

Counts
2 → 6
Calls
2 calls:
88.0ms
(* x (+ (* x (+ (* 1.1666666666666665 x) 1.5)) 1.0))
145.0ms
(* x (+ (* 1.1666666666666665 x) 1.5))

simplify1.4s

Counts
50 → 50
Iterations

Useful iterations: 2 (435.0ms)

IterNodesCost
089636
1295612
21572560
done5000560

prune216.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

regimes77.0ms

Accuracy

98.6% (0.3b remaining)

Error of 0.4b against oracle of 0.1b and baseline of 21.9b

bsearch64.0ms

Steps
ItersRangePoint
9
-7.250512869097592e-05
-7.752227966376303e-10
-6.364142259443218e-05

simplify32.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02135
13135
24335
34835
45235
55735
done5735

end0.0ms

sample4.2s

Algorithm
intervals
Results
1.5s2220×body1280valid
1.1s2657×body10240exit
715.0ms1690×body640valid
158.0ms803×body320valid
151.0ms2940×body80valid
52.0ms404×body160valid