Details

Time bar (total: 1.3m)

sample1.7s

Algorithm
intervals
Results
1.3s2428×body80valid

simplify53.0ms

Counts
1 → 1

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.8b

localize128.0ms

Local error

Found 4 expressions with local error:

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

rewrite251.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:
55.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
54.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
66.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
71.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series934.0ms

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

simplify38.0ms

Counts
132 → 132

prune2.6s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 17.5b

localize149.0ms

Local error

Found 4 expressions with local error:

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

rewrite138.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt flip3-- flip--
10×add-cube-cbrt *-un-lft-identity
8×pow1 add-exp-log frac-times add-cbrt-cube
6×cbrt-prod associate-*r* associate-*l*
4×distribute-rgt-in sub-neg cbrt-div distribute-lft-in associate-*r/ associate-*l/ add-log-exp
2×pow1/3 pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 86
Calls
4 calls:
6.0ms
(cbrt (- (* y4 b) (* y5 i)))
8.0ms
(cbrt (- (* y4 b) (* y5 i)))
60.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
62.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series832.0ms

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

simplify81.0ms

Counts
98 → 98

prune2.4s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 17.5b

localize150.0ms

Local error

Found 4 expressions with local error:

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

rewrite306.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:
80.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
72.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
75.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
74.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series868.0ms

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

simplify81.0ms

Counts
132 → 132

prune3.2s

Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 17.5b

localize195.0ms

Local error

Found 4 expressions with local error:

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

rewrite171.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt flip3-- flip--
10×add-cube-cbrt *-un-lft-identity
8×pow1 add-exp-log frac-times add-cbrt-cube
6×cbrt-prod associate-*r* associate-*l*
4×distribute-rgt-in sub-neg cbrt-div distribute-lft-in associate-*r/ associate-*l/ add-log-exp
2×pow1/3 pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 86
Calls
4 calls:
9.0ms
(cbrt (- (* y4 b) (* y5 i)))
9.0ms
(cbrt (- (* y4 b) (* y5 i)))
75.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
73.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series751.0ms

Counts
4 → 12
Calls
4 calls:
179.0ms
(cbrt (- (* y4 b) (* y5 i)))
134.0ms
(cbrt (- (* y4 b) (* y5 i)))
189.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
248.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

simplify93.0ms

Counts
98 → 98

prune2.3s

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 17.5b

regimes7.2s

Accuracy

-24.7% (10.8b remaining)

Error of 29.3b against oracle of 18.5b and baseline of 27.2b

bsearch5.8s

Steps
ItersRangePoint
10
2.1221926642652015e+82
5.672347375501758e+93
3.1694950470597784e+88
8
8.793605217845948e-94
1.482090168964497e-89
1.3757303210309377e-90
9
4.605501749676625e-196
2.4547518842665457e-187
1.1832821462662406e-190
6
1.1214308960687983e-236
1.214791952199007e-235
3.047740069702155e-236
7
-1.3207075669848465e-260
-2.8050445125415386e-262
-1.2681134691464525e-260

simplify43.0ms

end0.0ms

sample47.5s

Algorithm
intervals
Results
36.6s72492×body80valid