Details

Time bar (total: 27.0s)

sample85.0ms

Algorithm
intervals
Results
33.0ms82×body1280valid
23.0ms78×body10240exit
8.0ms32×body640valid
5.0ms102×body80valid
4.0ms26×body320valid
2.0ms14×body160valid

simplify35.0ms

Calls
1 calls:
Slowest
35.0ms
(/ (exp x) (- (exp x) 1))

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 37.3b

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
12×*-un-lft-identity times-frac add-cube-cbrt
5×difference-of-sqr-1
4×associate-/r* add-cbrt-cube
3×fma-neg add-exp-log associate-/l*
2×expm1-log1p-u pow1 flip3-- associate-/r/ insert-posit16 log1p-expm1-u flip-- add-log-exp
1×cbrt-undiv expm1-def clear-num sub-neg frac-2neg div-exp div-inv
Calls
2 calls:
Slowest
7.0ms
(/ (exp x) (- (exp x) 1))
4.0ms
(- (exp x) 1)

series65.0ms

Calls
2 calls:
Slowest
43.0ms
(/ (exp x) (- (exp x) 1))
21.0ms
(- (exp x) 1)

simplify1.4s

Calls
43 calls:
Slowest
431.0ms
(/ (* (* (exp x) (exp x)) (exp x)) (* (* (- (exp x) 1) (- (exp x) 1)) (- (exp x) 1)))
182.0ms
(+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
65.0ms
(/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1))))
64.0ms
(+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))
45.0ms
(+ (* 1/12 x) (+ (/ 1 x) 1/2))

prune480.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ (exp x) (expm1 x))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt *-un-lft-identity times-frac add-cube-cbrt
3×associate-/r* add-cbrt-cube associate-/l*
2×add-exp-log
1×expm1-log1p-u pow1 cbrt-undiv clear-num frac-2neg div-exp insert-posit16 log1p-expm1-u div-inv add-log-exp
Calls
1 calls:
Slowest
4.0ms
(/ (exp x) (expm1 x))

series41.0ms

Calls
1 calls:
Slowest
41.0ms
(/ (exp x) (expm1 x))

simplify411.0ms

Calls
28 calls:
Slowest
172.0ms
(/ (* (* (exp x) (exp x)) (exp x)) (* (* (expm1 x) (expm1 x)) (expm1 x)))
28.0ms
(/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (expm1 x)) (cbrt (expm1 x))))
24.0ms
(+ (* 1/12 x) (+ (/ 1 x) 1/2))
20.0ms
(/ (sqrt (exp x)) (* (cbrt (expm1 x)) (cbrt (expm1 x))))
17.0ms
(/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (expm1 x)))

prune300.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (expm1 x) (sqrt (exp x)))
0.0b
(/ (sqrt (exp x)) (/ (expm1 x) (sqrt (exp x))))
0.0b
(sqrt (exp x))
0.0b
(sqrt (exp x))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
276×times-frac
160×add-sqr-sqrt
158×*-un-lft-identity add-cube-cbrt
150×sqrt-prod
28×associate-/r*
11×add-cbrt-cube add-exp-log
9×div-inv associate-/l*
4×expm1-log1p-u pow1 cbrt-undiv div-exp insert-posit16 log1p-expm1-u add-log-exp
2×rem-sqrt-square clear-num frac-2neg pow1/2
1×div-sub associate-/r/ expm1-udef
Calls
4 calls:
Slowest
7.0ms
(/ (sqrt (exp x)) (/ (expm1 x) (sqrt (exp x))))
5.0ms
(/ (expm1 x) (sqrt (exp x)))
1.0ms
(sqrt (exp x))
1.0ms
(sqrt (exp x))

series150.0ms

Calls
4 calls:
Slowest
86.0ms
(/ (expm1 x) (sqrt (exp x)))
31.0ms
(/ (sqrt (exp x)) (/ (expm1 x) (sqrt (exp x))))
19.0ms
(sqrt (exp x))
13.0ms
(sqrt (exp x))

simplify12.0s

Calls
363 calls:
Slowest
410.0ms
(/ (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))) (/ (* (* (expm1 x) (expm1 x)) (expm1 x)) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x)))))
229.0ms
(/ (sqrt 1) (/ (* (cbrt (expm1 x)) (cbrt (expm1 x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
194.0ms
(/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (/ (* (cbrt (expm1 x)) (cbrt (expm1 x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
187.0ms
(/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (/ (* (cbrt (expm1 x)) (cbrt (expm1 x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
180.0ms
(/ (* (* (expm1 x) (expm1 x)) (expm1 x)) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))))

prune2.5s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.3b
(* x 1/24)
0.2b
(fma (pow x 5) 1/1920 x)
0.0b
(/ (sqrt (exp x)) (fma (* x 1/24) (* x x) (fma (pow x 5) 1/1920 x)))
0.0b
(sqrt (exp x))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
20×*-un-lft-identity add-cube-cbrt
18×times-frac
15×sqrt-prod
6×add-cbrt-cube add-exp-log associate-/l*
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r*
1×cbrt-undiv rem-sqrt-square clear-num frac-2neg pow1/2 div-exp *-commutative fma-udef div-inv
Calls
4 calls:
Slowest
6.0ms
(/ (sqrt (exp x)) (fma (* x 1/24) (* x x) (fma (pow x 5) 1/1920 x)))
1.0ms
(sqrt (exp x))
0.0ms
(* x 1/24)
0.0ms
(fma (pow x 5) 1/1920 x)

series324.0ms

Calls
4 calls:
Slowest
187.0ms
(fma (pow x 5) 1/1920 x)
97.0ms
(/ (sqrt (exp x)) (fma (* x 1/24) (* x x) (fma (pow x 5) 1/1920 x)))
21.0ms
(sqrt (exp x))
19.0ms
(* x 1/24)

simplify4.5s

Calls
62 calls:
Slowest
429.0ms
(/ (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))) (* (* (fma (* x 1/24) (* x x) (fma (pow x 5) 1/1920 x)) (fma (* x 1/24) (* x x) (fma (pow x 5) 1/1920 x))) (fma (* x 1/24) (* x x) (fma (pow x 5) 1/1920 x))))
319.0ms
(- (+ (* 8601600 (* (/ 1 (pow x 9)) (sqrt (exp x)))) (* 1920 (* (/ 1 (pow x 5)) (sqrt (exp x))))) (* 153600 (* (/ 1 (pow x 7)) (sqrt (exp x)))))
319.0ms
(- (+ (* 8601600 (* (/ 1 (pow x 9)) (sqrt (exp x)))) (* 1920 (* (/ 1 (pow x 5)) (sqrt (exp x))))) (* 153600 (* (/ 1 (pow x 7)) (sqrt (exp x)))))
143.0ms
(/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (fma (* x 1/24) (* x x) (fma (pow x 5) 1/1920 x))))
140.0ms
(/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (fma (* x 1/24) (* x x) (fma (pow x 5) 1/1920 x))) (cbrt (fma (* x 1/24) (* x x) (fma (pow x 5) 1/1920 x)))))

prune1.1s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes29.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample3.5s

Algorithm
intervals
Results
1.4s2576×body10240exit
1.0s2336×body1280valid
451.0ms1530×body640valid
218.0ms2857×body80valid
168.0ms882×body320valid
70.0ms395×body160valid