Details

Time bar (total: 6.0s)

sample25.0ms

Algorithm
intervals
Results
8.0ms256×body80valid
1.0ms9×body1280valid
1.0ms11×body640valid
1.0ms13×body320valid
0.0ms8×body160valid

simplify63.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0206
1456
21116
32886
47146
514986
634106
750016

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: 25.4b

Counts
2 → 1

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (- y z) (- t x))
1.9b
(+ x (/ (* (- y z) (- t x)) (- a z)))
18.5b
(/ (* (- y z) (- t x)) (- a z))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt *-un-lft-identity
13×flip3-- flip--
10×add-exp-log add-cbrt-cube
8×frac-times associate-/l/
7×add-cube-cbrt
5×pow1 times-frac associate-*r* associate-*l* associate-/r* add-log-exp
4×associate-*r/ associate-*l/ distribute-lft-out-- difference-of-squares
2×cbrt-undiv distribute-rgt-in sub-neg distribute-lft-in div-exp prod-exp associate-/r/ cbrt-unprod
1×+-commutative frac-2neg flip3-+ pow-prod-down clear-num sum-log *-commutative flip-+ div-inv distribute-lft-out associate-/l* unswap-sqr
Counts
3 → 81
Calls
3 calls:
9.0ms
(* (- y z) (- t x))
7.0ms
(+ x (/ (* (- y z) (- t x)) (- a z)))
12.0ms
(/ (* (- y z) (- t x)) (- a z))

series324.0ms

Counts
3 → 9
Calls
3 calls:
37.0ms
(* (- y z) (- t x))
160.0ms
(+ x (/ (* (- y z) (- t x)) (- a z)))
127.0ms
(/ (* (- y z) (- t x)) (- a z))

simplify58.0ms

Algorithm
egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0466583
12158534
25001534

prune237.0ms

Filtered
90 candidates to 67 candidates (74.4%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New82890
Fresh000
Picked101
Done000
Total83891

Merged error: 3.3b

Counts
91 → 8

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- a z))
0.6b
(cbrt (- a z))
2.2b
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
7.7b
(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
75×add-sqr-sqrt
59×*-un-lft-identity
52×times-frac
46×associate-*r*
37×cbrt-prod
27×add-cube-cbrt
25×add-exp-log
18×cbrt-div add-cbrt-cube
17×associate-*l*
16×distribute-lft-out-- difference-of-squares
10×associate-/r/
9×flip3-- flip--
8×prod-exp cbrt-unprod
7×cbrt-undiv div-exp
6×pow1 add-log-exp unswap-sqr
5×frac-times
3×associate-*r/ associate-*l/
2×pow1/3 div-inv
1×+-commutative flip3-+ pow-prod-down sum-log *-commutative flip-+
Counts
4 → 134
Calls
4 calls:
3.0ms
(cbrt (- a z))
3.0ms
(cbrt (- a z))
36.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
3.0ms
(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

series963.0ms

Counts
4 → 12
Calls
4 calls:
184.0ms
(cbrt (- a z))
140.0ms
(cbrt (- a z))
296.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
343.0ms
(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

simplify87.0ms

Algorithm
egg-herbie
Counts
146 → 146
Iterations

Useful iterations: 2 (71.0ms)

IterNodesCost
07441831
132871663
250011576

prune441.0ms

Filtered
146 candidates to 104 candidates (71.2%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New1415146
Fresh077
Picked101
Done000
Total14212154

Merged error: 3.3b

Counts
154 → 12

localize22.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- a z))
0.6b
(cbrt (- a z))
1.5b
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))))
7.0b
(+ x (* (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (* (cbrt (- a z)) (cbrt (- a z)))))) (/ (cbrt (- t x)) (cbrt (cbrt (- a z))))))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
40×add-exp-log
36×cbrt-div
26×add-sqr-sqrt
22×add-cbrt-cube
17×associate-*l*
16×*-un-lft-identity times-frac associate-*r* associate-/r/
15×prod-exp cbrt-unprod
14×flip3-- flip--
13×cbrt-prod
12×cbrt-undiv div-exp
10×add-cube-cbrt
9×frac-times
6×pow1 add-log-exp unswap-sqr
5×associate-*r/ associate-*l/
3×distribute-lft-out-- difference-of-squares
2×pow1/3 div-inv
1×+-commutative flip3-+ pow-prod-down sum-log *-commutative flip-+
Counts
4 → 110
Calls
4 calls:
5.0ms
(cbrt (- a z))
5.0ms
(cbrt (- a z))
50.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))))
4.0ms
(+ x (* (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (* (cbrt (- a z)) (cbrt (- a z)))))) (/ (cbrt (- t x)) (cbrt (cbrt (- a z))))))

series764.0ms

Counts
4 → 12
Calls
4 calls:
149.0ms
(cbrt (- a z))
142.0ms
(cbrt (- a z))
321.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))))
151.0ms
(+ x (* (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (* (cbrt (- a z)) (cbrt (- a z)))))) (/ (cbrt (- t x)) (cbrt (cbrt (- a z))))))

simplify102.0ms

Algorithm
egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 2 (81.0ms)

IterNodesCost
08102470
132412130
250022090

prune492.0ms

Filtered
122 candidates to 90 candidates (73.8%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New1193122
Fresh11011
Picked101
Done000
Total12113134

Merged error: 3.3b

Counts
134 → 13

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- a z))
0.6b
(cbrt (- a z))
1.1b
(* (/ (* (cbrt (- y z)) (cbrt (- y z))) (cbrt (- a z))) (* (/ (cbrt (- y z)) (cbrt (- a z))) (/ (- t x) (cbrt (- a z)))))
3.6b
(+ x (* (/ (* (cbrt (- y z)) (cbrt (- y z))) (cbrt (- a z))) (* (/ (cbrt (- y z)) (cbrt (- a z))) (/ (- t x) (cbrt (- a z))))))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
73×add-exp-log
35×add-cbrt-cube
32×prod-exp cbrt-unprod
22×cbrt-undiv div-exp
15×cbrt-prod add-sqr-sqrt *-un-lft-identity
14×associate-*l*
9×pow1 add-cube-cbrt
8×times-frac
6×cbrt-div add-log-exp
5×frac-times associate-*r/
3×flip3-- pow-prod-down associate-*l/ flip-- distribute-lft-out-- difference-of-squares
2×pow1/3 associate-/r/
1×+-commutative flip3-+ associate-*r* sum-log *-commutative flip-+ div-inv
Counts
4 → 103
Calls
4 calls:
3.0ms
(cbrt (- a z))
3.0ms
(cbrt (- a z))
38.0ms
(* (/ (* (cbrt (- y z)) (cbrt (- y z))) (cbrt (- a z))) (* (/ (cbrt (- y z)) (cbrt (- a z))) (/ (- t x) (cbrt (- a z)))))
4.0ms
(+ x (* (/ (* (cbrt (- y z)) (cbrt (- y z))) (cbrt (- a z))) (* (/ (cbrt (- y z)) (cbrt (- a z))) (/ (- t x) (cbrt (- a z))))))

series736.0ms

Counts
4 → 12
Calls
4 calls:
140.0ms
(cbrt (- a z))
146.0ms
(cbrt (- a z))
296.0ms
(* (/ (* (cbrt (- y z)) (cbrt (- y z))) (cbrt (- a z))) (* (/ (cbrt (- y z)) (cbrt (- a z))) (/ (- t x) (cbrt (- a z)))))
153.0ms
(+ x (* (/ (* (cbrt (- y z)) (cbrt (- y z))) (cbrt (- a z))) (* (/ (cbrt (- y z)) (cbrt (- a z))) (/ (- t x) (cbrt (- a z))))))

simplify80.0ms

Algorithm
egg-herbie
Counts
115 → 115
Iterations

Useful iterations: 2 (57.0ms)

IterNodesCost
06302051
124661604
250011462

prune273.0ms

Filtered
115 candidates to 70 candidates (60.9%)
Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New1123115
Fresh3912
Picked011
Done000
Total11513128

Merged error: 3.3b

Counts
128 → 13

regimes338.0ms

Accuracy

18.2% (6.6b remaining)

Error of 10.8b against oracle of 4.2b and baseline of 12.3b

bsearch46.0ms

Steps
ItersRangePoint
0
4.8666627780759835e-109
4.983214465843013e-109
4.924938621959498e-109
7
-1.1151747913850161e-175
-5.795691522746873e-178
-9.840465118612939e-176

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04654
14654

end0.0ms

sample702.0ms

Algorithm
intervals
Results
267.0ms7835×body80valid
62.0ms510×body640valid
49.0ms270×body1280valid
35.0ms384×body320valid
16.0ms257×body160valid
3.0ms16×body2560valid