Details

Time bar (total: 38.7s)

sample225.0ms

Algorithm
intervals
Results
20.0ms31×body2560valid
19.0ms174×body80valid
18.0ms35×body1280valid
10.0ms20×body640valid
8.0ms82×body80nan
4.0ms5×body5120valid
2.0ms8×body320valid
0.0ms2×body160valid

simplify191.0ms

Counts
1 → 1
Iterations
IterNodes
done29
529
427
325
222
114
010

prune42.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.4b

localize278.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
0.4b
(- (* b_2 b_2) (* a c))
0.9b
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
22.0b
(sqrt (- (* b_2 b_2) (* a c)))

rewrite701.0ms

Algorithm
rewrite-expression-head
Rules
37×add-sqr-sqrt
26×*-un-lft-identity
18×times-frac
16×add-cube-cbrt
10×difference-of-squares
8×sqrt-prod add-log-exp
6×add-cbrt-cube add-exp-log associate-/l*
5×pow1 distribute-lft-out--
4×flip3-- insert-posit16 flip--
3×associate-/r*
2×sub-neg sqrt-div diff-log associate-/l/
1×cbrt-undiv rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 div-sub div-exp div-inv
Counts
4 → 88
Calls
4 calls:
374.0ms
(/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
24.0ms
(- (* b_2 b_2) (* a c))
215.0ms
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
79.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series520.0ms

Counts
4 → 12
Calls
4 calls:
182.0ms
(/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
81.0ms
(- (* b_2 b_2) (* a c))
137.0ms
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
120.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify7.8s

Counts
100 → 100
Iterations
IterNodes
done5008
34077
21022
1378
0158

prune1.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 6.0b

localize145.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
0.4b
(- (* b_2 b_2) (* a c))
0.9b
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
22.0b
(sqrt (- (* b_2 b_2) (* a c)))

rewrite361.0ms

Algorithm
rewrite-expression-head
Rules
144×times-frac
123×add-sqr-sqrt
96×*-un-lft-identity
70×add-cube-cbrt
26×difference-of-squares
24×associate-/r*
16×sqrt-prod
15×add-exp-log
13×distribute-lft-out--
9×add-cbrt-cube associate-/r/
8×add-log-exp
7×flip3-- div-exp flip--
6×pow1
5×div-inv
4×insert-posit16
3×cbrt-undiv associate-/l*
2×rec-exp sub-neg sqrt-div diff-log 1-exp
1×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 pow-flip inv-pow
Counts
4 → 166
Calls
4 calls:
171.0ms
(/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
31.0ms
(- (* b_2 b_2) (* a c))
97.0ms
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
28.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series567.0ms

Counts
4 → 12
Calls
4 calls:
250.0ms
(/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
58.0ms
(- (* b_2 b_2) (* a c))
151.0ms
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
107.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify3.8s

Counts
178 → 178
Iterations
IterNodes
done5000
21665
1633
0262

prune1.7s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 5.9b

localize100.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
0.4b
(- (* b_2 b_2) (* a c))
0.9b
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
22.0b
(sqrt (- (* b_2 b_2) (* a c)))

rewrite398.0ms

Algorithm
rewrite-expression-head
Rules
37×add-sqr-sqrt
26×*-un-lft-identity
18×times-frac
16×add-cube-cbrt
10×difference-of-squares
8×sqrt-prod add-log-exp
6×add-cbrt-cube add-exp-log associate-/l*
5×pow1 distribute-lft-out--
4×flip3-- insert-posit16 flip--
3×associate-/r*
2×sub-neg sqrt-div diff-log associate-/l/
1×cbrt-undiv rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 div-sub div-exp div-inv
Counts
4 → 88
Calls
4 calls:
246.0ms
(/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
30.0ms
(- (* b_2 b_2) (* a c))
91.0ms
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
21.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series565.0ms

Counts
4 → 12
Calls
4 calls:
197.0ms
(/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
82.0ms
(- (* b_2 b_2) (* a c))
168.0ms
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
117.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify7.6s

Counts
100 → 100
Iterations
IterNodes
done5008
34077
21022
1378
0158

prune1.2s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 5.9b

localize174.0ms

Local error

Found 4 expressions with local error:

0.9b
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
0.9b
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
22.0b
(sqrt (- (* b_2 b_2) (* a c)))
22.0b
(sqrt (- (* b_2 b_2) (* a c)))

rewrite289.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
10×*-un-lft-identity
8×sqrt-prod add-log-exp
6×pow1 add-cube-cbrt
4×flip3-- add-cbrt-cube sqrt-div add-exp-log insert-posit16 flip-- difference-of-squares
2×rem-sqrt-square sub-neg sqrt-pow1 pow1/2 diff-log distribute-lft-out--
Counts
4 → 64
Calls
4 calls:
115.0ms
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
115.0ms
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
20.0ms
(sqrt (- (* b_2 b_2) (* a c)))
35.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series569.0ms

Counts
4 → 12
Calls
4 calls:
163.0ms
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
172.0ms
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
129.0ms
(sqrt (- (* b_2 b_2) (* a c)))
104.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify4.1s

Counts
76 → 76
Iterations
IterNodes
done5000
31654
2536
1185
080

prune1.0s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 5.9b

regimes961.0ms

Accuracy

85.8% (4.1b remaining)

Error of 9.6b against oracle of 5.4b and baseline of 34.5b

bsearch174.0ms

Steps
ItersRangePoint
6
1.6664801848567985e-94
1.3864776888564433e-93
1.3635892865650846e-93
9
-2.0274263258127503e+155
-2.0044150779320932e+149
-1.585466010660367e+150

simplify25.0ms

Iterations
IterNodes
done33
133
026

end0.0ms

sample4.0s

Algorithm
intervals
Results
1.1s1057×body2560valid
790.0ms2911×body80nan
619.0ms5746×body80valid
515.0ms976×body1280valid
227.0ms459×body640valid
105.0ms257×body320valid
94.0ms139×body5120valid
20.0ms116×body160valid