Details

Time bar (total: 37.5s)

sample596.0ms

Algorithm
intervals
Results
385.0ms2314×body80valid

simplify50.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (48.0ms)

IterNodesCost
014547
139245
2193045
3500144

prune37.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 27.8b

localize60.0ms

Local error

Found 4 expressions with local error:

9.1b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.4b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.7b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.5b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 add-exp-log distribute-rgt-in add-cube-cbrt *-un-lft-identity distribute-lft-in associate-*r* associate-*l* add-cbrt-cube
8×sub-neg associate-*r/ prod-diff associate-*l/
4×expm1-log1p-u pow-prod-down prod-exp *-commutative cbrt-unprod log1p-expm1-u add-log-exp unswap-sqr
Counts
4 → 136
Calls
4 calls:
9.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
16.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series741.0ms

Counts
4 → 12
Calls
4 calls:
166.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
167.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
208.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
200.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify45.0ms

Algorithm
egg-herbie
Counts
148 → 148
Iterations

Useful iterations: 1 (29.0ms)

IterNodesCost
011761700
150021612

prune2.3s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 19.6b

localize74.0ms

Local error

Found 4 expressions with local error:

9.4b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.7b
(* (- (* t j) (* y k)) (fma y4 b (- (* i y5))))
10.5b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
48.8b
(fma (- i) y5 (* i y5))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
13×flip3-- flip--
10×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
9×associate-*r* associate-*l*
8×frac-times
7×distribute-rgt-in distribute-lft-in
6×associate-*l/
4×expm1-log1p-u sub-neg associate-*r/ prod-diff log1p-expm1-u add-log-exp
3×pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef unswap-sqr
Counts
4 → 102
Calls
4 calls:
9.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
6.0ms
(* (- (* t j) (* y k)) (fma y4 b (- (* i y5))))
10.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
1.0ms
(fma (- i) y5 (* i y5))

series523.0ms

Counts
4 → 12
Calls
4 calls:
163.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
170.0ms
(* (- (* t j) (* y k)) (fma y4 b (- (* i y5))))
164.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
25.0ms
(fma (- i) y5 (* i y5))

simplify95.0ms

Algorithm
egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 1 (19.0ms)

IterNodesCost
07881161
135401063
250011063

prune1.8s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 19.6b

localize77.0ms

Local error

Found 4 expressions with local error:

9.1b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.7b
(* (- (* t j) (* y k)) (fma y4 b (- (* i y5))))
10.5b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
48.8b
(fma (- i) y5 (* i y5))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
13×flip3-- flip--
10×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
9×associate-*r* associate-*l*
8×frac-times
7×distribute-rgt-in distribute-lft-in
6×associate-*l/
4×expm1-log1p-u sub-neg associate-*r/ prod-diff log1p-expm1-u add-log-exp
3×pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef unswap-sqr
Counts
4 → 102
Calls
4 calls:
9.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
6.0ms
(* (- (* t j) (* y k)) (fma y4 b (- (* i y5))))
9.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
1.0ms
(fma (- i) y5 (* i y5))

series567.0ms

Counts
4 → 12
Calls
4 calls:
162.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
166.0ms
(* (- (* t j) (* y k)) (fma y4 b (- (* i y5))))
208.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
31.0ms
(fma (- i) y5 (* i y5))

simplify96.0ms

Algorithm
egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 1 (19.0ms)

IterNodesCost
07881161
135561063
250011063

prune2.1s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 19.6b

localize78.0ms

Local error

Found 4 expressions with local error:

9.1b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.4b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.7b
(* (- (* t j) (* y k)) (fma y4 b (- (* i y5))))
48.8b
(fma (- i) y5 (* i y5))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
13×flip3-- flip--
10×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
9×associate-*r* associate-*l*
8×frac-times
7×distribute-rgt-in distribute-lft-in
6×associate-*l/
4×expm1-log1p-u sub-neg associate-*r/ prod-diff log1p-expm1-u add-log-exp
3×pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef unswap-sqr
Counts
4 → 102
Calls
4 calls:
9.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
6.0ms
(* (- (* t j) (* y k)) (fma y4 b (- (* i y5))))
1.0ms
(fma (- i) y5 (* i y5))

series544.0ms

Counts
4 → 12
Calls
4 calls:
170.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
172.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
170.0ms
(* (- (* t j) (* y k)) (fma y4 b (- (* i y5))))
31.0ms
(fma (- i) y5 (* i y5))

simplify98.0ms

Algorithm
egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 1 (20.0ms)

IterNodesCost
07841161
135391063
250021063

prune1.7s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 19.6b

regimes6.0s

Accuracy

-10.1% (9.6b remaining)

Error of 27.9b against oracle of 18.2b and baseline of 27.0b

bsearch2.0s

Steps
ItersRangePoint
8
4.23065126750517e-56
4.110123350887248e-53
5.575436633891301e-56
9
-8.633266333291564e-189
-2.5787276473328836e-195
-4.7881710095145676e-189
7
-1.4616751093643478e-180
-4.7166662906653244e-182
-5.357462163371982e-182
6
-3.564264563044651e-114
-3.6023497942448397e-115
-1.9305679930456847e-114

simplify5.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0205264
1214264
2214264

end0.0ms

sample17.8s

Algorithm
intervals
Results
12.0s72026×body80valid