Details

Time bar (total: 2.0m)

sample1.6s

Algorithm
intervals
Results
1.4s2265×body80valid

simplify6.6s

Counts
1 → 1
Iterations
IterNodes
412421
31712
2349
1132
063

prune51.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 22.8b

localize173.0ms

Local error

Found 4 expressions with local error:

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

rewrite216.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 insert-posit16 add-log-exp unswap-sqr
Counts
4 → 124
Calls
4 calls:
54.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
57.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
46.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
58.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series815.0ms

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

simplify1.3s

Counts
136 → 136
Iterations
IterNodes
24799
11114
0344

prune6.9s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 14.1b

localize196.0ms

Local error

Found 4 expressions with local error:

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

rewrite236.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 insert-posit16 add-log-exp unswap-sqr
Counts
4 → 124
Calls
4 calls:
66.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
66.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
52.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
49.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series929.0ms

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

simplify1.5s

Counts
136 → 136
Iterations
IterNodes
24799
11114
0344

prune8.6s

Pruning

24 alts after pruning (23 fresh and 1 done)

Merged error: 14.1b

localize223.0ms

Local error

Found 4 expressions with local error:

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

rewrite271.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 insert-posit16 add-log-exp unswap-sqr
Counts
4 → 124
Calls
4 calls:
80.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
55.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
53.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
81.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series1.0s

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

simplify1.7s

Counts
136 → 136
Iterations
IterNodes
24804
11115
0344

prune9.0s

Pruning

28 alts after pruning (27 fresh and 1 done)

Merged error: 12.6b

localize230.0ms

Local error

Found 4 expressions with local error:

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

rewrite133.0ms

Algorithm
rewrite-expression-head
Rules
19×flip3-- flip--
17×add-sqr-sqrt
12×frac-times
11×*-un-lft-identity add-cube-cbrt
10×pow1 add-cbrt-cube add-exp-log
9×associate-*r* associate-*l*
6×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×insert-posit16 add-log-exp
3×cbrt-prod pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
2×cbrt-div
1×pow1/3
Counts
4 → 107
Calls
4 calls:
5.0ms
(cbrt (- (* t y2) (* y y3)))
41.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
41.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
44.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series809.0ms

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

simplify1.3s

Counts
119 → 119
Iterations
IterNodes
24132
11019
0328

prune7.3s

Pruning

27 alts after pruning (26 fresh and 1 done)

Merged error: 12.6b

regimes13.1s

Accuracy

-7.7% (10.4b remaining)

Error of 26.2b against oracle of 15.8b and baseline of 25.4b

bsearch2.8s

Steps
ItersRangePoint
6
2.2977332475272887e-144
3.473626719435876e-143
1.0030947182803238e-143
9
-1.0493284471021223e-157
-1.5405117151534853e-162
-8.551998012102175e-158

simplify76.0ms

Iterations
IterNodes
2157
1157
0100

end0.0ms

sample50.9s

Algorithm
intervals
Results
43.7s72475×body80valid