Details

Time bar (total: 22.9s)

sample284.0ms

Algorithm
intervals
Results
45.0ms37×body1280valid
43.0ms25×body2560valid
17.0ms204×body80valid
7.0ms104×body80nan
4.0ms14×body640valid
1.0ms5×body320valid
0.0ms1×body5120valid
0.0ms3×body160valid

simplify67.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
01013
11913
23313
34613
44913
done4913

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 36.5b

localize29.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
0.7b
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
1.0b
(- (* b_2 b_2) (* a c))
23.9b
(sqrt (- (* b_2 b_2) (* a c)))

rewrite240.0ms

Algorithm
rewrite-expression-head
Rules
79×add-sqr-sqrt
78×*-un-lft-identity
61×prod-diff
58×add-cube-cbrt
38×sqrt-prod
26×distribute-rgt-neg-in
21×distribute-lft-neg-in times-frac
11×fma-neg
10×distribute-lft-out-- add-log-exp difference-of-squares
7×neg-mul-1 associate-/l*
6×add-exp-log add-cbrt-cube
5×pow1
4×expm1-log1p-u flip3-- flip-- log1p-expm1-u
3×diff-log associate-/r*
2×sub-neg sqrt-div associate-/l/
1×cbrt-undiv associate--l- neg-sub0 rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 div-sub div-exp neg-log clear-num div-inv
Counts
4 → 171
Calls
4 calls:
102.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
83.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
19.0ms
(- (* b_2 b_2) (* a c))
27.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series324.0ms

Counts
4 → 12
Calls
4 calls:
112.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
81.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
37.0ms
(- (* b_2 b_2) (* a c))
92.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify2.3s

Counts
183 → 183
Iterations

Useful iterations: done (2.2s)

IterNodesCost
02425993
15784337
221453551
done50033006

prune637.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 7.1b

localize25.0ms

Local error

Found 4 expressions with local error:

0.8b
(- (sqrt (fma (- c) a (* b_2 b_2))) b_2)
3.4b
(/ (/ (+ 0 (* c a)) (- (sqrt (fma (- c) a (* b_2 b_2))) b_2)) a)
11.3b
(/ (+ 0 (* c a)) (- (sqrt (fma (- c) a (* b_2 b_2))) b_2))
23.9b
(sqrt (fma (- c) a (* b_2 b_2)))

rewrite155.0ms

Algorithm
rewrite-expression-head
Rules
164×add-sqr-sqrt
162×times-frac
129×*-un-lft-identity
95×add-cube-cbrt
34×difference-of-squares
32×sqrt-prod
27×associate-/l*
18×prod-diff
17×distribute-lft-out--
11×add-exp-log add-cbrt-cube
10×associate-/r/
9×associate-/r*
6×flip3-- fma-neg flip-- div-inv add-log-exp
5×pow1
4×cbrt-undiv expm1-log1p-u div-exp log1p-expm1-u
3×associate-/l/
2×frac-2neg clear-num
1×sub-neg rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 diff-log flip-+
Counts
4 → 217
Calls
4 calls:
14.0ms
(- (sqrt (fma (- c) a (* b_2 b_2))) b_2)
64.0ms
(/ (/ (+ 0 (* c a)) (- (sqrt (fma (- c) a (* b_2 b_2))) b_2)) a)
62.0ms
(/ (+ 0 (* c a)) (- (sqrt (fma (- c) a (* b_2 b_2))) b_2))
4.0ms
(sqrt (fma (- c) a (* b_2 b_2)))

series826.0ms

Counts
4 → 12
Calls
4 calls:
111.0ms
(- (sqrt (fma (- c) a (* b_2 b_2))) b_2)
337.0ms
(/ (/ (+ 0 (* c a)) (- (sqrt (fma (- c) a (* b_2 b_2))) b_2)) a)
276.0ms
(/ (+ 0 (* c a)) (- (sqrt (fma (- c) a (* b_2 b_2))) b_2))
102.0ms
(sqrt (fma (- c) a (* b_2 b_2)))

simplify2.1s

Counts
229 → 229
Iterations

Useful iterations: done (2.0s)

IterNodesCost
03136352
17525415
236275099
done50015039

prune944.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 7.1b

localize39.0ms

Local error

Found 4 expressions with local error:

0.8b
(- (sqrt (fma (- c) a (* b_2 b_2))) b_2)
3.4b
(/ (* (+ 0 (* c a)) (/ 1 (- (sqrt (fma (- c) a (* b_2 b_2))) b_2))) a)
11.3b
(* (+ 0 (* c a)) (/ 1 (- (sqrt (fma (- c) a (* b_2 b_2))) b_2)))
23.9b
(sqrt (fma (- c) a (* b_2 b_2)))

rewrite164.0ms

Algorithm
rewrite-expression-head
Rules
56×add-sqr-sqrt
41×*-un-lft-identity
32×add-cube-cbrt
28×add-exp-log
24×associate-*r*
23×times-frac
19×sqrt-prod
18×prod-diff add-cbrt-cube
9×div-exp
8×prod-exp difference-of-squares
7×pow1
6×fma-neg associate-/l/ add-log-exp
5×cbrt-undiv
4×expm1-log1p-u frac-times flip3-+ associate-*l/ cbrt-unprod flip-+ log1p-expm1-u distribute-lft-out--
3×associate-*l* associate-/r* unswap-sqr
2×rec-exp flip3-- 1-exp associate-*r/ associate-/r/ un-div-inv flip-- div-inv
1×sub-neg rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 diff-log pow-prod-down clear-num *-commutative associate-/l*
Counts
4 → 142
Calls
4 calls:
19.0ms
(- (sqrt (fma (- c) a (* b_2 b_2))) b_2)
47.0ms
(/ (* (+ 0 (* c a)) (/ 1 (- (sqrt (fma (- c) a (* b_2 b_2))) b_2))) a)
90.0ms
(* (+ 0 (* c a)) (/ 1 (- (sqrt (fma (- c) a (* b_2 b_2))) b_2)))
2.0ms
(sqrt (fma (- c) a (* b_2 b_2)))

series825.0ms

Counts
4 → 12
Calls
4 calls:
145.0ms
(- (sqrt (fma (- c) a (* b_2 b_2))) b_2)
295.0ms
(/ (* (+ 0 (* c a)) (/ 1 (- (sqrt (fma (- c) a (* b_2 b_2))) b_2))) a)
271.0ms
(* (+ 0 (* c a)) (/ 1 (- (sqrt (fma (- c) a (* b_2 b_2))) b_2)))
113.0ms
(sqrt (fma (- c) a (* b_2 b_2)))

simplify5.4s

Counts
154 → 154
Iterations

Useful iterations: done (5.4s)

IterNodesCost
02433260
16492562
245382182
done50002181

prune582.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 7.1b

localize42.0ms

Local error

Found 4 expressions with local error:

4.7b
(* (/ (/ 1 (sqrt (- (sqrt (fma (- c) a (* b_2 b_2))) b_2))) (* (cbrt a) (cbrt a))) (/ (/ (* c a) (sqrt (- (sqrt (fma (- c) a (* b_2 b_2))) b_2))) (cbrt a)))
6.5b
(/ (* c a) (sqrt (- (sqrt (fma (- c) a (* b_2 b_2))) b_2)))
23.9b
(sqrt (fma (- c) a (* b_2 b_2)))
23.9b
(sqrt (fma (- c) a (* b_2 b_2)))

rewrite382.0ms

Algorithm
rewrite-expression-head
Rules
252×times-frac
191×add-exp-log
176×add-sqr-sqrt
104×*-un-lft-identity
95×div-exp
94×associate-*r*
89×sqrt-prod
80×add-cbrt-cube
76×add-cube-cbrt
62×prod-exp
51×cbrt-undiv cbrt-prod
37×associate-*l*
34×cbrt-unprod
22×difference-of-squares
18×unswap-sqr
16×sqrt-div associate-/r/
11×distribute-lft-out--
10×div-inv
9×associate-/r*
8×pow1 rec-exp flip3-- 1-exp flip--
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×rem-sqrt-square sqrt-pow1 pow1/2
1×frac-times frac-2neg associate-*r/ pow-prod-down associate-*l/ clear-num *-commutative associate-/l*
Counts
4 → 286
Calls
4 calls:
307.0ms
(* (/ (/ 1 (sqrt (- (sqrt (fma (- c) a (* b_2 b_2))) b_2))) (* (cbrt a) (cbrt a))) (/ (/ (* c a) (sqrt (- (sqrt (fma (- c) a (* b_2 b_2))) b_2))) (cbrt a)))
27.0ms
(/ (* c a) (sqrt (- (sqrt (fma (- c) a (* b_2 b_2))) b_2)))
2.0ms
(sqrt (fma (- c) a (* b_2 b_2)))
2.0ms
(sqrt (fma (- c) a (* b_2 b_2)))

series1.4s

Counts
4 → 12
Calls
4 calls:
406.0ms
(* (/ (/ 1 (sqrt (- (sqrt (fma (- c) a (* b_2 b_2))) b_2))) (* (cbrt a) (cbrt a))) (/ (/ (* c a) (sqrt (- (sqrt (fma (- c) a (* b_2 b_2))) b_2))) (cbrt a)))
763.0ms
(/ (* c a) (sqrt (- (sqrt (fma (- c) a (* b_2 b_2))) b_2)))
119.0ms
(sqrt (fma (- c) a (* b_2 b_2)))
115.0ms
(sqrt (fma (- c) a (* b_2 b_2)))

simplify1.5s

Counts
298 → 298
Iterations

Useful iterations: done (1.5s)

IterNodesCost
048111917
1171911067
done50009798

prune1.3s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 7.1b

regimes333.0ms

Accuracy

88.6% (3.2b remaining)

Error of 8.8b against oracle of 5.6b and baseline of 33.4b

bsearch200.0ms

Steps
ItersRangePoint
8
1.051086597250448e+104
1.8086281629461872e+108
2.750597423682243e+107
9
-1.973755526415477e-151
-1.4597075490129595e-159
-3.2648782224884627e-158
6
-2.7008634656039713e+50
-1.797023714648992e+49
-2.186983581637579e+50

simplify29.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04494
15294
done5294

end0.0ms

sample2.8s

Algorithm
intervals
Results
921.0ms5893×body80valid
564.0ms1042×body2560valid
350.0ms929×body1280valid
215.0ms2947×body80nan
109.0ms476×body640valid
82.0ms88×body5120valid
42.0ms231×body320valid
12.0ms108×body160valid