Details

Time bar (total: 1.5m)

sample2.1s

Algorithm
intervals
Results
1.2s2178×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.6b

localize133.0ms

Local error

Found 4 expressions with local error:

9.6b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.6b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.2b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

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

series994.0ms

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

simplify2.4s

Counts
132 → 132
Iterations

Useful iterations: 2 (753.0ms)

IterNodesCost
03413300
110793224
249632984
done50012984

prune2.8s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 21.0b

localize155.0ms

Local error

Found 4 expressions with local error:

9.4b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.6b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.6b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

rewrite279.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)))
56.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
61.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
72.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series977.0ms

Counts
4 → 12
Calls
4 calls:
216.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
236.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
269.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
256.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

simplify2.1s

Counts
132 → 132
Iterations

Useful iterations: 2 (675.0ms)

IterNodesCost
03423300
110773224
249522984
done50002984

prune3.0s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 18.8b

localize148.0ms

Local error

Found 4 expressions with local error:

10.2b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

rewrite268.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:
64.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
68.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
64.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
67.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series994.0ms

Counts
4 → 12
Calls
4 calls:
235.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
272.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
248.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
240.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

simplify1.3s

Counts
132 → 132
Iterations

Useful iterations: 2 (386.0ms)

IterNodesCost
01773300
15593224
225322984
done50012984

prune3.0s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 18.8b

localize172.0ms

Local error

Found 4 expressions with local error:

9.6b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.2b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

rewrite342.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:
90.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
89.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
79.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
75.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series1.0s

Counts
4 → 12
Calls
4 calls:
249.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
261.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
270.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
235.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

simplify2.2s

Counts
132 → 132
Iterations

Useful iterations: 2 (573.0ms)

IterNodesCost
02583300
18163224
237462984
done50012984

prune3.0s

Pruning

23 alts after pruning (22 fresh and 1 done)

Merged error: 18.8b

regimes10.8s

Accuracy

-17.3% (12.3b remaining)

Error of 29.0b against oracle of 16.6b and baseline of 27.1b

bsearch2.3s

Steps
ItersRangePoint
9
1.3500405738899532e-180
4.481080482880249e-171
2.024773376015833e-180
7
-0.00012044504487467389
-5.609781529710641e-06
-8.716495062710197e-05

simplify35.0ms

Iterations

Useful iterations: done (34.0ms)

IterNodesCost
0103360
1158360
done158358

end0.0ms

sample50.1s

Algorithm
intervals
Results
36.6s72249×body80valid