Details

Time bar (total: 36.3s)

sample27.0ms

Algorithm
intervals
Results
18.0ms256×body80valid

simplify34.0ms

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

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 2 expressions with local error:

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

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
12×add-sqr-sqrt times-frac add-cube-cbrt
5×distribute-lft-out
4×associate-/r* add-cbrt-cube add-exp-log add-log-exp
3×fma-def associate-/l*
2×expm1-log1p-u pow1 flip3-+ associate-/r/ flip-+ insert-posit16 log1p-expm1-u
1×cbrt-undiv +-commutative clear-num sum-log frac-2neg div-exp div-inv
Counts
2 → 54
Calls
2 calls:
Slowest
16.0ms
(+ (exp x) (exp (- x)))
16.0ms
(/ 2 (+ (exp x) (exp (- x))))

series76.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
43.0ms
(/ 2 (+ (exp x) (exp (- x))))
32.0ms
(+ (exp x) (exp (- x)))

simplify1.5s

Counts
44 → 60
Calls
44 calls:
Slowest
236.0ms
(+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
141.0ms
(/ 2 (+ (exp (* -1 x)) (exp x)))
123.0ms
(- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2)))
118.0ms
(/ (* (* 2 2) 2) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))))
66.0ms
(+ (exp (* -1 x)) (exp x))

prune593.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
69×*-un-lft-identity
48×times-frac
39×add-sqr-sqrt add-cube-cbrt
18×cbrt-prod
15×distribute-lft-out
12×associate-/r*
10×add-cbrt-cube add-exp-log
9×associate-/l*
8×associate-/r/
4×expm1-log1p-u pow1 flip3-+ flip-+ insert-posit16 log1p-expm1-u div-inv add-log-exp
3×cbrt-undiv clear-num frac-2neg div-exp
1×cbrt-div pow1/3
Counts
4 → 138
Calls
4 calls:
Slowest
25.0ms
(/ 2 (+ (exp x) (exp (- x))))
23.0ms
(/ 2 (+ (exp x) (exp (- x))))
16.0ms
(/ 2 (+ (exp x) (exp (- x))))
15.0ms
(cbrt (/ 2 (+ (exp x) (exp (- x)))))

series432.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
264.0ms
(cbrt (/ 2 (+ (exp x) (exp (- x)))))
61.0ms
(/ 2 (+ (exp x) (exp (- x))))
58.0ms
(/ 2 (+ (exp x) (exp (- x))))
49.0ms
(/ 2 (+ (exp x) (exp (- x))))

simplify6.3s

Counts
133 → 150
Calls
133 calls:
Slowest
576.0ms
(* (pow (/ 1 (+ (exp x) (exp (- x)))) 1/3) (cbrt 2))
261.0ms
(+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
243.0ms
(cbrt (/ 2 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))))
241.0ms
(cbrt (/ 2 (+ (pow (exp x) 3) (pow (exp (- x)) 3))))
227.0ms
(+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))

prune1.7s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite128.0ms

Algorithm
rewrite-expression-head
Rules
53×*-un-lft-identity
36×exp-prod times-frac
31×add-sqr-sqrt add-cube-cbrt
19×log-pow
11×distribute-lft-out
7×add-log-exp
6×add-cbrt-cube add-exp-log associate-/r/
5×pow1
4×expm1-log1p-u associate-/r* flip3-+ flip-+ insert-posit16 log1p-expm1-u
3×log-prod fma-def div-inv associate-/l*
1×cbrt-undiv +-commutative clear-num sum-log frac-2neg div-exp rem-log-exp rem-exp-log
Counts
4 → 116
Calls
4 calls:
Slowest
55.0ms
(exp (/ 2 (+ (exp x) (exp (- x)))))
34.0ms
(log (exp (/ 2 (+ (exp x) (exp (- x))))))
19.0ms
(/ 2 (+ (exp x) (exp (- x))))
17.0ms
(+ (exp x) (exp (- x)))

series269.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
107.0ms
(exp (/ 2 (+ (exp x) (exp (- x)))))
61.0ms
(/ 2 (+ (exp x) (exp (- x))))
59.0ms
(log (exp (/ 2 (+ (exp x) (exp (- x))))))
42.0ms
(+ (exp x) (exp (- x)))

simplify4.5s

Counts
90 → 128
Calls
90 calls:
Slowest
423.0ms
(- (+ (* 1/3 (* (pow x 4) E)) E) (* 1/2 (* (pow x 2) E)))
285.0ms
(+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
264.0ms
(exp (/ 2 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))))
210.0ms
(+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
205.0ms
(exp (/ 2 (+ (pow (exp x) 3) (pow (exp (- x)) 3))))

prune1.3s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize44.0ms

Local error

Found 4 expressions with local error:

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

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
118×*-un-lft-identity
88×times-frac
72×add-sqr-sqrt
60×add-cube-cbrt
26×distribute-lft-out
24×swap-sqr
20×add-cbrt-cube add-exp-log
18×associate-*r* associate-*l*
12×pow1 associate-/r/
8×associate-/r*
6×cbrt-undiv flip3-+ div-exp flip-+ div-inv associate-/l*
5×log-pow
4×expm1-log1p-u exp-prod prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
3×log-prod
2×clear-num frac-2neg
1×cbrt-prod pow2 frac-times pow-plus rem-log-exp pow-prod-down associate-*l/ associate-*r/ pow-sqr *-commutative pow-prod-up
Counts
4 → 182
Calls
4 calls:
Slowest
84.0ms
(* (/ 2 (+ (exp x) (exp (- x)))) (/ 2 (+ (exp x) (exp (- x)))))
29.0ms
(/ 2 (+ (exp x) (exp (- x))))
16.0ms
(/ 2 (+ (exp x) (exp (- x))))
3.0ms
(log (exp (cbrt (* (* (/ 2 (+ (exp x) (exp (- x)))) (/ 2 (+ (exp x) (exp (- x))))) (/ 2 (+ (exp x) (exp (- x))))))))

series202.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
80.0ms
(* (/ 2 (+ (exp x) (exp (- x)))) (/ 2 (+ (exp x) (exp (- x)))))
46.0ms
(log (exp (cbrt (* (* (/ 2 (+ (exp x) (exp (- x)))) (/ 2 (+ (exp x) (exp (- x))))) (/ 2 (+ (exp x) (exp (- x))))))))
40.0ms
(/ 2 (+ (exp x) (exp (- x))))
35.0ms
(/ 2 (+ (exp x) (exp (- x))))

simplify15.6s

Counts
196 → 194
Calls
196 calls:
Slowest
546.0ms
(* (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))
497.0ms
(* (/ (* (cbrt 2) (cbrt 2)) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (* (cbrt 2) (cbrt 2)) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))))
453.0ms
(log (sqrt (exp (cbrt (* (* (/ 2 (+ (exp x) (exp (- x)))) (/ 2 (+ (exp x) (exp (- x))))) (/ 2 (+ (exp x) (exp (- x)))))))))
411.0ms
(* (* (* (/ 2 (+ (exp x) (exp (- x)))) (/ 2 (+ (exp x) (exp (- x))))) (/ 2 (+ (exp x) (exp (- x))))) (/ (* (* 2 2) 2) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x))))))
396.0ms
(* (/ (cbrt 2) (cbrt (+ (exp x) (exp (- x))))) (/ (cbrt 2) (cbrt (+ (exp x) (exp (- x))))))

prune2.4s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes112.0ms

Accuracy

0% (0.0b remaining)

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

bsearch3.0ms

end0.0ms

sample706.0ms

Algorithm
intervals
Results
601.0ms8000×body80valid