Details

Time bar (total: 1.4m)

sample1.6s

Algorithm
intervals
Results
1.2s2201×body80valid

simplify1.0s

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
06395
113295
235095
3172595
done500095

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.0b

localize125.0ms

Local error

Found 4 expressions with local error:

8.8b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.1b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.8b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
11.8b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite294.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:
82.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
71.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
65.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
69.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series919.0ms

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

simplify1.9s

Counts
132 → 132
Iterations

Useful iterations: 2 (532.0ms)

IterNodesCost
03433300
110833224
249652980
done50012980

prune2.7s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 19.6b

localize125.0ms

Local error

Found 4 expressions with local error:

8.8b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.1b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.8b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
11.8b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite237.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:
56.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
51.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
53.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
74.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series891.0ms

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

simplify2.4s

Counts
132 → 132
Iterations

Useful iterations: 2 (739.0ms)

IterNodesCost
03433300
110833224
249652980
done50012980

prune2.7s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 19.6b

localize108.0ms

Local error

Found 4 expressions with local error:

9.4b
(cbrt (- (* y4 y1) (* y5 y0)))
9.4b
(cbrt (- (* y4 y1) (* y5 y0)))
9.4b
(cbrt (- (* y4 y1) (* y5 y0)))
10.8b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
9×cbrt-prod add-cube-cbrt flip3-- *-un-lft-identity flip--
6×pow1 add-exp-log cbrt-div add-cbrt-cube
4×frac-times add-log-exp
3×pow1/3 associate-*r* associate-*l*
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ associate-*l/
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 69
Calls
4 calls:
10.0ms
(cbrt (- (* y4 y1) (* y5 y0)))
11.0ms
(cbrt (- (* y4 y1) (* y5 y0)))
10.0ms
(cbrt (- (* y4 y1) (* y5 y0)))
56.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series657.0ms

Counts
4 → 12
Calls
4 calls:
176.0ms
(cbrt (- (* y4 y1) (* y5 y0)))
160.0ms
(cbrt (- (* y4 y1) (* y5 y0)))
126.0ms
(cbrt (- (* y4 y1) (* y5 y0)))
194.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify871.0ms

Counts
81 → 81
Iterations

Useful iterations: done (867.0ms)

IterNodesCost
01571611
14591565
217571454
done50001436

prune2.0s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 19.6b

localize135.0ms

Local error

Found 4 expressions with local error:

10.8b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
11.8b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
11.8b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
11.8b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite305.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:
82.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
81.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
78.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
57.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series947.0ms

Counts
4 → 12
Calls
4 calls:
255.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
238.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
247.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
208.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

simplify1.4s

Counts
132 → 132
Iterations

Useful iterations: 2 (331.0ms)

IterNodesCost
01773300
15613224
225382972
done50002972

prune2.5s

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 19.6b

regimes7.0s

Accuracy

-11.3% (9.7b remaining)

Error of 27.7b against oracle of 18.0b and baseline of 26.7b

bsearch1.9s

Steps
ItersRangePoint
8
4.901269685561397e-168
2.557414450669078e-165
7.665419953743729e-168
5
-6.0043519518664475e+57
-2.822139996035947e+57
-3.06813691359369e+57

simplify14.0ms

Iterations

Useful iterations: done (14.0ms)

IterNodesCost
093322
1141322
done141320

end0.0ms

sample52.6s

Algorithm
intervals
Results
39.8s73026×body80valid