Details

Time bar (total: 33.5s)

sample75.0ms

Algorithm
intervals
Results
13.0ms35×body2560valid
12.0ms188×body80valid
10.0ms28×body1280valid
5.0ms85×body80nan
3.0ms14×body640valid
2.0ms5×body5120valid
2.0ms10×body320valid
0.0ms4×body160valid

simplify350.0ms

Counts
1 → 1
Iterations
IterNodes
done102
7102
6101
599
491
377
243
125
014

prune32.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.3b

localize39.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) a)
0.8b
(- (* b b) (* (* 4.0 a) c))
1.6b
(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
21.2b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite330.0ms

Algorithm
rewrite-expression-head
Rules
51×add-sqr-sqrt
40×*-un-lft-identity
30×add-cube-cbrt
20×sqrt-prod
19×prod-diff
18×times-frac
10×difference-of-squares
8×add-log-exp
7×fma-neg
6×add-cbrt-cube add-exp-log associate-/l*
5×pow1 distribute-lft-out--
4×expm1-log1p-u flip3-- insert-posit16 log1p-expm1-u flip--
3×associate-/r*
2×sub-neg sqrt-div diff-log associate-/l/
1×cbrt-undiv rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 div-sub div-exp div-inv
Counts
4 → 122
Calls
4 calls:
166.0ms
(/ (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) a)
16.0ms
(- (* b b) (* (* 4.0 a) c))
111.0ms
(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
28.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series655.0ms

Counts
4 → 12
Calls
4 calls:
226.0ms
(/ (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) a)
112.0ms
(- (* b b) (* (* 4.0 a) c))
176.0ms
(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
140.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify3.3s

Counts
134 → 134
Iterations
IterNodes
done5002
21435
1510
0203

prune1.7s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 4.8b

localize57.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) (/ 1 a))
0.8b
(- (* b b) (* (* 4.0 a) c))
1.6b
(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
21.2b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite492.0ms

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt
32×*-un-lft-identity
27×add-cube-cbrt
19×prod-diff
17×sqrt-prod
13×associate-*r* add-exp-log
11×times-frac
9×add-cbrt-cube
8×add-log-exp
7×pow1 fma-neg
6×associate-*l*
5×flip3-- flip--
4×expm1-log1p-u prod-exp insert-posit16 log1p-expm1-u difference-of-squares
3×unswap-sqr
2×frac-times sub-neg sqrt-div diff-log div-exp associate-*l/ cbrt-unprod distribute-lft-out--
1×cbrt-undiv rem-sqrt-square rec-exp sqrt-pow1 pow1/2 1-exp pow-prod-down associate-*r/ un-div-inv *-commutative div-inv
Counts
4 → 123
Calls
4 calls:
341.0ms
(* (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) (/ 1 a))
21.0ms
(- (* b b) (* (* 4.0 a) c))
101.0ms
(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
15.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series653.0ms

Counts
4 → 12
Calls
4 calls:
202.0ms
(* (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) (/ 1 a))
81.0ms
(- (* b b) (* (* 4.0 a) c))
188.0ms
(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
183.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify3.9s

Counts
135 → 135
Iterations
IterNodes
done5001
21640
1575
0223

prune1.7s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 4.8b

localize92.0ms

Local error

Found 4 expressions with local error:

1.6b
(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
1.6b
(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
21.2b
(sqrt (- (* b b) (* (* 4.0 a) c)))
21.2b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite283.0ms

Algorithm
rewrite-expression-head
Rules
44×add-sqr-sqrt
38×*-un-lft-identity
36×prod-diff
34×add-cube-cbrt
32×sqrt-prod
12×fma-neg
8×add-log-exp
6×pow1
4×expm1-log1p-u flip3-- add-cbrt-cube sqrt-div add-exp-log insert-posit16 log1p-expm1-u flip-- difference-of-squares
2×rem-sqrt-square sub-neg sqrt-pow1 pow1/2 diff-log distribute-lft-out--
Counts
4 → 120
Calls
4 calls:
85.0ms
(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
132.0ms
(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
29.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
30.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series557.0ms

Counts
4 → 12
Calls
4 calls:
147.0ms
(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
149.0ms
(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
135.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
126.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify5.6s

Counts
132 → 132
Iterations
IterNodes
done5000
32876
2776
1295
0115

prune1.6s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 4.8b

localize102.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt a)
0.8b
(- (* b b) (* (* 4.0 a) c))
1.6b
(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
21.2b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite146.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
22×*-un-lft-identity
20×add-cube-cbrt
19×prod-diff
16×sqrt-prod
8×add-log-exp
7×fma-neg
5×pow1
4×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×cbrt-prod flip3-- flip--
2×sub-neg sqrt-div diff-log difference-of-squares
1×rem-sqrt-square sqrt-pow1 pow1/2 pow1/3 distribute-lft-out--
Counts
4 → 91
Calls
4 calls:
2.0ms
(cbrt a)
10.0ms
(- (* b b) (* (* 4.0 a) c))
109.0ms
(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
14.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series648.0ms

Counts
4 → 12
Calls
4 calls:
279.0ms
(cbrt a)
76.0ms
(- (* b b) (* (* 4.0 a) c))
137.0ms
(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
155.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify5.6s

Counts
103 → 103
Iterations
IterNodes
done5002
33492
2992
1373
0158

prune1.1s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 4.8b

regimes922.0ms

Accuracy

82.2% (5.2b remaining)

Error of 10.7b against oracle of 5.5b and baseline of 34.7b

bsearch138.0ms

Steps
ItersRangePoint
6
1.5727591416233446e-143
1.789606490082599e-142
1.6528810740721013e-142
6
-2.971125736392027e+46
-1.937449214055594e+45
-2.900769547116861e+46

simplify24.0ms

Iterations
IterNodes
done37
137
030

end0.0ms

sample3.5s

Algorithm
intervals
Results
1.1s5804×body80valid
690.0ms1083×body2560valid
518.0ms932×body1280valid
222.0ms2988×body80nan
148.0ms489×body640valid
99.0ms247×body320valid
56.0ms107×body5120valid
18.0ms121×body160valid