Details

Time bar (total: 11.6s)

sample36.0ms

Algorithm
intervals
Results
18.0ms663×body80valid

simplify60.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0184
1414
21024
32244
44014
57584
624034
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

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite32.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×associate-*l/ add-log-exp
1×pow-prod-down
Counts
2 → 184
Calls
2 calls:
8.0ms
(* (cosh x) (/ y x))
15.0ms
(/ (* (cosh x) (/ y x)) z)

series214.0ms

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

simplify101.0ms

Algorithm
egg-herbie
Counts
190 → 190
Iterations

Useful iterations: 2 (79.0ms)

IterNodesCost
07981294
135521233
250011217

prune321.0ms

Filtered
190 candidates to 147 candidates (22.6%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1837190
Fresh000
Picked011
Done000
Total1838191

Merged error: 0.2b

Counts
191 → 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)))

rewrite321.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 clear-num add-log-exp
3×frac-2neg pow1/3
2×un-div-inv
1×associate-*l/
Counts
4 → 1908
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
100.0ms
(/ (* (cosh x) (/ y (* (cbrt x) (cbrt x)))) (* z (cbrt x)))

series706.0ms

Counts
4 → 12
Calls
4 calls:
189.0ms
(cbrt x)
184.0ms
(cbrt x)
182.0ms
(cbrt x)
151.0ms
(/ (* (cosh x) (/ y (* (cbrt x) (cbrt x)))) (* z (cbrt x)))

simplify324.0ms

Algorithm
egg-herbie
Counts
1920 → 1920
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
0500134149

prune4.2s

Filtered
1920 candidates to 1275 candidates (33.6%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New191911920
Fresh156
Picked101
Done011
Total192171928

Merged error: 0.2b

Counts
1928 → 7

localize22.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 (cbrt x)) (cbrt (* z (cbrt x))))

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
778×times-frac
703×cbrt-prod
498×add-sqr-sqrt
394×add-cube-cbrt *-un-lft-identity
156×associate-*r*
78×associate-*l*
52×unswap-sqr
26×*-commutative
25×associate-/r* associate-/l*
21×div-inv
15×add-cbrt-cube
12×associate-/l/
10×cbrt-undiv
9×add-exp-log
4×pow1 add-log-exp
3×pow1/3 div-exp
2×frac-2neg clear-num
Counts
4 → 561
Calls
4 calls:
5.0ms
(cbrt (* z (cbrt x)))
5.0ms
(cbrt (* z (cbrt x)))
5.0ms
(cbrt (* z (cbrt x)))
21.0ms
(/ (/ y (cbrt x)) (cbrt (* z (cbrt x))))

series742.0ms

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

simplify109.0ms

Algorithm
egg-herbie
Counts
573 → 573
Iterations

Useful iterations: 1 (36.0ms)

IterNodesCost
016597892
150017787

prune2.4s

Filtered
573 candidates to 486 candidates (15.2%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New5730573
Fresh055
Picked011
Done011
Total5737580

Merged error: 0.2b

Counts
580 → 7

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite29.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×add-log-exp
1×cosh-def pow-prod-down associate-/l/
Counts
2 → 165
Calls
2 calls:
13.0ms
(/ (cosh x) (* z (/ x y)))
8.0ms
(* z (/ x y))

series170.0ms

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

simplify80.0ms

Algorithm
egg-herbie
Counts
171 → 171
Iterations

Useful iterations: 1 (20.0ms)

IterNodesCost
06801243
131471185
250011185

prune258.0ms

Filtered
171 candidates to 129 candidates (24.6%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New1710171
Fresh044
Picked011
Done022
Total1717178

Merged error: 0.2b

Counts
178 → 7

regimes191.0ms

Accuracy

85% (0.7b remaining)

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

bsearch95.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
02810
12810

end0.0ms

sample1.1s

Algorithm
intervals
Results
598.0ms22408×body80valid