Details

Time bar (total: 17.6s)

sample89.0ms

Algorithm
intervals
Results
39.0ms640×body80valid

simplify99.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: 12.5b

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* y z) (* t a))
4.1b
(* x (- (* y z) (* t a)))
5.3b
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))))
5.4b
(* b (- (* c z) (* t i)))

rewrite68.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:
9.0ms
(- (* y z) (* t a))
27.0ms
(* x (- (* y z) (* t a)))
0.0ms
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))))
30.0ms
(* b (- (* c z) (* t i)))

series797.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(- (* y z) (* t a))
78.0ms
(* x (- (* y z) (* t a)))
607.0ms
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))))
70.0ms
(* b (- (* c z) (* t i)))

simplify52.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0376645
11495568
25001568

prune688.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 5.2b

localize28.0ms

Local error

Found 4 expressions with local error:

4.1b
(* x (- (* y z) (* t a)))
5.3b
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* t i))) (* b (fma (- i) t (* i t))))))
5.4b
(* b (- (* c z) (* t i)))
49.8b
(fma (- i) t (* i t))

rewrite60.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*
4×expm1-log1p-u sub-neg associate-*r/ prod-diff log1p-expm1-u add-log-exp
2×flip3-- pow-prod-down prod-exp *-commutative flip-- cbrt-unprod fma-udef unswap-sqr
Counts
4 → 76
Calls
4 calls:
28.0ms
(* x (- (* y z) (* t a)))
0.0ms
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* t i))) (* b (fma (- i) t (* i t))))))
29.0ms
(* b (- (* c z) (* t i)))
0.0ms
(fma (- i) t (* i t))

series3.6s

Counts
4 → 12
Calls
4 calls:
81.0ms
(* x (- (* y z) (* t a)))
3.4s
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* t i))) (* b (fma (- i) t (* i t))))))
77.0ms
(* b (- (* c z) (* t i)))
27.0ms
(fma (- i) t (* i t))

simplify55.0ms

Algorithm
egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 1 (13.0ms)

IterNodesCost
0363664
11467577
25001577

prune497.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 5.2b

localize34.0ms

Local error

Found 4 expressions with local error:

5.3b
(fma (- (* c a) (* y i)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (+ (* b (- (* c z) (* t i))) (* b (fma (- i) t (* i t))))))
5.4b
(* b (- (* c z) (* t i)))
49.8b
(fma (- i) t (* i t))
51.4b
(fma (- a) t (* a t))

rewrite34.0ms

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

series6.4s

Counts
4 → 12
Calls
4 calls:
6.3s
(fma (- (* c a) (* y i)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (+ (* b (- (* c z) (* t i))) (* b (fma (- i) t (* i t))))))
79.0ms
(* b (- (* c z) (* t i)))
27.0ms
(fma (- i) t (* i t))
28.0ms
(fma (- a) t (* a t))

simplify137.0ms

Algorithm
egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0252590
1941506
24123505
35001505

prune473.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 5.2b

localize34.0ms

Local error

Found 4 expressions with local error:

5.4b
(* b (- (* c z) (* t i)))
5.7b
(* (- (* c a) (* y i)) j)
49.8b
(fma (- i) t (* i t))
51.4b
(fma (- a) t (* a t))

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

series212.0ms

Counts
4 → 12
Calls
4 calls:
83.0ms
(* b (- (* c z) (* t i)))
68.0ms
(* (- (* c a) (* y i)) j)
27.0ms
(fma (- i) t (* i t))
34.0ms
(fma (- a) t (* a t))

simplify47.0ms

Algorithm
egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0309432
11170376
25002376

prune471.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 4.2b

regimes1.1s

Accuracy

-0.9% (7.9b remaining)

Error of 12.3b against oracle of 4.4b and baseline of 12.2b

bsearch123.0ms

Steps
ItersRangePoint
9
-2.811058350590791e+141
-6.428928598381005e+133
-1.9856806424829803e+139

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04825
14825

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.1s19027×body80valid