Details

Time bar (total: 8.7s)

sample70.0ms

Algorithm
intervals
Results
37.0ms580×body80valid

simplify89.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
04714
111013
233513
3105913
4344213
5500113

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i))))
5.0b
(* b (- (* c z) (* t i)))
5.7b
(* x (- (* y z) (* t a)))
5.8b
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
12×distribute-rgt-in add-sqr-sqrt distribute-lft-in associate-*r/
9×sub-neg prod-diff
8×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
7×flip3-- flip--
6×associate-*r* associate-*l* associate--l+ associate--r+ add-log-exp
4×expm1-log1p-u frac-sub log1p-expm1-u
2×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×fma-neg diff-log fma-udef
Counts
4 → 98
Calls
4 calls:
11.0ms
(- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i))))
10.0ms
(* b (- (* c z) (* t i)))
12.0ms
(* x (- (* y z) (* t a)))
0.0ms
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))))

series921.0ms

Counts
4 → 12
Calls
4 calls:
228.0ms
(- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i))))
70.0ms
(* b (- (* c z) (* t i)))
64.0ms
(* x (- (* y z) (* t a)))
559.0ms
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))))

simplify85.0ms

Algorithm
egg-herbie
Counts
110 → 110
Iterations

Useful iterations: 2 (74.0ms)

IterNodesCost
05781034
12627947
25003943

prune529.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 6.1b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i))))
5.0b
(* b (- (* c z) (* t i)))
5.7b
(* x (- (* y z) (* t a)))
6.6b
(* (- (* c a) (* y i)) j)

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
12×distribute-rgt-in distribute-lft-in associate-*r/
10×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
9×sub-neg associate-*r* associate-*l* prod-diff
8×flip3-- flip--
6×associate--l+ associate--r+ add-log-exp
4×expm1-log1p-u frac-sub log1p-expm1-u
3×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
2×associate-*l/
1×fma-neg diff-log
Counts
4 → 110
Calls
4 calls:
12.0ms
(- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i))))
10.0ms
(* b (- (* c z) (* t i)))
10.0ms
(* x (- (* y z) (* t a)))
12.0ms
(* (- (* c a) (* y i)) j)

series410.0ms

Counts
4 → 12
Calls
4 calls:
217.0ms
(- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i))))
70.0ms
(* b (- (* c z) (* t i)))
63.0ms
(* x (- (* y z) (* t a)))
59.0ms
(* (- (* c a) (* y i)) j)

simplify94.0ms

Algorithm
egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 2 (78.0ms)

IterNodesCost
0660996
12982915
25001911

prune558.0ms

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 4.6b

localize29.0ms

Local error

Found 4 expressions with local error:

5.8b
(fma (- (* c a) (* y i)) j (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))))
7.0b
(cbrt (- (* y z) (* t a)))
7.0b
(cbrt (- (* y z) (* t a)))
7.0b
(cbrt (- (* y z) (* t a)))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×cbrt-div
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp
3×flip3-- pow1/3 flip--
1×fma-udef
Counts
4 → 55
Calls
4 calls:
0.0ms
(fma (- (* c a) (* y i)) j (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))))
2.0ms
(cbrt (- (* y z) (* t a)))
2.0ms
(cbrt (- (* y z) (* t a)))
2.0ms
(cbrt (- (* y z) (* t a)))

series917.0ms

Counts
4 → 12
Calls
4 calls:
565.0ms
(fma (- (* c a) (* y i)) j (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))))
116.0ms
(cbrt (- (* y z) (* t a)))
117.0ms
(cbrt (- (* y z) (* t a)))
119.0ms
(cbrt (- (* y z) (* t a)))

simplify63.0ms

Algorithm
egg-herbie
Counts
67 → 67
Iterations

Useful iterations: 3 (55.0ms)

IterNodesCost
0263780
1713704
22151671
35001667

prune461.0ms

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 4.6b

localize28.0ms

Local error

Found 4 expressions with local error:

5.7b
(* x (- (* y z) (* t a)))
7.9b
(cbrt (- (* c a) (* y i)))
7.9b
(cbrt (- (* c a) (* y i)))
7.9b
(cbrt (- (* c a) (* y i)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
9×cbrt-prod add-cube-cbrt *-un-lft-identity
6×pow1 add-exp-log cbrt-div add-cbrt-cube
4×expm1-log1p-u flip3-- flip-- log1p-expm1-u add-log-exp
3×distribute-rgt-in distribute-lft-in pow1/3 associate-*r* associate-*l*
2×sub-neg associate-*r/ prod-diff
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 73
Calls
4 calls:
10.0ms
(* x (- (* y z) (* t a)))
2.0ms
(cbrt (- (* c a) (* y i)))
2.0ms
(cbrt (- (* c a) (* y i)))
2.0ms
(cbrt (- (* c a) (* y i)))

series567.0ms

Counts
4 → 12
Calls
4 calls:
239.0ms
(* x (- (* y z) (* t a)))
108.0ms
(cbrt (- (* c a) (* y i)))
109.0ms
(cbrt (- (* c a) (* y i)))
110.0ms
(cbrt (- (* c a) (* y i)))

simplify103.0ms

Algorithm
egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
0339646
11167598
24165580
35001580

prune446.0ms

Pruning

18 alts after pruning (16 fresh and 2 done)

Merged error: 4.6b

regimes976.0ms

Accuracy

12.3% (7.3b remaining)

Error of 11.4b against oracle of 4.1b and baseline of 12.4b

bsearch167.0ms

Steps
ItersRangePoint
6
1.2618507673552554e-208
1.035367114883307e-207
6.948208609757784e-208
9
-2.7023861452446495e-219
-7.951460619839716e-225
-9.245860709514701e-220

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06360
16360

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.1s19052×body80valid