Details

Time bar (total: 1.0m)

sample1.2s

Algorithm
intervals
Results
970.0ms2346×body80valid

simplify44.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
013247
135047
2175847
3500147

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.3b

localize64.0ms

Local error

Found 4 expressions with local error:

8.4b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.5b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.1b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.3b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

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

series715.0ms

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

simplify40.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
010761572
150021484

prune1.9s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 17.3b

localize72.0ms

Local error

Found 4 expressions with local error:

8.4b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.5b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.1b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.3b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

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

series711.0ms

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

simplify45.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
010761572
150021484

prune2.1s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 17.3b

localize70.0ms

Local error

Found 4 expressions with local error:

8.4b
(cbrt (- (* t y2) (* y y3)))
8.4b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.5b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.3b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
19×flip3-- flip--
17×add-sqr-sqrt
12×frac-times
11×add-cube-cbrt *-un-lft-identity
10×pow1 add-exp-log add-cbrt-cube
9×associate-*r* associate-*l*
6×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ associate-*l/
4×add-log-exp
3×cbrt-prod pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
2×cbrt-div
1×pow1/3
Counts
4 → 103
Calls
4 calls:
2.0ms
(cbrt (- (* t y2) (* y y3)))
18.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
18.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
18.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series673.0ms

Counts
4 → 12
Calls
4 calls:
124.0ms
(cbrt (- (* t y2) (* y y3)))
188.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
180.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
181.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

simplify116.0ms

Algorithm
egg-herbie
Counts
115 → 115
Iterations

Useful iterations: 2 (104.0ms)

IterNodesCost
09881323
144821224
250021218

prune1.9s

Pruning

22 alts after pruning (21 fresh and 1 done)

Merged error: 17.3b

localize73.0ms

Local error

Found 4 expressions with local error:

7.7b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
8.5b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.1b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.3b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

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

series719.0ms

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

simplify39.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (24.0ms)

IterNodesCost
010791572
150021484

prune1.8s

Pruning

28 alts after pruning (27 fresh and 1 done)

Merged error: 13.6b

regimes8.4s

Accuracy

-22.8% (14.4b remaining)

Error of 29.7b against oracle of 15.3b and baseline of 27.0b

bsearch6.8s

Steps
ItersRangePoint
7
1.1375005179552299e+132
8.88131992120504e+133
1.1381126311099508e+133
11
4.114244499577038e+68
2.7209634263505e+91
1.1776873781911673e+86
7
3.942908234030652e-63
3.728651840168466e-61
4.039609163513908e-62
7
4.3907384329120433e-243
3.633367953964638e-241
4.187276528621237e-242
8
2.3407150157956997e-263
4.893888859085004e-259
8.535271467600823e-262
8
-3.383503931971068e-263
-2.1219253724164377e-266
-1.6540595938942003e-263
7
-4.953160375960076e-224
-1.9437720854159815e-226
-4.81816913385106e-224
10
-7.234538385022546e-138
-7.226563752394221e-148
-6.613665507528799e-142

simplify6.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0249427
1259427
2259427

end0.0ms

sample34.9s

Algorithm
intervals
Results
29.4s71251×body80valid