Details

Time bar (total: 12.4s)

sample61.0ms

Algorithm
intervals
Results
24.0ms70×body1280valid
13.0ms55×body640valid
7.0ms181×body80valid
5.0ms31×body320valid
1.0ms11×body160valid

simplify27.0ms

Counts
1 → 1
Iterations
IterNodes
done18
318
216
113
05

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 40.3b

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- (exp x) 1) x)
3.6b
(- (exp x) 1)

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt
29×*-un-lft-identity
21×times-frac
14×add-cube-cbrt
10×difference-of-squares
7×associate-/l*
5×difference-of-sqr-1 distribute-lft-out--
4×add-cbrt-cube add-exp-log add-log-exp
3×associate-/r*
2×pow1 flip3-- insert-posit16 flip-- associate-/l/
1×cbrt-undiv clear-num sub-neg frac-2neg diff-log div-sub div-exp div-inv
Counts
2 → 64
Calls
2 calls:
23.0ms
(/ (- (exp x) 1) x)
12.0ms
(- (exp x) 1)

series71.0ms

Counts
2 → 6
Calls
2 calls:
51.0ms
(/ (- (exp x) 1) x)
20.0ms
(- (exp x) 1)

simplify1.7s

Counts
70 → 70
Iterations
IterNodes
done5004
31887
2592
1239
0108

prune185.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 2 expressions with local error:

0.1b
(* x (+ 1/2 (* 1/6 x)))
0.4b
(* 1/6 x)

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
6×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
2×pow-prod-down prod-exp associate-*r/ *-commutative cbrt-unprod insert-posit16 add-log-exp unswap-sqr
1×distribute-rgt-in distribute-lft-in flip3-+ flip-+
Counts
2 → 42
Calls
2 calls:
14.0ms
(* x (+ 1/2 (* 1/6 x)))
9.0ms
(* 1/6 x)

series113.0ms

Counts
2 → 6
Calls
2 calls:
89.0ms
(* x (+ 1/2 (* 1/6 x)))
24.0ms
(* 1/6 x)

simplify3.2s

Counts
48 → 48
Iterations
IterNodes
done5001
33789
2664
1205
072

prune177.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (exp x) x)
3.0b
(- (/ (exp x) x) (/ 1 x))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
26×*-un-lft-identity
23×times-frac
12×add-cube-cbrt
6×div-inv difference-of-squares
5×distribute-lft-out--
4×add-cbrt-cube add-log-exp
3×associate-/r* distribute-rgt-out-- add-exp-log associate-/l*
2×pow1 insert-posit16
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-- diff-log div-exp frac-sub flip-- sub-div
Counts
2 → 57
Calls
2 calls:
12.0ms
(/ (exp x) x)
32.0ms
(- (/ (exp x) x) (/ 1 x))

series80.0ms

Counts
2 → 6
Calls
2 calls:
38.0ms
(/ (exp x) x)
42.0ms
(- (/ (exp x) x) (/ 1 x))

simplify1.9s

Counts
63 → 63
Iterations
IterNodes
done5000
31916
2621
1236
0109

prune217.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize57.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
3.6b
(- (exp x) 1)
3.6b
(- (exp x) 1)
3.6b
(- (exp x) 1)

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
14×*-un-lft-identity
10×add-log-exp
6×difference-of-squares
5×add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log insert-posit16
3×cbrt-prod sub-neg flip3-- diff-log difference-of-sqr-1 flip-- distribute-lft-out--
1×pow1/3
Counts
4 → 63
Calls
4 calls:
2.0ms
(cbrt x)
20.0ms
(- (exp x) 1)
20.0ms
(- (exp x) 1)
21.0ms
(- (exp x) 1)

series330.0ms

Counts
4 → 12
Calls
4 calls:
246.0ms
(cbrt x)
25.0ms
(- (exp x) 1)
26.0ms
(- (exp x) 1)
34.0ms
(- (exp x) 1)

simplify1.6s

Counts
75 → 75
Iterations
IterNodes
done5000
42129
3813
2323
1130
065

prune390.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

regimes29.0ms

Accuracy

98.5% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 20.9b

bsearch35.0ms

Steps
ItersRangePoint
8
-0.018988436667384805
-1.4244285555183042e-05
-0.00022073346315206534

simplify3.0ms

Iterations
IterNodes
done21
121
015

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.1s2258×body1280valid
413.0ms1681×body640valid
209.0ms5287×body80valid
152.0ms830×body320valid
36.0ms435×body160valid