Details

Time bar (total: 10.1s)

sample159.0ms

Algorithm
intervals
Results
122.0ms634×body80valid

simplify96.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: 10.7b

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* y z) (* t a))
3.9b
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))))
4.0b
(* x (- (* y z) (* t a)))
5.6b
(* b (- (* c z) (* t i)))

rewrite28.0ms

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

series748.0ms

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

simplify60.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0376645
11500568
25001568

prune457.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 3.7b

localize26.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* y z) (* t a))
4.0b
(* x (- (* y z) (* t a)))
4.7b
(* (- (* c a) (* y i)) j)
5.6b
(* b (- (* c z) (* t i)))

rewrite34.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×associate-*r* associate-*l*
6×distribute-rgt-in distribute-lft-in add-log-exp
5×sub-neg prod-diff
4×expm1-log1p-u flip3-- associate-*r/ flip-- log1p-expm1-u
3×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
2×associate-*l/
1×fma-neg diff-log
Counts
4 → 94
Calls
4 calls:
3.0ms
(- (* y z) (* t a))
10.0ms
(* x (- (* y z) (* t a)))
10.0ms
(* (- (* c a) (* y i)) j)
10.0ms
(* b (- (* c z) (* t i)))

series245.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(- (* y z) (* t a))
70.0ms
(* x (- (* y z) (* t a)))
57.0ms
(* (- (* c a) (* y i)) j)
73.0ms
(* b (- (* c z) (* t i)))

simplify56.0ms

Algorithm
egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 1 (13.0ms)

IterNodesCost
0453607
11805536
25001536

prune489.0ms

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 3.2b

localize33.0ms

Local error

Found 4 expressions with local error:

4.0b
(* x (fma y z (- (* a t))))
4.7b
(* (- (* c a) (* y i)) j)
5.6b
(* b (- (* c z) (* t i)))
49.8b
(fma (- a) t (* a t))

rewrite24.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×associate-*r* associate-*l*
4×distribute-rgt-in expm1-log1p-u distribute-lft-in log1p-expm1-u add-log-exp
3×pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef unswap-sqr
2×sub-neg flip3-- associate-*r/ prod-diff associate-*l/ flip--
Counts
4 → 82
Calls
4 calls:
3.0ms
(* x (fma y z (- (* a t))))
9.0ms
(* (- (* c a) (* y i)) j)
10.0ms
(* b (- (* c z) (* t i)))
0.0ms
(fma (- a) t (* a t))

series228.0ms

Counts
4 → 12
Calls
4 calls:
74.0ms
(* x (fma y z (- (* a t))))
57.0ms
(* (- (* c a) (* y i)) j)
71.0ms
(* b (- (* c z) (* t i)))
26.0ms
(fma (- a) t (* a t))

simplify51.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0387526
11514457
25002457

prune506.0ms

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 3.2b

localize25.0ms

Local error

Found 4 expressions with local error:

5.6b
(* b (- (* c z) (* t i)))
6.0b
(cbrt (- (* y z) (* t a)))
6.0b
(cbrt (- (* y z) (* t a)))
6.0b
(cbrt (- (* y z) (* t a)))

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
(* 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)))

series432.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(* b (- (* c z) (* t i)))
119.0ms
(cbrt (- (* y z) (* t a)))
118.0ms
(cbrt (- (* y z) (* t a)))
124.0ms
(cbrt (- (* y z) (* t a)))

simplify112.0ms

Algorithm
egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 2 (35.0ms)

IterNodesCost
0335646
11158598
24180580
35001580

prune464.0ms

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 3.2b

regimes975.0ms

Accuracy

-11.4% (9.0b remaining)

Error of 13.5b against oracle of 4.5b and baseline of 12.6b

bsearch273.0ms

Steps
ItersRangePoint
6
-1.2122084782473737e+51
-2.000773547965604e+50
-1.1972985037498114e+51
9
-4.123571834400257e+110
-2.7563809427078637e+104
-2.785006001953297e+104

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05431
15431

end0.0ms

sample4.5s

Algorithm
intervals
Results
3.6s19263×body80valid