Details

Time bar (total: 2.0m)

sample2.0s

Algorithm
intervals
Results
1.7s2340×body80valid

simplify7.7s

Counts
1 → 1
Iterations
IterNodes
412421
31712
2349
1132
063

prune39.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.4b

localize210.0ms

Local error

Found 4 expressions with local error:

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

rewrite210.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
8×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
46.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
50.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
55.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
57.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series1.0s

Counts
4 → 12
Calls
4 calls:
266.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
249.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
239.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
260.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

simplify2.2s

Counts
132 → 132
Iterations
IterNodes
24794
11113
0342

prune8.0s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 17.7b

localize229.0ms

Local error

Found 4 expressions with local error:

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

rewrite210.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
8×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
42.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
49.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
45.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
72.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series993.0ms

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

simplify1.9s

Counts
132 → 132
Iterations
IterNodes
24898
11115
0341

prune8.8s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 15.2b

localize234.0ms

Local error

Found 4 expressions with local error:

9.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.9b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

rewrite204.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
8×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
44.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
55.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
56.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
47.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series1.1s

Counts
4 → 12
Calls
4 calls:
281.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
280.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
266.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
290.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

simplify918.0ms

Counts
132 → 132
Iterations
IterNodes
22452
1575
0176

prune8.6s

Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 15.2b

localize209.0ms

Local error

Found 4 expressions with local error:

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

rewrite195.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
8×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
37.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
35.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
50.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
71.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series1.1s

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

simplify1.6s

Counts
132 → 132
Iterations
IterNodes
24794
11113
0342

prune7.8s

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 15.2b

regimes10.3s

Accuracy

-17.1% (12.2b remaining)

Error of 27.8b against oracle of 15.6b and baseline of 26.0b

bsearch7.2s

Steps
ItersRangePoint
9
1.1862585610494148e+54
3.8511583894322137e+59
1.3561933432615603e+56
6
3.686535795653092e-71
2.1179136965977047e-70
4.308997712685301e-71
7
6.975962080049259e-203
1.8120992281804755e-201
9.717693116775471e-203
7
5.6513639605964166e-257
1.0524035422925908e-255
1.7112105416372722e-256
9
-9.338723594875758e+17
-8304142941.950866
-13614926747.548742

simplify81.0ms

Iterations
IterNodes
2220
1220
0141

end0.0ms

sample49.8s

Algorithm
intervals
Results
42.3s71694×body80valid