Details

Time bar (total: 3.0m)

sample2.0s

Algorithm
intervals
Results
1.4s2247×body80valid

simplify1.4s

Counts
1 → 1
Iterations
IterNodes
done2015
42015
31883
2391
1145
063

prune54.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.8b

localize146.0ms

Local error

Found 4 expressions with local error:

5.6b
(fma (- (* b y4) (* y5 i)) (- (* t j) (* k y)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
8.2b
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))
8.3b
(* (- (* a b) (* c i)) (- (* x y) (* z t)))
9.0b
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))

rewrite140.0ms

Algorithm
rewrite-expression-head
Rules
18×flip3-- flip--
16×add-sqr-sqrt
12×frac-times
10×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
9×distribute-rgt-in distribute-lft-in associate-*r* associate-*l*
6×sub-neg prod-diff associate-*l/ associate-*r/
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×fma-udef
Counts
4 → 116
Calls
4 calls:
0.0ms
(fma (- (* b y4) (* y5 i)) (- (* t j) (* k y)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
46.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))
47.0ms
(* (- (* a b) (* c i)) (- (* x y) (* z t)))
46.0ms
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))

series1.6m

Counts
4 → 12
Calls
4 calls:
1.6m
(fma (- (* b y4) (* y5 i)) (- (* t j) (* k y)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
233.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))
248.0ms
(* (- (* a b) (* c i)) (- (* x y) (* z t)))
207.0ms
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))

simplify905.0ms

Counts
128 → 128
Iterations
IterNodes
done2000
22000
1971
0319

prune5.0s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 15.3b

localize150.0ms

Local error

Found 4 expressions with local error:

6.2b
(cbrt (- (* c y4) (* a y5)))
6.2b
(cbrt (- (* c y4) (* a y5)))
8.3b
(* (- (* a b) (* c i)) (- (* x y) (* z t)))
9.0b
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))

rewrite103.0ms

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

series571.0ms

Counts
4 → 12
Calls
4 calls:
115.0ms
(cbrt (- (* c y4) (* a y5)))
114.0ms
(cbrt (- (* c y4) (* a y5)))
173.0ms
(* (- (* a b) (* c i)) (- (* x y) (* z t)))
169.0ms
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))

simplify703.0ms

Counts
114 → 114
Iterations
IterNodes
done2000
22000
1801
0270

prune4.9s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 15.0b

localize154.0ms

Local error

Found 4 expressions with local error:

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

rewrite176.0ms

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

series682.0ms

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

simplify685.0ms

Counts
152 → 152
Iterations
IterNodes
done2004
22004
1923
0297

prune6.8s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 15.0b

localize174.0ms

Local error

Found 4 expressions with local error:

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

rewrite176.0ms

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

series681.0ms

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

simplify685.0ms

Counts
152 → 152
Iterations
IterNodes
done2004
22004
1923
0297

prune7.1s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 15.0b

regimes6.6s

Accuracy

-21.3% (9.0b remaining)

Error of 27.3b against oracle of 18.4b and baseline of 25.8b

bsearch2.0s

Steps
ItersRangePoint
10
3.1842514578031344e-264
2.1323921020496252e-253
5.240660058843463e-262
7
-1.5892219948646892e+169
-8.571932490320765e+167
-1.723146466331211e+168

simplify43.0ms

Iterations
IterNodes
done132
1132
094

end0.0ms

sample41.7s

Algorithm
intervals
Results
35.6s72972×body80valid