Details

Time bar (total: 5.1s)

sample94.0ms

Algorithm
halfpoints

simplify63.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0307
1477
2847
31317
42237
54667
611237
722447
850027

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (exp x) (exp (- x)))
0.0b
(* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
20×*-un-lft-identity
17×add-sqr-sqrt
16×associate-*l*
13×times-frac
12×add-cube-cbrt
7×add-exp-log add-cbrt-cube
4×pow1 distribute-lft-out add-log-exp
3×fma-def associate-*r*
2×expm1-log1p-u prod-exp cbrt-unprod log1p-expm1-u unswap-sqr
1×cbrt-undiv +-commutative flip3-+ div-exp pow-prod-down associate-*l/ sum-log *-commutative flip-+ div-inv
Counts
2 → 54
Calls
2 calls:
6.0ms
(+ (exp x) (exp (- x)))
29.0ms
(* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))

series88.0ms

Counts
2 → 6
Calls
2 calls:
27.0ms
(+ (exp x) (exp (- x)))
61.0ms
(* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))

simplify170.0ms

Algorithm
egg-herbie
Counts
60 → 60
Iterations

Useful iterations: 2 (28.0ms)

IterNodesCost
0286487
11053428
24913426
35001426

prune162.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (/ (+ (exp x) (exp (- x))) 2.0))
0.0b
(sqrt (/ (+ (exp x) (exp (- x))) 2.0))
0.0b
(* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))
0.0b
(* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
66×sqrt-prod
63×*-un-lft-identity
52×add-sqr-sqrt
51×times-frac
39×add-cube-cbrt
38×associate-*l*
13×pow1
12×distribute-lft-out
11×add-exp-log add-cbrt-cube
7×sqrt-div
4×expm1-log1p-u rem-sqrt-square associate-*r* pow-prod-down associate-*l/ prod-exp cbrt-unprod log1p-expm1-u div-inv add-log-exp
3×unswap-sqr
2×sqrt-pow1 pow1/2 *-commutative
1×frac-times associate-*r/
Counts
4 → 138
Calls
4 calls:
11.0ms
(sqrt (/ (+ (exp x) (exp (- x))) 2.0))
11.0ms
(sqrt (/ (+ (exp x) (exp (- x))) 2.0))
28.0ms
(* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))
55.0ms
(* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))

series432.0ms

Counts
4 → 12
Calls
4 calls:
100.0ms
(sqrt (/ (+ (exp x) (exp (- x))) 2.0))
97.0ms
(sqrt (/ (+ (exp x) (exp (- x))) 2.0))
113.0ms
(* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))
122.0ms
(* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))

simplify48.0ms

Algorithm
egg-herbie
Counts
150 → 150
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
03991718
114681550
250011532

prune468.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))
0.0b
(* (sqrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
0.0b
(sqrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))
0.0b
(sqrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
127×sqrt-prod
66×*-un-lft-identity
57×add-sqr-sqrt
51×times-frac
42×add-cube-cbrt
41×associate-*l*
15×pow1
12×distribute-lft-out
11×add-exp-log sqrt-div add-cbrt-cube
8×sqrt-pow1
6×rem-sqrt-square
4×expm1-log1p-u pow1/2 associate-*r* pow-prod-down associate-*l/ prod-exp cbrt-unprod log1p-expm1-u div-inv add-log-exp
3×unswap-sqr
2×*-commutative
1×frac-times associate-*r/
Counts
4 → 153
Calls
4 calls:
28.0ms
(* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))
58.0ms
(* (sqrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
12.0ms
(sqrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))
15.0ms
(sqrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))

series810.0ms

Counts
4 → 12
Calls
4 calls:
116.0ms
(* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))
288.0ms
(* (sqrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
200.0ms
(sqrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))
205.0ms
(sqrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0)))

simplify56.0ms

Algorithm
egg-herbie
Counts
165 → 165
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
04882076
116551946
250011908

prune549.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes42.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0127
1127

end0.0ms

sample1.8s

Algorithm
halfpoints