Details

Time bar (total: 13.5s)

sample125.0ms

Algorithm
intervals
Results
30.0ms85×body80nan
29.0ms43×body2560valid
22.0ms190×body80valid
12.0ms25×body1280valid
5.0ms13×body640valid
4.0ms3×body5120valid
3.0ms11×body320valid
1.0ms2×body160valid

simplify124.0ms

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

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.2b

localize40.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)))

rewrite33.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:
21.0ms
(/ (/ (- (sqrt (fma b b (* (* a -4) c))) b) a) 2)
8.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)))

series461.0ms

Counts
4 → 12
Calls
4 calls:
157.0ms
(/ (/ (- (sqrt (fma b b (* (* a -4) c))) b) a) 2)
133.0ms
(- (sqrt (fma b b (* (* a -4) c))) b)
60.0ms
(fma b b (* (* a -4) c))
110.0ms
(sqrt (fma b b (* (* a -4) c)))

simplify1.4s

Counts
191 → 191
Iterations
IterNodes
done2015
32015
21850
1693
0297

prune898.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 5.5b

localize27.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)))

rewrite51.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:
38.0ms
(* (- (sqrt (fma (* -4 a) c (* b b))) b) (/ 1/2 a))
9.0ms
(- (sqrt (fma (* -4 a) c (* b b))) b)
2.0ms
(sqrt (fma (* -4 a) c (* b b)))

series413.0ms

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

simplify1.0s

Counts
109 → 109
Iterations
IterNodes
done2004
32004
21144
1372
0162

prune541.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 5.5b

localize40.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)))

rewrite36.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:
26.0ms
(/ (* (- (sqrt (fma (* -4 a) c (* b b))) b) 1/2) a)
8.0ms
(- (sqrt (fma (* -4 a) c (* b b))) b)
1.0ms
(sqrt (fma (* -4 a) c (* b b)))

series376.0ms

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

simplify1.3s

Counts
93 → 93
Iterations
IterNodes
done2012
32012
2927
1326
0139

prune358.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 5.5b

localize30.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)))

rewrite39.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:
29.0ms
(* (- (sqrt (fma (* -4 a) c (* b b))) b) (/ 1/2 a))
8.0ms
(- (sqrt (fma (* -4 a) c (* b b))) b)
1.0ms
(sqrt (fma (* -4 a) c (* b b)))

series442.0ms

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

simplify916.0ms

Counts
109 → 109
Iterations
IterNodes
done2004
32004
21144
1372
0162

prune389.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 5.5b

regimes300.0ms

Accuracy

82.2% (4.9b remaining)

Error of 10.3b against oracle of 5.4b and baseline of 32.9b

bsearch187.0ms

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

simplify4.0ms

Iterations
IterNodes
done26
126
022

end0.0ms

sample3.9s

Algorithm
intervals
Results
967.0ms1069×body2560valid
754.0ms5926×body80valid
580.0ms874×body1280valid
426.0ms112×body160valid
391.0ms3004×body80nan
290.0ms467×body640valid
112.0ms108×body5120valid
104.0ms218×body320valid