Details

Time bar (total: 30.8s)

sample18.0ms

Algorithm
intervals
Results
8.0ms277×body80valid

simplify15.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
0215
1404
2694
31044
41464
51604
61604

prune6.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 5.6b

Counts
2 → 2

localize7.0ms

Local error

Found 2 expressions with local error:

3.7b
(/ (/ (/ 1.0 x) (fma z z 1.0)) y)
4.6b
(/ (/ 1.0 x) (fma z z 1.0))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
477×times-frac
240×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
75×associate-/l*
46×associate-/l/
23×div-inv
16×add-exp-log add-cbrt-cube
15×associate-/r*
9×cbrt-undiv div-exp
5×frac-2neg clear-num
2×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
Counts
2 → 301
Calls
2 calls:
17.0ms
(/ (/ (/ 1.0 x) (fma z z 1.0)) y)
7.0ms
(/ (/ 1.0 x) (fma z z 1.0))

series137.0ms

Counts
2 → 6
Calls
2 calls:
69.0ms
(/ (/ (/ 1.0 x) (fma z z 1.0)) y)
67.0ms
(/ (/ 1.0 x) (fma z z 1.0))

simplify123.0ms

Algorithm
egg-herbie
Counts
307 → 307
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
012282950
148442874
250022874

prune867.0ms

Filtered
307 candidates to 263 candidates (14.3%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New2989307
Fresh101
Picked101
Done000
Total3009309

Merged error: 5.4b

Counts
309 → 9

localize20.0ms

Local error

Found 4 expressions with local error:

4.1b
(/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (* (cbrt (fma z z 1.0)) (cbrt (fma z z 1.0))))
16.9b
(cbrt (fma z z 1.0))
16.9b
(cbrt (fma z z 1.0))
16.9b
(cbrt (fma z z 1.0))

rewrite822.0ms

Algorithm
rewrite-expression-head
Rules
9018×times-frac
7261×add-sqr-sqrt
5385×cbrt-prod
4573×add-cube-cbrt *-un-lft-identity
2271×sqrt-prod
2016×swap-sqr associate-*r* associate-*l*
1344×unswap-sqr
336×*-commutative
172×associate-/l*
89×add-cbrt-cube
55×cbrt-undiv
54×associate-/r*
44×cbrt-unprod
36×associate-/l/
29×div-inv
25×add-exp-log
10×div-exp
5×prod-exp
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3
2×frac-2neg clear-num
Counts
4 → 4798
Calls
4 calls:
140.0ms
(/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (* (cbrt (fma z z 1.0)) (cbrt (fma z z 1.0))))
1.0ms
(cbrt (fma z z 1.0))
1.0ms
(cbrt (fma z z 1.0))
1.0ms
(cbrt (fma z z 1.0))

series864.0ms

Counts
4 → 12
Calls
4 calls:
324.0ms
(/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (* (cbrt (fma z z 1.0)) (cbrt (fma z z 1.0))))
181.0ms
(cbrt (fma z z 1.0))
180.0ms
(cbrt (fma z z 1.0))
180.0ms
(cbrt (fma z z 1.0))

simplify1.1s

Algorithm
egg-herbie
Counts
4810 → 4810
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
05001113835

prune11.8s

Filtered
4810 candidates to 2295 candidates (52.3%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New480914810
Fresh178
Picked011
Done000
Total481094819

Merged error: 5.4b

Counts
4819 → 9

localize9.0ms

Local error

Found 3 expressions with local error:

0.8b
(/ (sqrt 1.0) (* (fma z z 1.0) (/ x (sqrt 1.0))))
3.7b
(/ (/ (sqrt 1.0) (* (fma z z 1.0) (/ x (sqrt 1.0)))) y)
4.0b
(* (fma z z 1.0) (/ x (sqrt 1.0)))

rewrite236.0ms

Algorithm
rewrite-expression-head
Rules
2298×times-frac
1334×add-sqr-sqrt
1076×*-un-lft-identity
1070×add-cube-cbrt
849×sqrt-prod
726×associate-*r*
252×associate-/l*
105×associate-/r*
99×associate-*l* unswap-sqr
72×associate-*r/
70×associate-/r/
42×associate-/l/
39×div-inv
33×*-commutative
31×add-exp-log add-cbrt-cube
15×clear-num
13×cbrt-undiv div-exp
12×un-div-inv
9×frac-2neg
6×prod-exp cbrt-unprod
5×pow1
3×expm1-log1p-u log1p-expm1-u add-log-exp
1×pow-prod-down
Counts
3 → 1255
Calls
3 calls:
25.0ms
(/ (sqrt 1.0) (* (fma z z 1.0) (/ x (sqrt 1.0))))
60.0ms
(/ (/ (sqrt 1.0) (* (fma z z 1.0) (/ x (sqrt 1.0)))) y)
14.0ms
(* (fma z z 1.0) (/ x (sqrt 1.0)))

series561.0ms

Counts
3 → 9
Calls
3 calls:
189.0ms
(/ (sqrt 1.0) (* (fma z z 1.0) (/ x (sqrt 1.0))))
241.0ms
(/ (/ (sqrt 1.0) (* (fma z z 1.0) (/ x (sqrt 1.0)))) y)
132.0ms
(* (fma z z 1.0) (/ x (sqrt 1.0)))

simplify236.0ms

Algorithm
egg-herbie
Counts
1264 → 1264
Iterations

Useful iterations: 1 (66.0ms)

IterNodesCost
0333917264
1500216839

prune2.2s

Filtered
1264 candidates to 690 candidates (45.4%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New126041264
Fresh527
Picked101
Done011
Total126671273

Merged error: 5.4b

Counts
1273 → 7

localize17.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ (sqrt (sqrt 1.0)) (* (sqrt (fma z z 1.0)) (/ x (sqrt 1.0))))
3.7b
(/ (* (/ (sqrt (sqrt 1.0)) (sqrt (fma z z 1.0))) (/ (sqrt (sqrt 1.0)) (* (sqrt (fma z z 1.0)) (/ x (sqrt 1.0))))) y)
16.3b
(sqrt (fma z z 1.0))
16.3b
(sqrt (fma z z 1.0))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
6939×add-sqr-sqrt
6611×times-frac
5809×sqrt-prod
2906×associate-*r*
2715×*-un-lft-identity
2709×add-cube-cbrt
1510×unswap-sqr
1255×associate-/l*
1125×associate-/r*
989×associate-/l/
918×frac-times
622×associate-*l*
111×associate-*r/
84×clear-num
78×frac-2neg
75×div-inv
70×associate-/r/
69×*-commutative
55×add-exp-log add-cbrt-cube
25×cbrt-undiv div-exp
18×associate-*l/
14×prod-exp cbrt-unprod
12×un-div-inv
6×pow1
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 3827
Calls
4 calls:
33.0ms
(/ (sqrt (sqrt 1.0)) (* (sqrt (fma z z 1.0)) (/ x (sqrt 1.0))))
534.0ms
(/ (* (/ (sqrt (sqrt 1.0)) (sqrt (fma z z 1.0))) (/ (sqrt (sqrt 1.0)) (* (sqrt (fma z z 1.0)) (/ x (sqrt 1.0))))) y)
2.0ms
(sqrt (fma z z 1.0))
2.0ms
(sqrt (fma z z 1.0))

series790.0ms

Counts
4 → 12
Calls
4 calls:
422.0ms
(/ (sqrt (sqrt 1.0)) (* (sqrt (fma z z 1.0)) (/ x (sqrt 1.0))))
252.0ms
(/ (* (/ (sqrt (sqrt 1.0)) (sqrt (fma z z 1.0))) (/ (sqrt (sqrt 1.0)) (* (sqrt (fma z z 1.0)) (/ x (sqrt 1.0))))) y)
55.0ms
(sqrt (fma z z 1.0))
60.0ms
(sqrt (fma z z 1.0))

simplify753.0ms

Algorithm
egg-herbie
Counts
3839 → 3839
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
0500181721

prune8.5s

Filtered
3839 candidates to 1950 candidates (49.2%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New383723839
Fresh235
Picked011
Done011
Total383973846

Merged error: 5.4b

Counts
3846 → 7

regimes117.0ms

Accuracy

0% (0.9b remaining)

Error of 5.4b against oracle of 4.5b and baseline of 5.4b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01719
11719

end0.0ms

sample473.0ms

Algorithm
intervals
Results
278.0ms8577×body80valid