Details

Time bar (total: 1.4m)

sample1.5s

Algorithm
intervals
Results
1.0s2201×body80valid

simplify1.4s

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
06395
113295
235095
3172595
done500095

prune25.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.0b

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

rewrite274.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:
71.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
51.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
85.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
59.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series838.0ms

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

simplify1.8s

Counts
132 → 132
Iterations

Useful iterations: 2 (550.0ms)

IterNodesCost
03433300
110833224
249652980
done50012980

prune2.5s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 19.6b

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

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

series805.0ms

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

simplify2.0s

Counts
132 → 132
Iterations

Useful iterations: 2 (675.0ms)

IterNodesCost
03433300
110833224
249652980
done50012980

prune2.8s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 19.6b

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

rewrite80.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)))
7.0ms
(cbrt (- (* y4 y1) (* y5 y0)))
60.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series746.0ms

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

simplify1.1s

Counts
81 → 81
Iterations

Useful iterations: done (1.0s)

IterNodesCost
01571611
14591565
217571454
done50001436

prune2.0s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 19.6b

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

rewrite239.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:
58.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
48.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
48.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
78.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series889.0ms

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

simplify1.4s

Counts
132 → 132
Iterations

Useful iterations: 2 (328.0ms)

IterNodesCost
01773300
15613224
225382972
done50002972

prune2.4s

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 19.6b

regimes7.8s

Accuracy

-11.3% (9.7b remaining)

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

bsearch1.8s

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

simplify32.0ms

Iterations

Useful iterations: done (32.0ms)

IterNodesCost
093322
1141322
done141320

end0.0ms

sample48.8s

Algorithm
intervals
Results
36.9s73026×body80valid