Details

Time bar (total: 9.6s)

sample70.0ms

Algorithm
intervals
Results
25.0ms55×body1280valid
17.0ms64×body640valid
9.0ms170×body80valid
6.0ms32×body320valid
2.0ms17×body160valid

simplify35.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
34.0ms
(/ (- (exp x) 1) x)

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 39.6b

localize17.0ms

Local error

Found 2 expressions with local error:

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

rewrite68.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:
Slowest
49.0ms
(/ (- (exp x) 1) x)
17.0ms
(- (exp x) 1)

series89.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
64.0ms
(/ (- (exp x) 1) x)
24.0ms
(- (exp x) 1)

simplify2.0s

Counts
67 → 70
Calls
67 calls:
Slowest
212.0ms
(/ (* (* (- (exp x) 1) (- (exp x) 1)) (- (exp x) 1)) (* (* x x) x))
210.0ms
(+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
142.0ms
(* -1 (/ (- 1 (exp x)) x))
82.0ms
(/ (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1))) (* (cbrt x) (cbrt x)))
61.0ms
(+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))

prune572.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite59.0ms

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

series142.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
82.0ms
(* x (+ (* 1/6 x) 1/2))
36.0ms
(+ (* 1/6 x) 1/2)
23.0ms
(* 1/6 x)

simplify1.2s

Counts
33 → 63
Calls
33 calls:
Slowest
267.0ms
(+ (* (* 1/6 x) (* 1/6 x)) (- (* 1/2 1/2) (* (* 1/6 x) 1/2)))
247.0ms
(* (* (* x x) x) (* (* (+ (* 1/6 x) 1/2) (+ (* 1/6 x) 1/2)) (+ (* 1/6 x) 1/2)))
218.0ms
(* (* (* 1/6 1/6) 1/6) (* (* x x) x))
84.0ms
(* (exp (* 1/6 x)) (exp 1/2))
66.0ms
(+ (* 1/2 x) (* 1/6 (pow x 2)))

prune432.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite25.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:
Slowest
16.0ms
(- (/ (exp x) x) (/ 1 x))
8.0ms
(/ (exp x) x)

series96.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
57.0ms
(- (/ (exp x) x) (/ 1 x))
39.0ms
(/ (exp x) x)

simplify1.5s

Counts
60 → 63
Calls
60 calls:
Slowest
365.0ms
(/ (* (* (exp x) (exp x)) (exp x)) (* (* x x) x))
153.0ms
(* -1 (/ (- 1 (exp x)) x))
69.0ms
(/ (exp (/ (exp x) x)) (exp (/ 1 x)))
67.0ms
(+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1))
54.0ms
(/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt x) (cbrt x)))

prune452.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes20.0ms

Accuracy

98.8% (0.3b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 21.0b

bsearch44.0ms

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.1s2200×body1280valid
731.0ms5433×body80valid
500.0ms1687×body640valid
203.0ms864×body320valid
55.0ms434×body160valid