Details

Time bar (total: 32.3s)

sample28.0ms

Algorithm
intervals
Results
15.0ms277×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: 7.6b

Counts
2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

3.6b
(/ (/ 1.0 x) (* y (+ 1.0 (* z z))))
5.2b
(* y (+ 1.0 (* z z)))

rewrite17.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:
7.0ms
(/ (/ 1.0 x) (* y (+ 1.0 (* z z))))
8.0ms
(* y (+ 1.0 (* z z)))

series133.0ms

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

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

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New69776
Fresh000
Picked101
Done000
Total70777

Merged error: 6.1b

Counts
77 → 7

localize7.0ms

Local error

Found 2 expressions with local error:

0.4b
(/ (/ 1.0 y) x)
6.4b
(/ (/ (/ 1.0 y) x) (+ 1.0 (* z z)))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
468×times-frac
228×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
56×associate-/l*
22×div-inv
16×add-exp-log add-cbrt-cube
9×cbrt-undiv div-exp
6×associate-/r*
2×pow1 frac-2neg clear-num associate-/r/ associate-/l/ add-log-exp
1×flip3-+ flip-+
Counts
2 → 264
Calls
2 calls:
6.0ms
(/ (/ 1.0 y) x)
14.0ms
(/ (/ (/ 1.0 y) x) (+ 1.0 (* z z)))

series81.0ms

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

simplify115.0ms

Algorithm
egg-herbie
Counts
270 → 270
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
011322994
145722919
250012919

prune594.0ms

Filtered
270 candidates to 233 candidates (86.3%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New2673270
Fresh336
Picked011
Done000
Total2707277

Merged error: 6.1b

Counts
277 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

0.8b
(cbrt (/ 1.0 y))
0.8b
(cbrt (/ 1.0 y))
3.0b
(/ (/ (cbrt (/ 1.0 y)) (cbrt x)) (+ 1.0 (* z z)))
3.4b
(* (/ (* (cbrt (/ 1.0 y)) (cbrt (/ 1.0 y))) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (/ 1.0 y)) (cbrt x)) (+ 1.0 (* z z))))

rewrite198.0ms

Algorithm
rewrite-expression-head
Rules
1707×times-frac
922×cbrt-prod
842×add-sqr-sqrt
788×add-cube-cbrt *-un-lft-identity
306×associate-*r*
100×associate-/l*
78×add-exp-log
54×div-inv
42×add-cbrt-cube
30×cbrt-undiv div-exp
27×prod-exp cbrt-unprod
16×unswap-sqr
6×pow1
5×associate-*l*
4×associate-/r/ add-log-exp
3×associate-/r*
2×cbrt-div flip3-+ pow1/3 flip-+
1×frac-times frac-2neg associate-*r/ pow-prod-down associate-*l/ clear-num *-commutative associate-/l/
Counts
4 → 833
Calls
4 calls:
2.0ms
(cbrt (/ 1.0 y))
2.0ms
(cbrt (/ 1.0 y))
27.0ms
(/ (/ (cbrt (/ 1.0 y)) (cbrt x)) (+ 1.0 (* z z)))
89.0ms
(* (/ (* (cbrt (/ 1.0 y)) (cbrt (/ 1.0 y))) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (/ 1.0 y)) (cbrt x)) (+ 1.0 (* z z))))

series904.0ms

Counts
4 → 12
Calls
4 calls:
386.0ms
(cbrt (/ 1.0 y))
215.0ms
(cbrt (/ 1.0 y))
146.0ms
(/ (/ (cbrt (/ 1.0 y)) (cbrt x)) (+ 1.0 (* z z)))
157.0ms
(* (/ (* (cbrt (/ 1.0 y)) (cbrt (/ 1.0 y))) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (/ 1.0 y)) (cbrt x)) (+ 1.0 (* z z))))

simplify206.0ms

Algorithm
egg-herbie
Counts
845 → 845
Iterations

Useful iterations: 1 (67.0ms)

IterNodesCost
0376915526
1500115230

prune3.2s

Filtered
845 candidates to 768 candidates (90.9%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New8450845
Fresh055
Picked011
Done011
Total8457852

Merged error: 6.1b

Counts
852 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt y)
0.5b
(cbrt y)
2.2b
(/ (/ (/ 1 (* (cbrt y) (cbrt y))) 1) (/ (+ 1.0 (* z z)) (/ (/ 1.0 (cbrt y)) x)))
4.9b
(/ (+ 1.0 (* z z)) (/ (/ 1.0 (cbrt y)) x))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
27365×times-frac
10031×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
2220×cbrt-prod
1220×div-inv
291×add-exp-log
285×associate-/r*
244×div-exp
80×add-cbrt-cube
66×cbrt-undiv
44×1-exp
28×associate-/r/ associate-/l*
24×prod-exp
16×rec-exp
4×pow1 cbrt-unprod add-log-exp
3×associate-/l/
2×frac-2neg pow1/3 clear-num
1×flip3-+ flip-+
Counts
4 → 6027
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
150.0ms
(/ (/ (/ 1 (* (cbrt y) (cbrt y))) 1) (/ (+ 1.0 (* z z)) (/ (/ 1.0 (cbrt y)) x)))
22.0ms
(/ (+ 1.0 (* z z)) (/ (/ 1.0 (cbrt y)) x))

series620.0ms

Counts
4 → 12
Calls
4 calls:
176.0ms
(cbrt y)
188.0ms
(cbrt y)
87.0ms
(/ (/ (/ 1 (* (cbrt y) (cbrt y))) 1) (/ (+ 1.0 (* z z)) (/ (/ 1.0 (cbrt y)) x)))
167.0ms
(/ (+ 1.0 (* z z)) (/ (/ 1.0 (cbrt y)) x))

simplify1.9s

Algorithm
egg-herbie
Counts
6039 → 6039
Iterations

Useful iterations: 0 (101.0ms)

IterNodesCost
08868183863

prune22.3s

Filtered
6039 candidates to 5386 candidates (89.2%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New603906039
Fresh044
Picked011
Done022
Total603976046

Merged error: 6.1b

Counts
6046 → 7

regimes188.0ms

Accuracy

0% (1.5b remaining)

Error of 6.3b against oracle of 4.9b and baseline of 6.3b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0105
1105

end0.0ms

sample470.0ms

Algorithm
intervals
Results
294.0ms8615×body80valid

Profiling

Loading profile data...