Details

Time bar (total: 14.2s)

sample18.0ms

Algorithm
intervals
Results
12.0ms256×body80valid

simplify20.0ms

Calls
1 calls:
Slowest
20.0ms
(/ 2 (+ (exp x) (exp (- x))))

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 1 expressions with local error:

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

rewrite4.0ms

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

series38.0ms

Calls
1 calls:
Slowest
38.0ms
(/ 2 (+ (exp x) (exp (- x))))

simplify476.0ms

Calls
9 calls:
Slowest
204.0ms
(+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
100.0ms
(- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2)))
50.0ms
(/ 2 (+ (exp (* -1 x)) (exp x)))
28.0ms
(/ 2 (+ (exp x) (exp (- x))))
22.0ms
(sqrt (+ (exp x) (exp (- x))))

prune150.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize7.0ms

Local error

Found 4 expressions with local error:

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

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
24×cbrt-prod
18×pow1
15×cbrt-div
9×add-sqr-sqrt *-un-lft-identity pow1/3 associate-*r* add-exp-log add-cube-cbrt
8×associate-/r/
7×pow-prod-up
5×frac-times pow-plus add-cbrt-cube pow-prod-down associate-*l/
4×expm1-log1p-u flip3-+ flip-+ insert-posit16 log1p-expm1-u div-inv add-log-exp
3×prod-exp associate-*r/ cbrt-unprod
2×pow2
1×associate-*l* pow3 *-commutative
Calls
4 calls:
Slowest
18.0ms
(* (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x)))))) (cbrt (/ 2 (+ (exp x) (exp (- x))))))
1.0ms
(cbrt (/ 2 (+ (exp x) (exp (- x)))))
1.0ms
(cbrt (/ 2 (+ (exp x) (exp (- x)))))
1.0ms
(cbrt (/ 2 (+ (exp x) (exp (- x)))))

series848.0ms

Calls
4 calls:
Slowest
245.0ms
(cbrt (/ 2 (+ (exp x) (exp (- x)))))
238.0ms
(cbrt (/ 2 (+ (exp x) (exp (- x)))))
227.0ms
(cbrt (/ 2 (+ (exp x) (exp (- x)))))
138.0ms
(* (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x)))))) (cbrt (/ 2 (+ (exp x) (exp (- x))))))

simplify4.3s

Calls
72 calls:
Slowest
360.0ms
(- (+ (* (pow 1/2 1/3) (cbrt 2)) (* 1/24 (* (* (pow x 4) (cbrt 2)) (pow 1/2 1/3)))) (* 1/6 (* (* (pow x 2) (cbrt 2)) (pow 1/2 1/3))))
339.0ms
(- (+ (* (pow 1/2 1/3) (cbrt 2)) (* 1/24 (* (* (pow x 4) (cbrt 2)) (pow 1/2 1/3)))) (* 1/6 (* (* (pow x 2) (cbrt 2)) (pow 1/2 1/3))))
326.0ms
(- (+ (* (pow 1/2 1/3) (cbrt 2)) (* 1/24 (* (* (pow x 4) (cbrt 2)) (pow 1/2 1/3)))) (* 1/6 (* (* (pow x 2) (cbrt 2)) (pow 1/2 1/3))))
268.0ms
(* (* (* (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x)))))) (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x))))))) (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x))))))) (/ 2 (+ (exp x) (exp (- x)))))
261.0ms
(* (* (/ 2 (+ (exp x) (exp (- x)))) (/ 2 (+ (exp x) (exp (- x))))) (/ 2 (+ (exp x) (exp (- x)))))

prune1.2s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize10.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt 2)
0.5b
(cbrt (+ (exp x) (exp (- x))))
0.0b
(/ (* (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x)))))) (cbrt 2)) (cbrt (+ (exp x) (exp (- x)))))
0.0b
(cbrt (/ 2 (+ (exp x) (exp (- x)))))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-prod
16×*-un-lft-identity
13×add-exp-log
10×add-sqr-sqrt add-cube-cbrt
9×cbrt-div
7×associate-/r* times-frac
6×add-cbrt-cube
4×expm1-log1p-u pow1 associate-*l/ associate-/r/ insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv flip3-+ pow1/3 div-exp prod-exp cbrt-unprod flip-+ distribute-lft-out associate-/l/
2×div-inv
1×frac-times clear-num frac-2neg associate-*r/ associate-/l*
Calls
4 calls:
Slowest
39.0ms
(/ (* (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x)))))) (cbrt 2)) (cbrt (+ (exp x) (exp (- x)))))
7.0ms
(cbrt (+ (exp x) (exp (- x))))
1.0ms
(cbrt (/ 2 (+ (exp x) (exp (- x)))))
0.0ms
(cbrt 2)

series564.0ms

Calls
4 calls:
Slowest
235.0ms
(cbrt (/ 2 (+ (exp x) (exp (- x)))))
180.0ms
(cbrt (+ (exp x) (exp (- x))))
148.0ms
(/ (* (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x)))))) (cbrt 2)) (cbrt (+ (exp x) (exp (- x)))))
0.0ms
(cbrt 2)

simplify4.5s

Calls
56 calls:
Slowest
400.0ms
(- (+ (* 1/6 (* (pow x 2) (pow 2 1/3))) (pow 2 1/3)) (* 1/72 (* (pow x 4) (pow 2 1/3))))
385.0ms
(/ (* (* (* (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x)))))) (cbrt 2)) (* (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x)))))) (cbrt 2))) (* (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x)))))) (cbrt 2))) (+ (exp x) (exp (- x))))
363.0ms
(- (+ (* (pow 1/2 1/3) (cbrt 2)) (* 1/24 (* (* (pow x 4) (cbrt 2)) (pow 1/2 1/3)))) (* 1/6 (* (* (pow x 2) (cbrt 2)) (pow 1/2 1/3))))
332.0ms
(/ (* (* (* (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x)))))) (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x))))))) (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x))))))) 2) (+ (exp x) (exp (- x))))
285.0ms
(cbrt (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))

prune1.2s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes89.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample767.0ms

Algorithm
intervals
Results
670.0ms8000×body80valid