Details

Time bar (total: 10.5s)

sample19.0ms

Algorithm
intervals
Results
7.0ms275×body80valid

simplify15.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0215
1375
2615
3915
41155
51215
61215

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.8b

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ 1.0 (* z z))
2.9b
(/ (/ 1.0 x) (* y (+ 1.0 (* z z))))
3.8b
(* y (+ 1.0 (* z z)))

rewrite42.0ms

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

series146.0ms

Counts
3 → 9
Calls
3 calls:
34.0ms
(+ 1.0 (* z z))
61.0ms
(/ (/ 1.0 x) (* y (+ 1.0 (* z z))))
51.0ms
(* y (+ 1.0 (* z z)))

simplify48.0ms

Algorithm
egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
0432567
12077494
25002494

prune175.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 3.1b

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ 1.0 (* z z))
2.9b
(/ (/ (cbrt 1.0) x) (+ 1.0 (* z z)))
2.9b
(* (/ (* (cbrt 1.0) (cbrt 1.0)) y) (/ (/ (cbrt 1.0) x) (+ 1.0 (* z z))))

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
275×times-frac
168×add-sqr-sqrt
142×add-cube-cbrt *-un-lft-identity
72×associate-*r*
65×cbrt-prod
44×add-exp-log
34×add-cbrt-cube
22×associate-/l*
18×cbrt-undiv div-exp
12×prod-exp cbrt-unprod
10×div-inv
8×unswap-sqr
7×associate-*l*
5×pow1 add-log-exp
4×associate-/r/
3×flip3-+ associate-/r* flip-+
1×+-commutative frac-times frac-2neg associate-*r/ pow-prod-down associate-*l/ clear-num sum-log *-commutative associate-/l/
Counts
3 → 236
Calls
3 calls:
5.0ms
(+ 1.0 (* z z))
17.0ms
(/ (/ (cbrt 1.0) x) (+ 1.0 (* z z)))
72.0ms
(* (/ (* (cbrt 1.0) (cbrt 1.0)) y) (/ (/ (cbrt 1.0) x) (+ 1.0 (* z z))))

series272.0ms

Counts
3 → 9
Calls
3 calls:
31.0ms
(+ 1.0 (* z z))
109.0ms
(/ (/ (cbrt 1.0) x) (+ 1.0 (* z z)))
132.0ms
(* (/ (* (cbrt 1.0) (cbrt 1.0)) y) (/ (/ (cbrt 1.0) x) (+ 1.0 (* z z))))

simplify53.0ms

Algorithm
egg-herbie
Counts
245 → 245
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
012163038
150012831

prune691.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 3.1b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ 1.0 (* z z))
0.3b
(/ (/ 1 1) (/ (+ 1.0 (* z z)) (/ (cbrt 1.0) x)))
2.9b
(* (/ (* (cbrt 1.0) (cbrt 1.0)) y) (/ (/ 1 1) (/ (+ 1.0 (* z z)) (/ (cbrt 1.0) x))))
3.0b
(/ (+ 1.0 (* z z)) (/ (cbrt 1.0) x))

rewrite680.0ms

Algorithm
rewrite-expression-head
Rules
6657×times-frac
2931×add-sqr-sqrt
2789×*-un-lft-identity
2757×add-cube-cbrt
928×associate-*r*
775×cbrt-prod
384×add-exp-log
263×div-exp
259×div-inv
115×add-cbrt-cube
93×associate-/r*
88×prod-exp
77×cbrt-undiv
60×1-exp
42×unswap-sqr
30×associate-/r/
28×cbrt-unprod
24×rec-exp
16×associate-/l*
7×associate-*l*
6×pow1 add-log-exp
3×associate-/l/
2×frac-2neg flip3-+ clear-num flip-+
1×+-commutative frac-times associate-*r/ pow-prod-down associate-*l/ sum-log *-commutative
Counts
4 → 2241
Calls
4 calls:
5.0ms
(+ 1.0 (* z z))
49.0ms
(/ (/ 1 1) (/ (+ 1.0 (* z z)) (/ (cbrt 1.0) x)))
350.0ms
(* (/ (* (cbrt 1.0) (cbrt 1.0)) y) (/ (/ 1 1) (/ (+ 1.0 (* z z)) (/ (cbrt 1.0) x))))
28.0ms
(/ (+ 1.0 (* z z)) (/ (cbrt 1.0) x))

series413.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(+ 1.0 (* z z))
107.0ms
(/ (/ 1 1) (/ (+ 1.0 (* z z)) (/ (cbrt 1.0) x)))
155.0ms
(* (/ (* (cbrt 1.0) (cbrt 1.0)) y) (/ (/ 1 1) (/ (+ 1.0 (* z z)) (/ (cbrt 1.0) x))))
120.0ms
(/ (+ 1.0 (* z z)) (/ (cbrt 1.0) x))

simplify345.0ms

Algorithm
egg-herbie
Counts
2253 → 2253
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
0500237812

prune6.1s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 3.1b

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* y (sqrt (+ 1.0 (* z z)))) (sqrt (+ 1.0 (* z z))))
2.9b
(/ (/ 1.0 x) (* (* y (sqrt (+ 1.0 (* z z)))) (sqrt (+ 1.0 (* z z)))))
15.0b
(sqrt (+ 1.0 (* z z)))
15.0b
(sqrt (+ 1.0 (* z z)))

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
31×times-frac
30×add-exp-log add-cbrt-cube
28×sqrt-div
24×add-sqr-sqrt
22×add-cube-cbrt *-un-lft-identity
16×associate-*r/
14×flip3-+ flip-+
13×associate-/l*
11×pow1
9×cbrt-undiv div-exp prod-exp sqrt-prod cbrt-unprod
8×frac-times associate-/r/
6×associate-*r*
4×associate-*l/ add-log-exp
3×pow-prod-down div-inv
2×rem-sqrt-square sqrt-pow1 pow1/2
1×frac-2neg associate-*l* clear-num associate-/r* *-commutative associate-/l/
Counts
4 → 117
Calls
4 calls:
43.0ms
(* (* y (sqrt (+ 1.0 (* z z)))) (sqrt (+ 1.0 (* z z))))
42.0ms
(/ (/ 1.0 x) (* (* y (sqrt (+ 1.0 (* z z)))) (sqrt (+ 1.0 (* z z)))))
5.0ms
(sqrt (+ 1.0 (* z z)))
5.0ms
(sqrt (+ 1.0 (* z z)))

series230.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(* (* y (sqrt (+ 1.0 (* z z)))) (sqrt (+ 1.0 (* z z))))
77.0ms
(/ (/ 1.0 x) (* (* y (sqrt (+ 1.0 (* z z)))) (sqrt (+ 1.0 (* z z)))))
43.0ms
(sqrt (+ 1.0 (* z z)))
58.0ms
(sqrt (+ 1.0 (* z z)))

simplify75.0ms

Algorithm
egg-herbie
Counts
129 → 129
Iterations

Useful iterations: 2 (63.0ms)

IterNodesCost
06101242
128861023
250011005

prune312.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 3.1b

regimes206.0ms

Accuracy

0% (1.6b remaining)

Error of 6.4b against oracle of 4.7b and baseline of 6.4b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01410
11410

end0.0ms

sample467.0ms

Algorithm
intervals
Results
229.0ms8597×body80valid