Details

Time bar (total: 1.5m)

sample1.1s

Algorithm
intervals
Results
782.0ms2178×body80valid

simplify1.1s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
06395
113295
235095
3172595
done500095

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.6b

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

rewrite215.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)))
51.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
50.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
61.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series893.0ms

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

simplify2.4s

Counts
132 → 132
Iterations

Useful iterations: 2 (916.0ms)

IterNodesCost
03413300
110793224
249632984
done50012984

prune2.8s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 21.0b

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

rewrite270.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:
68.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
61.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
63.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
72.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series909.0ms

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

simplify2.2s

Counts
132 → 132
Iterations

Useful iterations: 2 (663.0ms)

IterNodesCost
03423300
110773224
249522984
done50002984

prune2.8s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 18.8b

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

series951.0ms

Counts
4 → 12
Calls
4 calls:
216.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
238.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
255.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
241.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

simplify1.4s

Counts
132 → 132
Iterations

Useful iterations: 2 (351.0ms)

IterNodesCost
01773300
15593224
225322984
done50012984

prune3.0s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 18.8b

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

rewrite257.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:
61.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
66.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
65.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
60.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series947.0ms

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

simplify1.9s

Counts
132 → 132
Iterations

Useful iterations: 2 (441.0ms)

IterNodesCost
02583300
18163224
237462984
done50012984

prune2.8s

Pruning

23 alts after pruning (22 fresh and 1 done)

Merged error: 18.8b

regimes8.6s

Accuracy

-17.3% (12.3b remaining)

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

bsearch2.8s

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

simplify33.0ms

Iterations

Useful iterations: done (33.0ms)

IterNodesCost
0103360
1158360
done158358

end0.0ms

sample50.5s

Algorithm
intervals
Results
38.5s72249×body80valid