Details

Time bar (total: 1.7m)

sample18.0ms

Algorithm
intervals
Results
9.0ms277×body80valid

simplify13.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0215
1375
2615
3915
41155
51215
61215

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.7b

Counts
2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

3.8b
(* y (+ 1.0 (* z z)))
4.2b
(/ (/ 1.0 x) (* y (+ 1.0 (* z z))))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
317×times-frac
213×*-un-lft-identity
183×add-sqr-sqrt
153×add-cube-cbrt
75×associate-*r*
60×associate-*l*
30×distribute-lft-out
17×associate-/r*
16×add-exp-log add-cbrt-cube div-inv associate-/l*
15×*-commutative unswap-sqr
9×associate-/l/
6×cbrt-undiv div-exp
4×pow1 associate-*r/
3×prod-exp cbrt-unprod
2×+-commutative distribute-rgt-in frac-2neg distribute-lft-in flip3-+ clear-num associate-/r/ flip-+ add-log-exp
1×pow-prod-down
Counts
2 → 264
Calls
2 calls:
9.0ms
(* y (+ 1.0 (* z z)))
18.0ms
(/ (/ 1.0 x) (* y (+ 1.0 (* z z))))

series117.0ms

Counts
2 → 6
Calls
2 calls:
55.0ms
(* y (+ 1.0 (* z z)))
61.0ms
(/ (/ 1.0 x) (* y (+ 1.0 (* z z))))

simplify117.0ms

Algorithm
egg-herbie
Counts
270 → 270
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
011052749
148612670
250012670

prune398.0ms

Filtered
270 candidates to 178 candidates (34.1%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New2628270
Fresh000
Picked101
Done000
Total2638271

Merged error: 5.4b

Counts
271 → 8

localize9.0ms

Local error

Found 2 expressions with local error:

3.7b
(/ (/ (/ 1.0 x) (+ 1.0 (* z z))) y)
4.6b
(/ (/ 1.0 x) (+ 1.0 (* z z)))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
781×times-frac
606×*-un-lft-identity
338×add-sqr-sqrt add-cube-cbrt
134×distribute-lft-out
103×associate-/l*
67×associate-*l*
48×associate-/l/
33×div-inv
19×associate-/r*
16×add-exp-log add-cbrt-cube
10×associate-/r/
9×cbrt-undiv div-exp
5×frac-2neg flip3-+ clear-num flip-+
2×pow1 add-log-exp
Counts
2 → 441
Calls
2 calls:
27.0ms
(/ (/ (/ 1.0 x) (+ 1.0 (* z z))) y)
12.0ms
(/ (/ 1.0 x) (+ 1.0 (* z z)))

series129.0ms

Counts
2 → 6
Calls
2 calls:
69.0ms
(/ (/ (/ 1.0 x) (+ 1.0 (* z z))) y)
60.0ms
(/ (/ 1.0 x) (+ 1.0 (* z z)))

simplify84.0ms

Algorithm
egg-herbie
Counts
447 → 447
Iterations

Useful iterations: 1 (30.0ms)

IterNodesCost
013214818
150024709

prune637.0ms

Filtered
447 candidates to 268 candidates (40.0%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New4452447
Fresh257
Picked101
Done000
Total4487455

Merged error: 5.4b

Counts
455 → 7

localize11.0ms

Local error

Found 3 expressions with local error:

0.5b
(/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (/ y (/ (/ (cbrt 1.0) x) (+ 1.0 (* z z)))))
3.6b
(/ y (/ (/ (cbrt 1.0) x) (+ 1.0 (* z z))))
4.6b
(/ (/ (cbrt 1.0) x) (+ 1.0 (* z z)))

rewrite7.7s

Algorithm
rewrite-expression-head
Rules
150145×times-frac
80229×*-un-lft-identity
66133×add-sqr-sqrt
56645×add-cube-cbrt
31912×cbrt-prod
13012×associate-*l*
11792×distribute-lft-out
7116×swap-sqr associate-*r*
4744×unswap-sqr
4304×associate-/r/
2582×associate-/l*
2155×div-inv
1333×associate-/r*
1186×*-commutative
1089×associate-/l/
264×flip3-+ flip-+
180×frac-2neg clear-num
155×add-cbrt-cube
123×cbrt-undiv
103×add-exp-log
75×div-exp
20×cbrt-unprod
8×1-exp prod-exp
3×pow1 add-log-exp
Counts
3 → 34876
Calls
3 calls:
796.0ms
(/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (/ y (/ (/ (cbrt 1.0) x) (+ 1.0 (* z z)))))
36.0ms
(/ y (/ (/ (cbrt 1.0) x) (+ 1.0 (* z z))))
15.0ms
(/ (/ (cbrt 1.0) x) (+ 1.0 (* z z)))

series427.0ms

Counts
3 → 9
Calls
3 calls:
136.0ms
(/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (/ y (/ (/ (cbrt 1.0) x) (+ 1.0 (* z z)))))
171.0ms
(/ y (/ (/ (cbrt 1.0) x) (+ 1.0 (* z z))))
119.0ms
(/ (/ (cbrt 1.0) x) (+ 1.0 (* z z)))

simplify10.2s

Algorithm
egg-herbie
Counts
34885 → 34885
Iterations

Useful iterations: 0 (497.0ms)

IterNodesCost
0277511020270

prune1.4m

Filtered
34885 candidates to 18003 candidates (48.4%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New34885034885
Fresh066
Picked011
Done000
Total34885734892

Merged error: 5.4b

Counts
34892 → 7

localize9.0ms

Local error

Found 4 expressions with local error:

0.8b
(/ (/ 1.0 (sqrt (+ 1.0 (* z z)))) (* y (* (sqrt (+ 1.0 (* z z))) x)))
2.7b
(* y (* (sqrt (+ 1.0 (* z z))) x))
16.3b
(sqrt (+ 1.0 (* z z)))
16.3b
(sqrt (+ 1.0 (* z z)))

rewrite178.0ms

Algorithm
rewrite-expression-head
Rules
1590×times-frac
1150×*-un-lft-identity
1036×add-sqr-sqrt
689×sqrt-prod
672×associate-*r*
650×add-cube-cbrt
477×associate-*l*
250×distribute-lft-out
224×unswap-sqr
68×sqrt-div
64×*-commutative
62×associate-/r/
37×associate-/r*
34×flip3-+ flip-+
33×associate-/l*
31×div-inv
30×add-exp-log add-cbrt-cube
14×associate-/l/
11×pow1
9×cbrt-undiv div-exp prod-exp cbrt-unprod
4×associate-*r/ associate-*l/ add-log-exp
3×pow-prod-down
2×rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 clear-num
Counts
4 → 1041
Calls
4 calls:
47.0ms
(/ (/ 1.0 (sqrt (+ 1.0 (* z z)))) (* y (* (sqrt (+ 1.0 (* z z))) x)))
18.0ms
(* y (* (sqrt (+ 1.0 (* z z))) x))
6.0ms
(sqrt (+ 1.0 (* z z)))
6.0ms
(sqrt (+ 1.0 (* z z)))

series248.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(/ (/ 1.0 (sqrt (+ 1.0 (* z z)))) (* y (* (sqrt (+ 1.0 (* z z))) x)))
74.0ms
(* y (* (sqrt (+ 1.0 (* z z))) x))
47.0ms
(sqrt (+ 1.0 (* z z)))
57.0ms
(sqrt (+ 1.0 (* z z)))

simplify255.0ms

Algorithm
egg-herbie
Counts
1053 → 1053
Iterations

Useful iterations: 1 (73.0ms)

IterNodesCost
0299620155
1500119337

prune1.3s

Filtered
1053 candidates to 440 candidates (58.2%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New105301053
Fresh055
Picked011
Done011
Total105371060

Merged error: 5.4b

Counts
1060 → 7

regimes170.0ms

Accuracy

0% (1.6b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01711
11711

end0.0ms

sample426.0ms

Algorithm
intervals
Results
242.0ms8577×body80valid