Details

Time bar (total: 1.4m)

sample1.8s

Algorithm
intervals
Results
1.4s2201×body80valid

simplify1.3s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
06395
113295
235095
3172595
done500095

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.0b

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

rewrite330.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:
103.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
56.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
66.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
96.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series1.0s

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

simplify2.4s

Counts
132 → 132
Iterations

Useful iterations: 2 (756.0ms)

IterNodesCost
03433300
110833224
249652980
done50012980

prune2.8s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 19.6b

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

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

series1.0s

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

simplify2.4s

Counts
132 → 132
Iterations

Useful iterations: 2 (737.0ms)

IterNodesCost
03433300
110833224
249652980
done50012980

prune2.8s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 19.6b

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

rewrite78.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:
6.0ms
(cbrt (- (* y4 y1) (* y5 y0)))
6.0ms
(cbrt (- (* y4 y1) (* y5 y0)))
6.0ms
(cbrt (- (* y4 y1) (* y5 y0)))
58.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series748.0ms

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

simplify927.0ms

Counts
81 → 81
Iterations

Useful iterations: done (923.0ms)

IterNodesCost
01571611
14591565
217571454
done50001436

prune2.2s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 19.6b

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

rewrite349.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:
88.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
96.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
69.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
87.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series1.1s

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

simplify2.1s

Counts
132 → 132
Iterations

Useful iterations: 2 (366.0ms)

IterNodesCost
01773300
15613224
225382972
done50002972

prune3.1s

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

bsearch1.7s

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

sample48.4s

Algorithm
intervals
Results
36.3s73026×body80valid