Details

Time bar (total: 19.7s)

sample138.0ms

Algorithm
intervals
Results
42.0ms195×body80valid
26.0ms29×body2560valid
21.0ms28×body1280valid
13.0ms97×body80nan
10.0ms18×body640valid
4.0ms3×body5120valid
4.0ms8×body320valid
0.0ms1×body160valid

simplify166.0ms

Counts
1 → 1
Iterations
IterNodes
done142
7142
6140
5135
4130
3110
263
129
014

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 33.4b

localize40.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a))
0.4b
(- (* b b) (* 4 (* a c)))
0.8b
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
20.6b
(sqrt (- (* b b) (* 4 (* a c))))

rewrite127.0ms

Algorithm
rewrite-expression-head
Rules
61×add-sqr-sqrt prod-diff
60×*-un-lft-identity
48×add-cube-cbrt
36×sqrt-prod
24×distribute-rgt-neg-in
21×distribute-lft-neg-in
11×fma-neg
10×add-log-exp
9×add-cbrt-cube add-exp-log
7×neg-mul-1 times-frac associate-/l*
6×distribute-lft-out-- difference-of-squares
5×pow1
4×expm1-log1p-u flip3-- insert-posit16 log1p-expm1-u flip--
3×diff-log
2×cbrt-undiv sub-neg sqrt-div div-exp associate-/l/
1×associate--l- neg-sub0 rem-sqrt-square clear-num associate-/r* frac-2neg sqrt-pow1 pow1/2 div-sub neg-log prod-exp cbrt-unprod div-inv
Counts
4 → 161
Calls
4 calls:
72.0ms
(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a))
12.0ms
(- (* b b) (* 4 (* a c)))
26.0ms
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
13.0ms
(sqrt (- (* b b) (* 4 (* a c))))

series423.0ms

Counts
4 → 12
Calls
4 calls:
139.0ms
(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a))
71.0ms
(- (* b b) (* 4 (* a c)))
107.0ms
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
106.0ms
(sqrt (- (* b b) (* 4 (* a c))))

simplify1.5s

Counts
173 → 173
Iterations
IterNodes
done2005
32005
21867
1599
0239

prune1.2s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 5.6b

localize54.0ms

Local error

Found 4 expressions with local error:

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

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
60×prod-diff
53×add-sqr-sqrt
52×*-un-lft-identity
48×add-cube-cbrt
34×sqrt-prod
25×add-exp-log
22×distribute-rgt-neg-in
21×distribute-lft-neg-in
13×add-cbrt-cube
10×fma-neg
9×div-exp
8×pow1 add-log-exp
7×neg-mul-1
6×prod-exp
4×expm1-log1p-u cbrt-undiv insert-posit16 log1p-expm1-u
3×rec-exp times-frac 1-exp associate-/l*
2×diff-log cbrt-unprod pow-flip distribute-lft-out-- difference-of-squares
1×associate--l- neg-sub0 rem-sqrt-square clear-num associate-/r* sub-neg frac-2neg sqrt-pow1 flip3-- pow1/2 pow-prod-down neg-log associate-*l/ associate-/r/ fma-udef div-inv flip-- inv-pow
Counts
4 → 154
Calls
4 calls:
48.0ms
(/ 1 (* (/ 2 (- (- b) (sqrt (fma b b (* -4 (* a c)))))) a))
0.0ms
(fma b b (* -4 (* a c)))
30.0ms
(- (- b) (sqrt (fma b b (* -4 (* a c)))))
2.0ms
(sqrt (fma b b (* -4 (* a c))))

series478.0ms

Counts
4 → 12
Calls
4 calls:
157.0ms
(/ 1 (* (/ 2 (- (- b) (sqrt (fma b b (* -4 (* a c)))))) a))
65.0ms
(fma b b (* -4 (* a c)))
114.0ms
(- (- b) (sqrt (fma b b (* -4 (* a c)))))
142.0ms
(sqrt (fma b b (* -4 (* a c))))

simplify1.4s

Counts
166 → 166
Iterations
IterNodes
done2002
32002
21356
1534
0233

prune1.3s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 5.6b

localize89.0ms

Local error

Found 4 expressions with local error:

0.8b
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
20.6b
(sqrt (- (* b b) (* 4 (* a c))))
20.6b
(sqrt (- (* b b) (* 4 (* a c))))
20.6b
(sqrt (- (* b b) (* 4 (* a c))))

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
60×prod-diff
55×add-sqr-sqrt
52×*-un-lft-identity
48×add-cube-cbrt
40×sqrt-prod
22×distribute-rgt-neg-in
21×distribute-lft-neg-in
10×fma-neg
8×add-log-exp
7×pow1 neg-mul-1
6×sqrt-div
4×expm1-log1p-u flip3-- add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u flip--
3×rem-sqrt-square sqrt-pow1 pow1/2
2×diff-log distribute-lft-out-- difference-of-squares
1×associate--l- neg-sub0 sub-neg neg-log
Counts
4 → 145
Calls
4 calls:
34.0ms
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
18.0ms
(sqrt (- (* b b) (* 4 (* a c))))
26.0ms
(sqrt (- (* b b) (* 4 (* a c))))
19.0ms
(sqrt (- (* b b) (* 4 (* a c))))

series450.0ms

Counts
4 → 12
Calls
4 calls:
137.0ms
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
89.0ms
(sqrt (- (* b b) (* 4 (* a c))))
114.0ms
(sqrt (- (* b b) (* 4 (* a c))))
110.0ms
(sqrt (- (* b b) (* 4 (* a c))))

simplify1.3s

Counts
157 → 157
Iterations
IterNodes
done2000
32000
21011
1392
0164

prune1.4s

Pruning

15 alts after pruning (13 fresh and 2 done)

Merged error: 5.5b

localize39.0ms

Local error

Found 4 expressions with local error:

0.8b
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
20.6b
(sqrt (- (* b b) (* 4 (* a c))))
20.6b
(sqrt (- (* b b) (* 4 (* a c))))
20.6b
(sqrt (- (* b b) (* 4 (* a c))))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
60×prod-diff
55×add-sqr-sqrt
52×*-un-lft-identity
48×add-cube-cbrt
40×sqrt-prod
22×distribute-rgt-neg-in
21×distribute-lft-neg-in
10×fma-neg
8×add-log-exp
7×pow1 neg-mul-1
6×sqrt-div
4×expm1-log1p-u flip3-- add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u flip--
3×rem-sqrt-square sqrt-pow1 pow1/2
2×diff-log distribute-lft-out-- difference-of-squares
1×associate--l- neg-sub0 sub-neg neg-log
Counts
4 → 145
Calls
4 calls:
20.0ms
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
22.0ms
(sqrt (- (* b b) (* 4 (* a c))))
17.0ms
(sqrt (- (* b b) (* 4 (* a c))))
10.0ms
(sqrt (- (* b b) (* 4 (* a c))))

series478.0ms

Counts
4 → 12
Calls
4 calls:
141.0ms
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
109.0ms
(sqrt (- (* b b) (* 4 (* a c))))
104.0ms
(sqrt (- (* b b) (* 4 (* a c))))
123.0ms
(sqrt (- (* b b) (* 4 (* a c))))

simplify1.3s

Counts
157 → 157
Iterations
IterNodes
done2000
32000
21011
1392
0164

prune1.3s

Pruning

17 alts after pruning (15 fresh and 2 done)

Merged error: 5.5b

regimes932.0ms

Accuracy

81.6% (5.2b remaining)

Error of 10.6b against oracle of 5.5b and baseline of 33.4b

bsearch212.0ms

Steps
ItersRangePoint
4
2.0351360940656854e+23
4.0047314049975276e+23
3.912332224813067e+23
8
-9.258644314597195e-129
-3.187950860214187e-133
-8.424937854855119e-129

simplify10.0ms

Iterations
IterNodes
done32
132
026

end0.0ms

sample5.1s

Algorithm
intervals
Results
1.6s1110×body2560valid
1.4s5815×body80valid
797.0ms906×body1280valid
517.0ms2984×body80nan
266.0ms443×body640valid
107.0ms107×body5120valid
85.0ms210×body320valid
31.0ms107×body160valid