Details

Time bar (total: 18.4s)

sample116.0ms

Algorithm
intervals
Results
22.0ms32×body2560valid
22.0ms16×body640valid
20.0ms176×body80valid
15.0ms29×body1280valid
9.0ms85×body80nan
5.0ms6×body5120valid
3.0ms9×body320valid
1.0ms4×body160valid

simplify45.0ms

Counts
1 → 1
Iterations
IterNodes
done49
449
346
233
119
010

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.3b

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
0.8b
(- (* b_2 b_2) (* a c))
1.2b
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
22.9b
(sqrt (- (* b_2 b_2) (* a c)))

rewrite178.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-cbrt-cube add-exp-log
5×pow1
4×expm1-log1p-u flip3-- insert-posit16 log1p-expm1-u flip--
3×associate-/r* diff-log
2×sub-neg sqrt-div associate-/l/
1×associate--l- neg-sub0 cbrt-undiv rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 div-sub div-exp neg-log div-inv
Counts
4 → 175
Calls
4 calls:
88.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
17.0ms
(- (* b_2 b_2) (* a c))
38.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
33.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series364.0ms

Counts
4 → 12
Calls
4 calls:
118.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
55.0ms
(- (* b_2 b_2) (* a c))
88.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
101.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify1.2s

Counts
187 → 187
Iterations
IterNodes
done2004
32004
21521
1578
0248

prune2.1s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 5.7b

localize23.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) (/ 1 a))
0.8b
(- (* b_2 b_2) (* a c))
1.2b
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
22.9b
(sqrt (- (* b_2 b_2) (* a c)))

rewrite175.0ms

Algorithm
rewrite-expression-head
Rules
70×add-sqr-sqrt
63×*-un-lft-identity
61×prod-diff
54×add-cube-cbrt
35×sqrt-prod
23×distribute-rgt-neg-in
21×distribute-lft-neg-in
13×associate-*r* add-exp-log
11×times-frac fma-neg
10×add-log-exp
9×add-cbrt-cube
7×pow1 neg-mul-1 associate-*l*
5×flip3-- flip--
4×expm1-log1p-u prod-exp insert-posit16 log1p-expm1-u distribute-lft-out-- difference-of-squares
3×diff-log unswap-sqr
2×frac-times sub-neg sqrt-div div-exp associate-*l/ cbrt-unprod
1×associate--l- neg-sub0 cbrt-undiv rem-sqrt-square rec-exp sqrt-pow1 pow1/2 1-exp pow-prod-down neg-log associate-*r/ un-div-inv *-commutative div-inv
Counts
4 → 173
Calls
4 calls:
94.0ms
(* (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) (/ 1 a))
10.0ms
(- (* b_2 b_2) (* a c))
40.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
26.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series371.0ms

Counts
4 → 12
Calls
4 calls:
116.0ms
(* (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) (/ 1 a))
46.0ms
(- (* b_2 b_2) (* a c))
99.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
111.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify1.2s

Counts
185 → 185
Iterations
IterNodes
done2011
32011
21654
1640
0267

prune2.1s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 5.7b

localize39.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
0.8b
(- (* b_2 b_2) (* a c))
1.2b
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
22.9b
(sqrt (- (* b_2 b_2) (* a c)))

rewrite140.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-cbrt-cube add-exp-log
5×pow1
4×expm1-log1p-u flip3-- insert-posit16 log1p-expm1-u flip--
3×associate-/r* diff-log
2×sub-neg sqrt-div associate-/l/
1×associate--l- neg-sub0 cbrt-undiv rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 div-sub div-exp neg-log div-inv
Counts
4 → 175
Calls
4 calls:
75.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
18.0ms
(- (* b_2 b_2) (* a c))
33.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
10.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series363.0ms

Counts
4 → 12
Calls
4 calls:
125.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
59.0ms
(- (* b_2 b_2) (* a c))
97.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
81.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify1.3s

Counts
187 → 187
Iterations
IterNodes
done2004
32004
21521
1578
0248

prune2.1s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 5.7b

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b
(* -1/2 (/ c b_2))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
13×associate-*r*
10×times-frac
9×*-un-lft-identity add-cube-cbrt
6×add-cbrt-cube add-exp-log
3×pow1 associate-*l*
2×prod-exp cbrt-unprod unswap-sqr
1×expm1-log1p-u cbrt-undiv div-exp pow-prod-down associate-*r/ *-commutative insert-posit16 log1p-expm1-u div-inv add-log-exp
Counts
1 → 35
Calls
1 calls:
16.0ms
(* -1/2 (/ c b_2))

series32.0ms

Counts
1 → 3
Calls
1 calls:
32.0ms
(* -1/2 (/ c b_2))

simplify1.4s

Counts
38 → 38
Iterations
IterNodes
done2016
42016
31721
2518
1173
071

prune256.0ms

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 5.6b

regimes606.0ms

Accuracy

81.6% (5.1b remaining)

Error of 10.7b against oracle of 5.6b and baseline of 33.2b

bsearch159.0ms

Steps
ItersRangePoint
8
2.231296991249122e+66
2.5939819947174796e+69
2.559678284282607e+69
9
-2.273288360947074e-131
-1.9680749876012584e-137
-2.2415082771065304e-131

simplify4.0ms

Iterations
IterNodes
done27
127
025

end0.0ms

sample4.0s

Algorithm
intervals
Results
1.2s5788×body80valid
912.0ms1053×body2560valid
654.0ms956×body1280valid
354.0ms2937×body80nan
263.0ms453×body640valid
151.0ms98×body5120valid
73.0ms216×body320valid
24.0ms108×body160valid