Details

Time bar (total: 4.8s)

sample20.0ms

Algorithm
intervals
Results
11.0ms271×body80valid

simplify13.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0215
1375
2615
3915
41155
51215
61215

prune2.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: 5.8b

Counts
2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
31×times-frac
20×add-sqr-sqrt
18×add-cube-cbrt *-un-lft-identity
16×add-exp-log add-cbrt-cube
13×associate-/l*
6×cbrt-undiv div-exp
4×pow1 associate-*r/
3×associate-*r* associate-*l* prod-exp cbrt-unprod div-inv
2×flip3-+ associate-/r/ flip-+ add-log-exp
1×distribute-rgt-in frac-2neg distribute-lft-in pow-prod-down clear-num associate-/r* *-commutative associate-/l/ unswap-sqr
Counts
2 → 70
Calls
2 calls:
5.0ms
(* y (+ 1.0 (* z z)))
8.0ms
(/ (/ 1.0 x) (* y (+ 1.0 (* z z))))

series108.0ms

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

simplify49.0ms

Algorithm
egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0409511
11963443
25001443

prune159.0ms

Filtered
76 candidates to 56 candidates (73.7%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New67976
Fresh000
Picked011
Done000
Total671077

Merged error: 3.2b

Counts
77 → 10

localize9.0ms

Local error

Found 2 expressions with local error:

2.4b
(* (/ 1 y) (/ (/ 1.0 x) (+ 1.0 (* z z))))
3.0b
(/ (/ 1.0 x) (+ 1.0 (* z z)))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
165×times-frac
116×add-sqr-sqrt
89×*-un-lft-identity
86×add-cube-cbrt
46×add-exp-log
45×associate-*r*
28×add-cbrt-cube
21×div-exp
13×associate-*l* associate-/l*
12×cbrt-undiv prod-exp
10×div-inv
9×unswap-sqr
6×cbrt-unprod
4×pow1 associate-/r/
3×rec-exp 1-exp associate-/r*
2×flip3-+ flip-+ add-log-exp
1×frac-times frac-2neg associate-*r/ pow-prod-down associate-*l/ clear-num *-commutative associate-/l/
Counts
2 → 169
Calls
2 calls:
26.0ms
(* (/ 1 y) (/ (/ 1.0 x) (+ 1.0 (* z z))))
7.0ms
(/ (/ 1.0 x) (+ 1.0 (* z z)))

series118.0ms

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

simplify102.0ms

Algorithm
egg-herbie
Counts
175 → 175
Iterations

Useful iterations: 2 (85.0ms)

IterNodesCost
09221637
145381473
250031467

prune345.0ms

Filtered
175 candidates to 133 candidates (76.0%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New1714175
Fresh448
Picked101
Done011
Total1769185

Merged error: 3.2b

Counts
185 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

2.4b
(* (/ 1 y) (/ (/ (/ 1.0 x) (* (cbrt (+ 1.0 (* z z))) (cbrt (+ 1.0 (* z z))))) (cbrt (+ 1.0 (* z z)))))
14.7b
(cbrt (+ 1.0 (* z z)))
14.7b
(cbrt (+ 1.0 (* z z)))
14.7b
(cbrt (+ 1.0 (* z z)))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
341×times-frac
186×add-sqr-sqrt
156×associate-*r*
120×*-un-lft-identity
113×add-cube-cbrt
110×add-exp-log
93×cbrt-prod
80×cbrt-div
56×div-exp
50×associate-/r/
42×add-cbrt-cube
40×flip3-+ flip-+
32×prod-exp
28×cbrt-undiv
25×frac-times
21×unswap-sqr
16×cbrt-unprod
14×div-inv
13×associate-*r/ associate-*l* associate-*l/
6×pow1 rec-exp 1-exp
4×add-log-exp
3×pow1/3
1×pow-prod-down *-commutative
Counts
4 → 277
Calls
4 calls:
67.0ms
(* (/ 1 y) (/ (/ (/ 1.0 x) (* (cbrt (+ 1.0 (* z z))) (cbrt (+ 1.0 (* z z))))) (cbrt (+ 1.0 (* z z)))))
2.0ms
(cbrt (+ 1.0 (* z z)))
2.0ms
(cbrt (+ 1.0 (* z z)))
2.0ms
(cbrt (+ 1.0 (* z z)))

series760.0ms

Counts
4 → 12
Calls
4 calls:
64.0ms
(* (/ 1 y) (/ (/ (/ 1.0 x) (* (cbrt (+ 1.0 (* z z))) (cbrt (+ 1.0 (* z z))))) (cbrt (+ 1.0 (* z z)))))
197.0ms
(cbrt (+ 1.0 (* z z)))
311.0ms
(cbrt (+ 1.0 (* z z)))
188.0ms
(cbrt (+ 1.0 (* z z)))

simplify83.0ms

Algorithm
egg-herbie
Counts
289 → 289
Iterations

Useful iterations: 1 (42.0ms)

IterNodesCost
020524762
150014283

prune803.0ms

Filtered
289 candidates to 226 candidates (78.2%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New2890289
Fresh077
Picked011
Done011
Total2899298

Merged error: 3.2b

Counts
298 → 9

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (cbrt (/ 1 y)) (cbrt (/ 1 y)))
0.9b
(* (cbrt (/ 1 y)) (/ (/ 1.0 x) (+ 1.0 (* z z))))
1.6b
(* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (/ 1 y)) (/ (/ 1.0 x) (+ 1.0 (* z z)))))
3.0b
(/ (/ 1.0 x) (+ 1.0 (* z z)))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
220×times-frac
200×add-sqr-sqrt
134×*-un-lft-identity
121×add-cube-cbrt
102×cbrt-prod
62×associate-*r*
52×add-exp-log
33×associate-*l* add-cbrt-cube
30×cbrt-div
28×unswap-sqr
25×pow1
22×prod-exp cbrt-unprod
19×frac-times
18×swap-sqr
16×div-inv
13×associate-*r/ associate-*l/ associate-/l*
12×cbrt-undiv div-exp
11×pow-prod-down
6×pow1/3
4×associate-/r/ add-log-exp
3×associate-/r* *-commutative
2×flip3-+ pow-sqr pow-prod-up flip-+
1×pow2 frac-2neg pow-plus clear-num associate-/l/
Counts
4 → 295
Calls
4 calls:
13.0ms
(* (cbrt (/ 1 y)) (cbrt (/ 1 y)))
24.0ms
(* (cbrt (/ 1 y)) (/ (/ 1.0 x) (+ 1.0 (* z z))))
25.0ms
(* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (/ 1 y)) (/ (/ 1.0 x) (+ 1.0 (* z z)))))
7.0ms
(/ (/ 1.0 x) (+ 1.0 (* z z)))

series471.0ms

Counts
4 → 12
Calls
4 calls:
194.0ms
(* (cbrt (/ 1 y)) (cbrt (/ 1 y)))
130.0ms
(* (cbrt (/ 1 y)) (/ (/ 1.0 x) (+ 1.0 (* z z))))
85.0ms
(* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (/ 1 y)) (/ (/ 1.0 x) (+ 1.0 (* z z)))))
63.0ms
(/ (/ 1.0 x) (+ 1.0 (* z z)))

simplify60.0ms

Algorithm
egg-herbie
Counts
307 → 307
Iterations

Useful iterations: 1 (31.0ms)

IterNodesCost
011583207
150012798

prune699.0ms

Filtered
307 candidates to 223 candidates (72.6%)
Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New3061307
Fresh156
Picked011
Done022
Total3079316

Merged error: 3.2b

Counts
316 → 9

regimes274.0ms

Accuracy

0% (1.5b remaining)

Error of 6.5b against oracle of 5.0b and baseline of 6.5b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01815
11815

end0.0ms

sample462.0ms

Algorithm
intervals
Results
290.0ms8635×body80valid