Details

Time bar (total: 1.4m)

sample1.6s

Algorithm
intervals
Results
1.2s2201×body80valid

simplify1.2s

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
06395
113295
235095
3172595
done500095

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.0b

localize85.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)))

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

series984.0ms

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

simplify2.2s

Counts
132 → 132
Iterations

Useful iterations: 2 (676.0ms)

IterNodesCost
03433300
110833224
249652980
done50012980

prune2.9s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 19.6b

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

series920.0ms

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

simplify2.1s

Counts
132 → 132
Iterations

Useful iterations: 2 (605.0ms)

IterNodesCost
03433300
110833224
249652980
done50012980

prune2.7s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 19.6b

localize149.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)))

rewrite98.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:
7.0ms
(cbrt (- (* y4 y1) (* y5 y0)))
8.0ms
(cbrt (- (* y4 y1) (* y5 y0)))
9.0ms
(cbrt (- (* y4 y1) (* y5 y0)))
72.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series658.0ms

Counts
4 → 12
Calls
4 calls:
156.0ms
(cbrt (- (* y4 y1) (* y5 y0)))
145.0ms
(cbrt (- (* y4 y1) (* y5 y0)))
156.0ms
(cbrt (- (* y4 y1) (* y5 y0)))
202.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify921.0ms

Counts
81 → 81
Iterations

Useful iterations: done (918.0ms)

IterNodesCost
01571611
14591565
217571454
done50001436

prune2.1s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 19.6b

localize149.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)))

rewrite675.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:
83.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
76.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
78.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
432.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series892.0ms

Counts
4 → 12
Calls
4 calls:
242.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
192.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
232.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
226.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

simplify1.5s

Counts
132 → 132
Iterations

Useful iterations: 2 (361.0ms)

IterNodesCost
01773300
15613224
225382972
done50002972

prune2.8s

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 19.6b

regimes7.1s

Accuracy

-11.3% (9.7b remaining)

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

bsearch2.6s

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

simplify29.0ms

Iterations

Useful iterations: done (29.0ms)

IterNodesCost
093322
1141322
done141320

end0.0ms

sample51.7s

Algorithm
intervals
Results
38.5s73026×body80valid