Details

Time bar (total: 10.2s)

sample151.0ms

Algorithm
intervals
Results
115.0ms632×body80valid

simplify87.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
04714
111013
233513
3105913
4344213
5500113

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 10.5b

localize20.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (* c t) (* i y))
3.6b
(* b (- (* c z) (* i a)))
3.8b
(* x (- (* y z) (* t a)))
4.9b
(* j (- (* c t) (* i y)))

rewrite35.0ms

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

series233.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(- (* c t) (* i y))
66.0ms
(* b (- (* c z) (* i a)))
68.0ms
(* x (- (* y z) (* t a)))
63.0ms
(* j (- (* c t) (* i y)))

simplify57.0ms

Algorithm
egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 1 (13.0ms)

IterNodesCost
0478643
11975572
25001572

prune484.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 6.6b

localize27.0ms

Local error

Found 4 expressions with local error:

3.6b
(* b (- (* c z) (* i a)))
3.8b
(* x (- (* y z) (* t a)))
4.9b
(* j (- (* c t) (* i y)))
49.0b
(fma (- a) i (* a i))

rewrite31.0ms

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

series224.0ms

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

simplify56.0ms

Algorithm
egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0458602
11909532
25002532

prune580.0ms

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 6.6b

localize35.0ms

Local error

Found 4 expressions with local error:

4.6b
(cbrt (* x (- (* y z) (* t a))))
4.6b
(cbrt (* x (- (* y z) (* t a))))
4.9b
(* j (- (* c t) (* i y)))
49.0b
(fma (- a) i (* a i))

rewrite19.0ms

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

series399.0ms

Counts
4 → 12
Calls
4 calls:
150.0ms
(cbrt (* x (- (* y z) (* t a))))
148.0ms
(cbrt (* x (- (* y z) (* t a))))
73.0ms
(* j (- (* c t) (* i y)))
28.0ms
(fma (- a) i (* a i))

simplify125.0ms

Algorithm
egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
0354514
11248464
24771458
35001458

prune582.0ms

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 6.6b

localize44.0ms

Local error

Found 4 expressions with local error:

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

rewrite18.0ms

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

series392.0ms

Counts
4 → 12
Calls
4 calls:
159.0ms
(cbrt (* x (- (* y z) (* t a))))
78.0ms
(* j (- (* c t) (* i y)))
126.0ms
(cbrt (- (* y z) (* t a)))
29.0ms
(fma (- a) i (* a i))

simplify47.0ms

Algorithm
egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
0428528
11439480
25002470

prune568.0ms

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 6.6b

regimes1.2s

Accuracy

5.7% (3.7b remaining)

Error of 12.1b against oracle of 8.4b and baseline of 12.3b

bsearch278.0ms

Steps
ItersRangePoint
9
2.3734140775811014e-259
3.741632572024222e-251
3.19859898222242e-251
7
-4.6580600805654477e-156
-2.5744595640146742e-157
-2.8874577549273917e-157

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06462
17062
27062

end0.0ms

sample4.5s

Algorithm
intervals
Results
3.6s19135×body80valid