Details

Time bar (total: 41.2s)

sample705.0ms

Algorithm
intervals
Results
412.0ms2497×body80valid

simplify45.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
013247
135047
2175847
3500147

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 24.1b

localize65.0ms

Local error

Found 4 expressions with local error:

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

rewrite210.0ms

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

series632.0ms

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

simplify41.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
010761572
150021484

prune1.8s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 14.5b

localize73.0ms

Local error

Found 4 expressions with local error:

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

rewrite205.0ms

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

series669.0ms

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

simplify39.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
010811572
150011484

prune2.0s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 11.7b

localize75.0ms

Local error

Found 4 expressions with local error:

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

rewrite207.0ms

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

series596.0ms

Counts
4 → 12
Calls
4 calls:
153.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
145.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
148.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
150.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

simplify111.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (21.0ms)

IterNodesCost
08221572
140251452
250021452

prune2.0s

Pruning

24 alts after pruning (23 fresh and 1 done)

Merged error: 11.7b

localize72.0ms

Local error

Found 4 expressions with local error:

7.3b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
7.4b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.3b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.3b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

rewrite214.0ms

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

series607.0ms

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

simplify45.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
010781572
150011484

prune1.9s

Pruning

23 alts after pruning (22 fresh and 1 done)

Merged error: 11.7b

regimes6.2s

Accuracy

-29.1% (14.3b remaining)

Error of 30.5b against oracle of 16.2b and baseline of 27.3b

bsearch2.4s

Steps
ItersRangePoint
8
649959.3503906945
5592525764.563283
5263799395.730298
8
1.856528470765322e-265
5.5769332807594125e-261
4.750229094754944e-261
9
-1.1938953408307628e-216
-5.236710980767138e-222
-5.48431701290346e-221
7
-1.2347982565013355e-55
-9.110020750585367e-58
-2.707772675645236e-57
4
-2.781338203342436e+58
-1.7652795235201636e+58
-1.792804833683551e+58

simplify5.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0182273
1188273
2188273

end0.0ms

sample20.2s

Algorithm
intervals
Results
12.3s73386×body80valid