Details

Time bar (total: 1.5m)

sample1.5s

Algorithm
intervals
Results
1.1s2333×body80valid

simplify1.0s

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
06395
113295
235095
3173795
done500095

prune29.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.8b

localize148.0ms

Local error

Found 4 expressions with local error:

7.7b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.4b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.7b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
12.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

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

series881.0ms

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

simplify571.0ms

Counts
132 → 132
Iterations

Useful iterations: done (567.0ms)

IterNodesCost
03423300
111173224
done50012988

prune3.1s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 17.7b

localize180.0ms

Local error

Found 4 expressions with local error:

7.5b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
7.7b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.7b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
12.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

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

series944.0ms

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

simplify442.0ms

Counts
132 → 132
Iterations

Useful iterations: done (436.0ms)

IterNodesCost
03423300
111123224
done50002988

prune4.2s

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 16.4b

localize135.0ms

Local error

Found 4 expressions with local error:

9.7b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
12.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
12.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
12.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

rewrite202.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 y2) (* z y3)) (- (* y0 c) (* y1 a)))
48.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
50.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
51.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series1.0s

Counts
4 → 12
Calls
4 calls:
279.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
269.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
257.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
225.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

simplify1.7s

Counts
132 → 132
Iterations

Useful iterations: done (1.7s)

IterNodesCost
01773300
15753224
228552990
done50002984

prune4.4s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 16.4b

localize220.0ms

Local error

Found 4 expressions with local error:

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

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

series996.0ms

Counts
4 → 12
Calls
4 calls:
215.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
255.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
268.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
257.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

simplify2.1s

Counts
132 → 132
Iterations

Useful iterations: done (2.1s)

IterNodesCost
02623300
18543224
242632992
done50002984

prune3.7s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 16.4b

regimes14.8s

Accuracy

-13.7% (12.2b remaining)

Error of 28.6b against oracle of 16.4b and baseline of 27.2b

bsearch3.8s

Steps
ItersRangePoint
2
4.805617596475237e-78
5.617977083082907e-78
4.907162532301196e-78
9
7.2261022758504e-153
1.6773558536884623e-144
3.9275813512297004e-146
9
-3.468936945355456e-297
-2.7259720826145726e-304
-1.2874462310219784e-299
8
-2.7787001399141136e-196
-4.009174535212066e-199
-6.2121045131524805e-199

simplify33.0ms

Iterations

Useful iterations: 1 (15.0ms)

IterNodesCost
0129574
1199573
2206573
done206573

end0.0ms

sample45.3s

Algorithm
intervals
Results
33.6s71573×body80valid