Details

Time bar (total: 35.9s)

sample558.0ms

Algorithm
intervals
Results
364.0ms2263×body80valid

simplify54.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (51.0ms)

IterNodesCost
014547
139245
2193045
3500144

prune41.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 27.1b

localize63.0ms

Local error

Found 4 expressions with local error:

8.7b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.0b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.0b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.6b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

rewrite76.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:
17.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
21.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
17.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
17.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series652.0ms

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

simplify49.0ms

Algorithm
egg-herbie
Counts
148 → 148
Iterations

Useful iterations: 1 (29.0ms)

IterNodesCost
011781700
150021612

prune2.3s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 17.8b

localize72.0ms

Local error

Found 4 expressions with local error:

9.0b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.0b
(* (- (* x j) (* z k)) (fma y0 b (- (* i y1))))
9.6b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
47.2b
(fma (- i) y1 (* i y1))

rewrite52.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:
17.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.0ms
(* (- (* x j) (* z k)) (fma y0 b (- (* i y1))))
17.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
0.0ms
(fma (- i) y1 (* i y1))

series539.0ms

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

simplify100.0ms

Algorithm
egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 1 (20.0ms)

IterNodesCost
07831161
135481063
250011063

prune2.1s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 17.8b

localize79.0ms

Local error

Found 4 expressions with local error:

9.6b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.6b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.6b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
47.2b
(fma (- i) y1 (* i y1))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
18×flip3-- flip--
16×add-sqr-sqrt
12×frac-times
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 associate-*l/
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×fma-udef
Counts
4 → 112
Calls
4 calls:
17.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
22.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
17.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
0.0ms
(fma (- i) y1 (* i y1))

series535.0ms

Counts
4 → 12
Calls
4 calls:
169.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
170.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
170.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
26.0ms
(fma (- i) y1 (* i y1))

simplify59.0ms

Algorithm
egg-herbie
Counts
124 → 124
Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
03291325
114791228
250021228

prune2.3s

Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 17.8b

localize77.0ms

Local error

Found 4 expressions with local error:

8.7b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.0b
(* (- (* x j) (* z k)) (fma y0 b (- (* i y1))))
9.6b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
47.2b
(fma (- i) y1 (* i y1))

rewrite52.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:
17.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.0ms
(* (- (* x j) (* z k)) (fma y0 b (- (* i y1))))
17.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
0.0ms
(fma (- i) y1 (* i y1))

series542.0ms

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

simplify99.0ms

Algorithm
egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 1 (20.0ms)

IterNodesCost
07791161
135361063
250011063

prune1.7s

Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 17.8b

regimes5.8s

Accuracy

-18.5% (10.8b remaining)

Error of 28.8b against oracle of 18.0b and baseline of 27.1b

bsearch820.0ms

Steps
ItersRangePoint
7
3.5605674477875385e-136
4.147480515308056e-134
1.4370545924555493e-134
4
-4.9397274177493126e-144
-2.470504077730983e-144
-4.059251109457473e-144

simplify4.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0168166
1172166
2172166

end0.0ms

sample17.1s

Algorithm
intervals
Results
11.6s72536×body80valid