Details

Time bar (total: 14.1s)

sample100.0ms

Algorithm
intervals
Results
30.0ms43×body2560valid
21.0ms190×body80valid
13.0ms25×body1280valid
8.0ms85×body80nan
5.0ms13×body640valid
3.0ms11×body320valid
2.0ms3×body5120valid
0.0ms2×body160valid

simplify121.0ms

Counts
1 → 1
Iterations
IterNodes
done105
7105
6104
5102
494
377
244
125
014

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.2b

localize35.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (/ (- (sqrt (fma b b (* (* a -4) c))) b) a) 2)
0.5b
(- (sqrt (fma b b (* (* a -4) c))) b)
1.3b
(fma b b (* (* a -4) c))
24.5b
(sqrt (fma b b (* (* a -4) c)))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
135×add-sqr-sqrt
108×*-un-lft-identity
82×add-cube-cbrt
28×sqrt-prod
26×difference-of-squares
22×associate-/l*
18×prod-diff
13×distribute-lft-out--
9×add-cbrt-cube add-exp-log
6×fma-neg add-log-exp
5×pow1 div-inv
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×cbrt-undiv associate-/r* div-exp
2×div-sub
1×rem-sqrt-square clear-num sub-neg frac-2neg sqrt-pow1 flip3-- pow1/2 diff-log fma-udef flip-- associate-/l/
Counts
4 → 179
Calls
4 calls:
16.0ms
(/ (/ (- (sqrt (fma b b (* (* a -4) c))) b) a) 2)
7.0ms
(- (sqrt (fma b b (* (* a -4) c))) b)
0.0ms
(fma b b (* (* a -4) c))
1.0ms
(sqrt (fma b b (* (* a -4) c)))

series407.0ms

Counts
4 → 12
Calls
4 calls:
154.0ms
(/ (/ (- (sqrt (fma b b (* (* a -4) c))) b) a) 2)
86.0ms
(- (sqrt (fma b b (* (* a -4) c))) b)
51.0ms
(fma b b (* (* a -4) c))
116.0ms
(sqrt (fma b b (* (* a -4) c)))

simplify1.2s

Counts
191 → 191
Iterations
IterNodes
done2015
32015
21850
1693
0297

prune931.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 5.5b

localize22.0ms

Local error

Found 3 expressions with local error:

0.2b
(* (- (sqrt (fma (* -4 a) c (* b b))) b) (/ 1/2 a))
0.5b
(- (sqrt (fma (* -4 a) c (* b b))) b)
24.5b
(sqrt (fma (* -4 a) c (* b b)))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
40×add-sqr-sqrt
30×*-un-lft-identity
26×add-cube-cbrt
18×prod-diff
17×sqrt-prod
13×associate-*r*
10×times-frac
8×add-cbrt-cube add-exp-log
6×pow1 fma-neg associate-*l*
5×add-log-exp
4×difference-of-squares
3×expm1-log1p-u flip3-- insert-posit16 log1p-expm1-u flip--
2×frac-times associate-*l/ prod-exp cbrt-unprod distribute-lft-out-- unswap-sqr
1×cbrt-undiv rem-sqrt-square sub-neg sqrt-pow1 pow1/2 diff-log div-exp pow-prod-down associate-*r/ *-commutative div-inv
Counts
3 → 100
Calls
3 calls:
31.0ms
(* (- (sqrt (fma (* -4 a) c (* b b))) b) (/ 1/2 a))
7.0ms
(- (sqrt (fma (* -4 a) c (* b b))) b)
1.0ms
(sqrt (fma (* -4 a) c (* b b)))

series296.0ms

Counts
3 → 9
Calls
3 calls:
123.0ms
(* (- (sqrt (fma (* -4 a) c (* b b))) b) (/ 1/2 a))
86.0ms
(- (sqrt (fma (* -4 a) c (* b b))) b)
86.0ms
(sqrt (fma (* -4 a) c (* b b)))

simplify938.0ms

Counts
109 → 109
Iterations
IterNodes
done2004
32004
21144
1372
0162

prune538.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 5.5b

localize35.0ms

Local error

Found 3 expressions with local error:

0.1b
(/ (* (- (sqrt (fma (* -4 a) c (* b b))) b) 1/2) a)
0.5b
(- (sqrt (fma (* -4 a) c (* b b))) b)
24.5b
(sqrt (fma (* -4 a) c (* b b)))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
22×*-un-lft-identity
20×add-cube-cbrt
18×prod-diff
16×sqrt-prod
8×add-cbrt-cube add-exp-log
6×fma-neg
5×add-log-exp
4×pow1
3×expm1-log1p-u associate-/r* times-frac insert-posit16 log1p-expm1-u
2×cbrt-undiv flip3-- div-exp associate-*l/ flip-- difference-of-squares associate-/l/
1×rem-sqrt-square clear-num sub-neg frac-2neg sqrt-pow1 pow1/2 diff-log prod-exp cbrt-unprod div-inv associate-/l* distribute-lft-out--
Counts
3 → 84
Calls
3 calls:
31.0ms
(/ (* (- (sqrt (fma (* -4 a) c (* b b))) b) 1/2) a)
10.0ms
(- (sqrt (fma (* -4 a) c (* b b))) b)
1.0ms
(sqrt (fma (* -4 a) c (* b b)))

series424.0ms

Counts
3 → 9
Calls
3 calls:
179.0ms
(/ (* (- (sqrt (fma (* -4 a) c (* b b))) b) 1/2) a)
131.0ms
(- (sqrt (fma (* -4 a) c (* b b))) b)
113.0ms
(sqrt (fma (* -4 a) c (* b b)))

simplify922.0ms

Counts
93 → 93
Iterations
IterNodes
done2012
32012
2927
1326
0139

prune407.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 5.5b

localize38.0ms

Local error

Found 3 expressions with local error:

0.2b
(* (/ 1/2 a) (- (sqrt (fma (* -4 a) c (* b b))) b))
0.5b
(- (sqrt (fma (* -4 a) c (* b b))) b)
24.5b
(sqrt (fma (* -4 a) c (* b b)))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
64×add-sqr-sqrt
54×*-un-lft-identity prod-diff
50×add-cube-cbrt
35×sqrt-prod
20×distribute-rgt-in distribute-lft-in
13×associate-*l*
10×times-frac
8×add-cbrt-cube add-exp-log
6×pow1 fma-neg associate-*r*
5×add-log-exp
4×difference-of-squares
3×expm1-log1p-u sub-neg flip3-- insert-posit16 log1p-expm1-u flip--
2×frac-times prod-exp associate-*r/ cbrt-unprod distribute-lft-out-- unswap-sqr
1×cbrt-undiv rem-sqrt-square sqrt-pow1 pow1/2 diff-log div-exp pow-prod-down associate-*l/ *-commutative div-inv
Counts
3 → 140
Calls
3 calls:
34.0ms
(* (/ 1/2 a) (- (sqrt (fma (* -4 a) c (* b b))) b))
7.0ms
(- (sqrt (fma (* -4 a) c (* b b))) b)
1.0ms
(sqrt (fma (* -4 a) c (* b b)))

series399.0ms

Counts
3 → 9
Calls
3 calls:
177.0ms
(* (/ 1/2 a) (- (sqrt (fma (* -4 a) c (* b b))) b))
111.0ms
(- (sqrt (fma (* -4 a) c (* b b))) b)
110.0ms
(sqrt (fma (* -4 a) c (* b b)))

simplify1.0s

Counts
149 → 149
Iterations
IterNodes
done2001
32001
21443
1513
0199

prune505.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 5.5b

regimes304.0ms

Accuracy

80.9% (5.0b remaining)

Error of 10.3b against oracle of 5.3b and baseline of 31.5b

bsearch215.0ms

Steps
ItersRangePoint
10
1.3859530517218358e-142
9.527435083115218e-125
9.354082991670835e-125
8
-4.336983712965787e+155
-6.488343844980391e+152
-9.088000531423294e+152

simplify8.0ms

Iterations
IterNodes
done26
126
022

end0.0ms

sample5.1s

Algorithm
intervals
Results
1.6s5926×body80valid
1.5s1069×body2560valid
636.0ms874×body1280valid
448.0ms3004×body80nan
284.0ms467×body640valid
146.0ms108×body5120valid
111.0ms218×body320valid
32.0ms112×body160valid