Details

Time bar (total: 6.5s)

sample31.0ms

Algorithm
intervals
Results
20.0ms256×body80valid

simplify29.0ms

Counts
1 → 1

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ 2 (+ (exp x) (exp (- x))))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
12×times-frac
10×add-sqr-sqrt add-cube-cbrt
4×associate-/r* distribute-lft-out
3×add-cbrt-cube add-exp-log associate-/l*
2×associate-/r/
1×pow1 cbrt-undiv clear-num frac-2neg flip3-+ div-exp flip-+ insert-posit16 div-inv add-log-exp
Counts
1 → 34
Calls
1 calls:
Slowest
19.0ms
(/ 2 (+ (exp x) (exp (- x))))

series64.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
63.0ms
(/ 2 (+ (exp x) (exp (- x))))

simplify1.6s

Counts
37 → 37

prune251.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize46.0ms

Local error

Found 4 expressions with local error:

0.7b
(/ (+ 1 (* (exp x) (exp x))) (exp x))
0.7b
(/ (+ 1 (* (exp x) (exp x))) (exp x))
0.7b
(/ (+ 1 (* (exp x) (exp x))) (exp x))
0.5b
(cbrt (/ (/ 8 (/ (+ 1 (* (exp x) (exp x))) (exp x))) (* (/ (+ 1 (* (exp x) (exp x))) (exp x)) (/ (+ 1 (* (exp x) (exp x))) (exp x)))))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
137×times-frac
64×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
51×cbrt-prod
10×add-cbrt-cube
9×associate-/r* associate-/l*
8×div-inv
7×add-exp-log
6×associate-/l/
4×pow1 associate-/r/ insert-posit16 add-log-exp
3×cbrt-undiv clear-num frac-2neg flip3-+ div-exp flip-+
1×frac-times cbrt-div pow1/3 associate-*l/ associate-*r/
Counts
4 → 151
Calls
4 calls:
Slowest
38.0ms
(/ (+ 1 (* (exp x) (exp x))) (exp x))
31.0ms
(/ (+ 1 (* (exp x) (exp x))) (exp x))
19.0ms
(/ (+ 1 (* (exp x) (exp x))) (exp x))
18.0ms
(cbrt (/ (/ 8 (/ (+ 1 (* (exp x) (exp x))) (exp x))) (* (/ (+ 1 (* (exp x) (exp x))) (exp x)) (/ (+ 1 (* (exp x) (exp x))) (exp x)))))

series256.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
77.0ms
(cbrt (/ (/ 8 (/ (+ 1 (* (exp x) (exp x))) (exp x))) (* (/ (+ 1 (* (exp x) (exp x))) (exp x)) (/ (+ 1 (* (exp x) (exp x))) (exp x)))))
69.0ms
(/ (+ 1 (* (exp x) (exp x))) (exp x))
58.0ms
(/ (+ 1 (* (exp x) (exp x))) (exp x))
51.0ms
(/ (+ 1 (* (exp x) (exp x))) (exp x))

simplify1.4s

Counts
163 → 163

prune1.6s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes65.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample1.1s

Algorithm
intervals
Results
971.0ms8000×body80valid