Details

Time bar (total: 18.1s)

sample157.0ms

Algorithm
intervals
Results
119.0ms585×body80valid

simplify93.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
04714
111013
233513
3105913
4344213
5500113

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.5b

localize22.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (* y z) (* t a))
5.3b
(* b (- (* c z) (* i a)))
5.5b
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))))
6.5b
(* x (- (* y z) (* t a)))

rewrite26.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))
10.0ms
(* b (- (* c z) (* i a)))
0.0ms
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))))
10.0ms
(* x (- (* y z) (* t a)))

series791.0ms

Counts
4 → 12
Calls
4 calls:
38.0ms
(- (* y z) (* t a))
74.0ms
(* b (- (* c z) (* i a)))
603.0ms
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))))
76.0ms
(* x (- (* y z) (* t a)))

simplify48.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0373645
11485568
25001568

prune460.0ms

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 6.0b

localize35.0ms

Local error

Found 4 expressions with local error:

5.3b
(* b (- (* c z) (* i a)))
5.5b
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* i a))) (* b (fma (- a) i (* a i))))))
6.5b
(* x (- (* y z) (* t a)))
50.5b
(fma (- a) i (* a i))

rewrite23.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:
10.0ms
(* b (- (* c z) (* i a)))
0.0ms
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* i a))) (* b (fma (- a) i (* a i))))))
10.0ms
(* x (- (* y z) (* t a)))
0.0ms
(fma (- a) i (* a i))

series4.1s

Counts
4 → 12
Calls
4 calls:
76.0ms
(* b (- (* c z) (* i a)))
3.9s
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* i a))) (* b (fma (- a) i (* a i))))))
76.0ms
(* x (- (* y z) (* t a)))
29.0ms
(fma (- a) i (* a i))

simplify54.0ms

Algorithm
egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 1 (13.0ms)

IterNodesCost
0360664
11457577
25002577

prune469.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 6.0b

localize34.0ms

Local error

Found 4 expressions with local error:

5.3b
(* b (- (* c z) (* i a)))
6.4b
(* (- (* c t) (* i y)) j)
6.5b
(* x (- (* y z) (* t a)))
50.5b
(fma (- a) i (* a i))

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

series238.0ms

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

simplify61.0ms

Algorithm
egg-herbie
Counts
100 → 100
Iterations

Useful iterations: 1 (14.0ms)

IterNodesCost
0434566
11738496
25002496

prune535.0ms

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 5.1b

localize33.0ms

Local error

Found 4 expressions with local error:

3.3b
(* (cbrt b) (- (* c z) (* i a)))
5.5b
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* (* (cbrt b) (cbrt b)) (* (cbrt b) (- (* c z) (* i a)))) (* b (fma (- a) i (* a i))))))
6.5b
(* x (- (* y z) (* t a)))
50.5b
(fma (- a) i (* a i))

rewrite25.0ms

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

series4.1s

Counts
4 → 12
Calls
4 calls:
305.0ms
(* (cbrt b) (- (* c z) (* i a)))
3.7s
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* (* (cbrt b) (cbrt b)) (* (cbrt b) (- (* c z) (* i a)))) (* b (fma (- a) i (* a i))))))
76.0ms
(* x (- (* y z) (* t a)))
32.0ms
(fma (- a) i (* a i))

simplify63.0ms

Algorithm
egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 2 (53.0ms)

IterNodesCost
0417794
11678704
25002702

prune524.0ms

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 5.1b

regimes1.1s

Accuracy

-11.1% (8.5b remaining)

Error of 12.9b against oracle of 4.3b and baseline of 12.0b

bsearch192.0ms

Steps
ItersRangePoint
6
6.311405478663834e-280
9.458174732060373e-279
6.446005518161324e-280
5
-8.0306081861804045e-289
-2.301512802600512e-289
-2.3603574852745576e-289

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
07853
18453
28553
38553

end0.0ms

sample4.9s

Algorithm
intervals
Results
3.9s19049×body80valid