Details

Time bar (total: 18.2s)

sample35.0ms

Algorithm
intervals
Results
18.0ms663×body80valid

simplify61.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0184
1414
21024
32284
44114
57864
624694
750024

prune2.0ms

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 7.5b

Counts
2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.3b
(* (cosh x) (/ y x))
6.9b
(/ (* (cosh x) (/ y x)) z)

rewrite38.0ms

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

series201.0ms

Counts
2 → 6
Calls
2 calls:
82.0ms
(* (cosh x) (/ y x))
119.0ms
(/ (* (cosh x) (/ y x)) z)

simplify89.0ms

Algorithm
egg-herbie
Counts
194 → 194
Iterations

Useful iterations: 2 (74.0ms)

IterNodesCost
08051311
135681249
250011233

prune327.0ms

Filtered
194 candidates to 151 candidates (22.2%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1877194
Fresh000
Picked011
Done000
Total1878195

Merged error: 0.2b

Counts
195 → 8

localize10.0ms

Local error

Found 4 expressions with local error:

0.7b
(cbrt x)
0.7b
(cbrt x)
0.7b
(cbrt x)
4.7b
(/ (* (cosh x) (/ y (* (cbrt x) (cbrt x)))) (* z (cbrt x)))

rewrite349.0ms

Algorithm
rewrite-expression-head
Rules
3178×times-frac
2813×add-sqr-sqrt
2387×associate-*r*
1413×*-un-lft-identity
1412×add-cube-cbrt
1375×cbrt-prod
681×associate-*l*
658×unswap-sqr
352×swap-sqr
191×*-commutative
110×associate-/l*
86×add-cbrt-cube
70×associate-/r*
69×associate-/l/
44×cbrt-unprod
36×cbrt-undiv add-exp-log
34×cosh-def
33×frac-times associate-*r/
18×div-inv
12×div-exp prod-exp
4×pow1 expm1-log1p-u clear-num log1p-expm1-u add-log-exp
3×frac-2neg pow1/3
2×un-div-inv
1×associate-*l/
Counts
4 → 1916
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
93.0ms
(/ (* (cosh x) (/ y (* (cbrt x) (cbrt x)))) (* z (cbrt x)))

series688.0ms

Counts
4 → 12
Calls
4 calls:
188.0ms
(cbrt x)
179.0ms
(cbrt x)
179.0ms
(cbrt x)
142.0ms
(/ (* (cosh x) (/ y (* (cbrt x) (cbrt x)))) (* z (cbrt x)))

simplify336.0ms

Algorithm
egg-herbie
Counts
1928 → 1928
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
0500134178

prune4.3s

Filtered
1928 candidates to 1283 candidates (33.5%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New192711928
Fresh156
Picked101
Done011
Total192971936

Merged error: 0.2b

Counts
1936 → 7

localize20.0ms

Local error

Found 4 expressions with local error:

1.2b
(cbrt (* z (cbrt x)))
1.2b
(cbrt (* z (cbrt x)))
1.2b
(cbrt (* z (cbrt x)))
1.5b
(/ (/ y (sqrt (* (cbrt x) (cbrt x)))) (cbrt (* z (cbrt x))))

rewrite366.0ms

Algorithm
rewrite-expression-head
Rules
3586×times-frac
2936×cbrt-prod
2602×add-sqr-sqrt
1722×add-cube-cbrt *-un-lft-identity
1647×sqrt-prod
954×associate-*r*
660×associate-*l*
440×unswap-sqr
366×swap-sqr
159×*-commutative
97×associate-/l*
49×associate-/r*
36×associate-/l/
21×div-inv
12×add-cbrt-cube
9×add-exp-log
6×cbrt-undiv
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 div-exp
2×frac-2neg clear-num
Counts
4 → 2031
Calls
4 calls:
5.0ms
(cbrt (* z (cbrt x)))
5.0ms
(cbrt (* z (cbrt x)))
5.0ms
(cbrt (* z (cbrt x)))
73.0ms
(/ (/ y (sqrt (* (cbrt x) (cbrt x)))) (cbrt (* z (cbrt x))))

series813.0ms

Counts
4 → 12
Calls
4 calls:
185.0ms
(cbrt (* z (cbrt x)))
186.0ms
(cbrt (* z (cbrt x)))
254.0ms
(cbrt (* z (cbrt x)))
187.0ms
(/ (/ y (sqrt (* (cbrt x) (cbrt x)))) (cbrt (* z (cbrt x))))

simplify356.0ms

Algorithm
egg-herbie
Counts
2043 → 2043
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
0500137940

prune8.2s

Filtered
2043 candidates to 1341 candidates (34.4%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New204302043
Fresh055
Picked011
Done011
Total204372050

Merged error: 0.2b

Counts
2050 → 7

localize6.0ms

Local error

Found 2 expressions with local error:

0.6b
(/ (cosh x) (* z (/ x y)))
5.9b
(* z (/ x y))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
119×times-frac
99×add-sqr-sqrt
76×*-un-lft-identity
74×add-cube-cbrt
65×associate-*r*
29×associate-/r*
18×associate-*r/
16×add-exp-log add-cbrt-cube
15×associate-*l*
11×associate-/r/ associate-/l*
10×unswap-sqr
6×div-inv
5×cbrt-undiv div-exp clear-num *-commutative
4×pow1 prod-exp un-div-inv cbrt-unprod
3×frac-2neg
2×expm1-log1p-u log1p-expm1-u add-log-exp
1×cosh-def pow-prod-down associate-/l/
Counts
2 → 169
Calls
2 calls:
16.0ms
(/ (cosh x) (* z (/ x y)))
11.0ms
(* z (/ x y))

series178.0ms

Counts
2 → 6
Calls
2 calls:
158.0ms
(/ (cosh x) (* z (/ x y)))
20.0ms
(* z (/ x y))

simplify84.0ms

Algorithm
egg-herbie
Counts
175 → 175
Iterations

Useful iterations: 1 (22.0ms)

IterNodesCost
06871258
131601200
250011200

prune271.0ms

Filtered
175 candidates to 133 candidates (24.0%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New1750175
Fresh044
Picked011
Done022
Total1757182

Merged error: 0.2b

Counts
182 → 7

regimes190.0ms

Accuracy

85% (0.7b remaining)

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

bsearch94.0ms

Steps
ItersRangePoint
9
56013586448040.74
3.5439512944964397e+20
3.96504734138807e+17
8
-3.868147520492256e+51
-1.0136095279104486e+47
-1.1490434465005193e+47

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0259
1259

end0.0ms

sample1.1s

Algorithm
intervals
Results
629.0ms22408×body80valid