Details

Time bar (total: 4.5m)

sample35.0ms

Algorithm
intervals
Results
18.0ms684×body80valid

simplify64.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0184
1414
21024
32284
44114
57864
624694
750024

prune5.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 8.5b

Counts
2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b
(cosh x)
0.0b
(* (cosh x) (/ y x))
8.0b
(/ (* (cosh x) (/ y x)) z)

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
119×times-frac
104×add-sqr-sqrt
81×*-un-lft-identity
79×add-cube-cbrt
65×associate-*r*
37×associate-/l*
21×cosh-def associate-/l/
18×frac-times associate-*r/
17×add-exp-log add-cbrt-cube
15×associate-*l* associate-/r*
10×unswap-sqr
7×clear-num
6×div-inv
5×pow1 cbrt-undiv frac-2neg div-exp *-commutative
4×prod-exp un-div-inv cbrt-unprod
3×expm1-log1p-u log1p-expm1-u add-log-exp
2×associate-*l/
1×pow-prod-down
Counts
3 → 198
Calls
3 calls:
1.0ms
(cosh x)
9.0ms
(* (cosh x) (/ y x))
15.0ms
(/ (* (cosh x) (/ y x)) z)

series253.0ms

Counts
3 → 9
Calls
3 calls:
47.0ms
(cosh x)
84.0ms
(* (cosh x) (/ y x))
122.0ms
(/ (* (cosh x) (/ y x)) z)

simplify107.0ms

Algorithm
egg-herbie
Counts
207 → 207
Iterations

Useful iterations: 2 (91.0ms)

IterNodesCost
08361353
138631288
250011264

prune346.0ms

Filtered
207 candidates to 162 candidates (78.3%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New2007207
Fresh000
Picked101
Done000
Total2017208

Merged error: 0.0b

Counts
208 → 7

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt z)
0.6b
(cbrt z)
5.6b
(* (/ (* (cosh x) y) (* (cbrt z) (cbrt z))) (/ (/ 1 x) (cbrt z)))

rewrite573.0ms

Algorithm
rewrite-expression-head
Rules
2267×add-sqr-sqrt
1333×frac-times
1260×associate-/r*
1174×*-un-lft-identity
1168×times-frac
1134×add-cube-cbrt
1091×associate-/l*
1025×cbrt-prod
769×associate-*l*
523×associate-*r*
487×unswap-sqr
431×associate-/l/
292×swap-sqr
233×add-cbrt-cube
122×clear-num
120×frac-2neg cbrt-unprod
119×add-exp-log
118×*-commutative
116×cbrt-undiv
75×associate-*l/
53×div-inv
50×div-exp
45×prod-exp
32×cosh-def
31×associate-*r/
6×pow1 un-div-inv
5×rec-exp 1-exp
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3
1×pow-prod-down
Counts
4 → 2086
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
1.0ms
(cbrt z)
359.0ms
(* (/ (* (cosh x) y) (* (cbrt z) (cbrt z))) (/ (/ 1 x) (cbrt z)))

series685.0ms

Counts
4 → 12
Calls
4 calls:
179.0ms
(cbrt z)
179.0ms
(cbrt z)
186.0ms
(cbrt z)
141.0ms
(* (/ (* (cosh x) y) (* (cbrt z) (cbrt z))) (/ (/ 1 x) (cbrt z)))

simplify326.0ms

Algorithm
egg-herbie
Counts
2098 → 2098
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
0500231696

prune4.2s

Filtered
2098 candidates to 1329 candidates (63.3%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New209622098
Fresh156
Picked011
Done000
Total209782105

Merged error: 0.0b

Counts
2105 → 8

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt z)
0.6b
(cbrt z)
5.2b
(/ (* (/ (* (cosh x) y) (cbrt (* (cbrt z) (cbrt z)))) (sqrt 1)) (* (* (cbrt (cbrt z)) (cbrt z)) (* (cbrt z) (/ x (sqrt 1)))))

rewrite15.6s

Algorithm
rewrite-expression-head
Rules
220178×add-sqr-sqrt
145224×times-frac
142611×cbrt-prod
108618×unswap-sqr
89544×associate-*l*
53148×associate-*r*
49105×*-un-lft-identity
39224×add-cube-cbrt
24122×sqrt-prod
11430×swap-sqr
7983×*-commutative
820×add-cbrt-cube
576×div-inv
572×cbrt-unprod
454×associate-/l*
320×cbrt-undiv
171×associate-/r*
162×add-exp-log
80×prod-exp
50×div-exp
47×associate-*l/ associate-/l/
26×associate-*r/
14×associate-/r/
4×pow1 expm1-log1p-u clear-num log1p-expm1-u add-log-exp
3×frac-2neg pow1/3
2×un-div-inv
1×cosh-def
Counts
4 → 59998
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
1.0ms
(cbrt z)
1.5s
(/ (* (/ (* (cosh x) y) (cbrt (* (cbrt z) (cbrt z)))) (sqrt 1)) (* (* (cbrt (cbrt z)) (cbrt z)) (* (cbrt z) (/ x (sqrt 1)))))

series682.0ms

Counts
4 → 12
Calls
4 calls:
178.0ms
(cbrt z)
177.0ms
(cbrt z)
178.0ms
(cbrt z)
148.0ms
(/ (* (/ (* (cosh x) y) (cbrt (* (cbrt z) (cbrt z)))) (sqrt 1)) (* (* (cbrt (cbrt z)) (cbrt z)) (* (cbrt z) (/ x (sqrt 1)))))

simplify21.1s

Algorithm
egg-herbie
Counts
60010 → 60010
Iterations

Useful iterations: 0 (1.2s)

IterNodesCost
0534892424449

prune3.7m

Filtered
60010 candidates to 36238 candidates (60.4%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New60010060010
Fresh066
Picked011
Done011
Total60010860018

Merged error: 0.0b

Counts
60018 → 8

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (exp x) (exp (- x)))
0.0b
(* (+ (exp x) (exp (- x))) (/ y 1))
6.9b
(/ (* (+ (exp x) (exp (- x))) (/ y 1)) (* z (* 2 x)))

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
814×times-frac
711×add-sqr-sqrt
702×associate-*r*
437×*-un-lft-identity
361×add-cube-cbrt
252×associate-*l*
176×unswap-sqr
76×*-commutative
58×add-exp-log
45×associate-/l*
44×add-cbrt-cube
40×associate-/r*
36×frac-times
31×associate-/l/
25×div-inv distribute-lft-out
24×prod-exp
21×flip3-+ flip-+
20×div-exp
18×associate-*r/
17×cbrt-unprod
13×cbrt-undiv
9×clear-num
7×frac-2neg
5×pow1 add-log-exp
4×1-exp associate-*l/ un-div-inv
3×expm1-log1p-u fma-def log1p-expm1-u
1×+-commutative pow-prod-down sum-log
Counts
3 → 745
Calls
3 calls:
5.0ms
(+ (exp x) (exp (- x)))
12.0ms
(* (+ (exp x) (exp (- x))) (/ y 1))
40.0ms
(/ (* (+ (exp x) (exp (- x))) (/ y 1)) (* z (* 2 x)))

series181.0ms

Counts
3 → 9
Calls
3 calls:
24.0ms
(+ (exp x) (exp (- x)))
58.0ms
(* (+ (exp x) (exp (- x))) (/ y 1))
99.0ms
(/ (* (+ (exp x) (exp (- x))) (/ y 1)) (* z (* 2 x)))

simplify177.0ms

Algorithm
egg-herbie
Counts
754 → 754
Iterations

Useful iterations: 1 (84.0ms)

IterNodesCost
0401010975
1500310454

prune1.6s

Filtered
754 candidates to 394 candidates (52.3%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New7531754
Fresh235
Picked011
Done112
Total7566762

Merged error: 0b

Counts
762 → 6

regimes111.0ms

Accuracy

95.5% (0.3b remaining)

Error of 0.4b against oracle of 0.1b and baseline of 6.8b

bsearch93.0ms

Steps
ItersRangePoint
8
4.2410402396165934e-35
5.425919560626251e-31
5.32104131336549e-31
7
-4.9023147458950715e-34
-2.324339550650969e-36
-4.786037852901227e-34

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03517
13517

end0.0ms

sample1.1s

Algorithm
intervals
Results
610.0ms22420×body80valid