Details

Time bar (total: 35.7s)

sample126.0ms

Algorithm
intervals
Results
37.0ms172×body80valid
20.0ms31×body2560valid
17.0ms35×body1280valid
8.0ms82×body80nan
8.0ms20×body640valid
4.0ms5×body5120valid
2.0ms7×body320valid
0.0ms3×body160valid

simplify490.0ms

Counts
1 → 1
Iterations
IterNodes
done105
7105
6104
5102
494
379
243
125
014

prune34.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.7b

localize132.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (/ (- (sqrt (- (* b b) (* 4.0 (* c a)))) b) 2.0) a)
0.4b
(- (* b b) (* 4.0 (* c a)))
0.9b
(- (sqrt (- (* b b) (* 4.0 (* c a)))) b)
22.2b
(sqrt (- (* b b) (* 4.0 (* c a))))

rewrite459.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*
19×prod-diff
13×distribute-lft-out--
9×add-cbrt-cube add-exp-log
8×add-log-exp
7×fma-neg
5×pow1 div-inv
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×cbrt-undiv associate-/r* flip3-- div-exp flip--
2×sub-neg sqrt-div diff-log div-sub
1×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 associate-/l/
Counts
4 → 187
Calls
4 calls:
225.0ms
(/ (/ (- (sqrt (- (* b b) (* 4.0 (* c a)))) b) 2.0) a)
22.0ms
(- (* b b) (* 4.0 (* c a)))
147.0ms
(- (sqrt (- (* b b) (* 4.0 (* c a)))) b)
25.0ms
(sqrt (- (* b b) (* 4.0 (* c a))))

series571.0ms

Counts
4 → 12
Calls
4 calls:
205.0ms
(/ (/ (- (sqrt (- (* b b) (* 4.0 (* c a)))) b) 2.0) a)
83.0ms
(- (* b b) (* 4.0 (* c a)))
148.0ms
(- (sqrt (- (* b b) (* 4.0 (* c a)))) b)
135.0ms
(sqrt (- (* b b) (* 4.0 (* c a))))

simplify5.0s

Counts
199 → 199
Iterations
IterNodes
done5003
22215
1797
0325

prune2.3s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 6.0b

localize134.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (- (sqrt (- (* b b) (* 4.0 (* c a)))) b) (/ (/ 1 2.0) a))
0.4b
(- (* b b) (* 4.0 (* c a)))
0.9b
(- (sqrt (- (* b b) (* 4.0 (* c a)))) b)
22.2b
(sqrt (- (* b b) (* 4.0 (* c a))))

rewrite749.0ms

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

series679.0ms

Counts
4 → 12
Calls
4 calls:
234.0ms
(* (- (sqrt (- (* b b) (* 4.0 (* c a)))) b) (/ (/ 1 2.0) a))
104.0ms
(- (* b b) (* 4.0 (* c a)))
178.0ms
(- (sqrt (- (* b b) (* 4.0 (* c a)))) b)
164.0ms
(sqrt (- (* b b) (* 4.0 (* c a))))

simplify5.1s

Counts
167 → 167
Iterations
IterNodes
done5002
22346
1839
0310

prune1.9s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 5.8b

localize165.0ms

Local error

Found 4 expressions with local error:

0.4b
(- (* b b) (* 4.0 (* c a)))
22.2b
(sqrt (- (* b b) (* 4.0 (* c a))))
22.2b
(sqrt (- (* b b) (* 4.0 (* c a))))
24.2b
(fma (sqrt (sqrt (- (* b b) (* 4.0 (* c a))))) (sqrt (sqrt (- (* b b) (* 4.0 (* c a))))) (- b))

rewrite158.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×pow1 *-un-lft-identity add-cube-cbrt sqrt-prod add-log-exp
4×expm1-log1p-u add-cbrt-cube sqrt-div add-exp-log insert-posit16 log1p-expm1-u
3×flip3-- flip--
2×rem-sqrt-square sqrt-pow1 pow1/2
1×sub-neg fma-neg diff-log prod-diff fma-udef
Counts
4 → 64
Calls
4 calls:
45.0ms
(- (* b b) (* 4.0 (* c a)))
54.0ms
(sqrt (- (* b b) (* 4.0 (* c a))))
52.0ms
(sqrt (- (* b b) (* 4.0 (* c a))))
3.0ms
(fma (sqrt (sqrt (- (* b b) (* 4.0 (* c a))))) (sqrt (sqrt (- (* b b) (* 4.0 (* c a))))) (- b))

series638.0ms

Counts
4 → 12
Calls
4 calls:
108.0ms
(- (* b b) (* 4.0 (* c a)))
136.0ms
(sqrt (- (* b b) (* 4.0 (* c a))))
131.0ms
(sqrt (- (* b b) (* 4.0 (* c a))))
262.0ms
(fma (sqrt (sqrt (- (* b b) (* 4.0 (* c a))))) (sqrt (sqrt (- (* b b) (* 4.0 (* c a))))) (- b))

simplify4.9s

Counts
76 → 76
Iterations
IterNodes
done5000
32669
2671
1211
091

prune1.3s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 5.7b

localize259.0ms

Local error

Found 4 expressions with local error:

1.0b
(+ (sqrt (- (* b b) (* 4.0 (* c a)))) b)
13.8b
(/ (- (- (* b b) (* b b)) (* 4.0 (* c a))) (* a 2.0))
18.5b
(- (* b b) (* b b))
22.2b
(sqrt (- (* b b) (* 4.0 (* c a))))

rewrite477.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity
10×add-sqr-sqrt
9×add-cbrt-cube add-exp-log add-cube-cbrt
8×add-log-exp
6×fma-def sqrt-prod
5×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×times-frac flip3-- flip-- associate-/l*
2×cbrt-undiv sqrt-div div-exp associate-/l/
1×+-commutative rem-sqrt-square clear-num associate-/r* sum-log sub-neg frac-2neg sqrt-pow1 flip3-+ distribute-rgt-out-- pow1/2 +-inverses fma-neg diff-log div-sub prod-diff prod-exp cbrt-unprod flip-+ div-inv distribute-lft-out distribute-lft-out-- difference-of-squares
Counts
4 → 87
Calls
4 calls:
88.0ms
(+ (sqrt (- (* b b) (* 4.0 (* c a)))) b)
324.0ms
(/ (- (- (* b b) (* b b)) (* 4.0 (* c a))) (* a 2.0))
23.0ms
(- (* b b) (* b b))
35.0ms
(sqrt (- (* b b) (* 4.0 (* c a))))

series352.0ms

Counts
4 → 12
Calls
4 calls:
185.0ms
(+ (sqrt (- (* b b) (* 4.0 (* c a)))) b)
18.0ms
(/ (- (- (* b b) (* b b)) (* 4.0 (* c a))) (* a 2.0))
2.0ms
(- (* b b) (* b b))
146.0ms
(sqrt (- (* b b) (* 4.0 (* c a))))

simplify3.3s

Counts
99 → 99
Iterations
IterNodes
done5000
21236
1413
0161

prune1.3s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 5.7b

regimes763.0ms

Accuracy

96.5% (0.8b remaining)

Error of 6.3b against oracle of 5.4b and baseline of 29.6b

bsearch319.0ms

Steps
ItersRangePoint
10
3.302865865338161e+140
2.8302951796802603e+150
5.413497103300552e+144
8
-8.876584595808978e-254
-3.147576329037351e-256
-6.459611810046018e-256
7
-8.18523145413159e+143
-2.8208844788355687e+142
-3.0775171197265305e+143

simplify35.0ms

Iterations
IterNodes
done44
144
035

end0.0ms

sample4.2s

Algorithm
intervals
Results
1.2s5744×body80valid
778.0ms2913×body80nan
763.0ms1056×body2560valid
575.0ms978×body1280valid
234.0ms454×body640valid
97.0ms138×body5120valid
73.0ms257×body320valid
24.0ms119×body160valid