Details

Time bar (total: 21.2s)

sample326.0ms

Algorithm
intervals
Results
67.0ms80×body80nan
26.0ms29×body2560valid
26.0ms191×body80valid
20.0ms26×body1280valid
10.0ms18×body640valid
5.0ms8×body320valid
3.0ms3×body5120valid
1.0ms2×body160valid

simplify78.0ms

Counts
1 → 1

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.0b

localize22.0ms

Local error

Found 4 expressions with local error:

20.9b
(sqrt (- (* b_2 b_2) (* a c)))
1.0b
(- (* b_2 b_2) (* a c))
0.3b
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
0.1b
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
37×*-un-lft-identity
21×times-frac
17×add-cube-cbrt
10×distribute-lft-out-- add-log-exp difference-of-squares
8×sqrt-prod
7×associate-/l*
6×add-cbrt-cube add-exp-log
5×pow1 distribute-rgt-neg-in
4×flip3-- insert-posit16 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 → 95
Calls
4 calls:
Slowest
49.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
15.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
9.0ms
(sqrt (- (* b_2 b_2) (* a c)))
7.0ms
(- (* b_2 b_2) (* a c))

series547.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
211.0ms
(sqrt (- (* b_2 b_2) (* a c)))
137.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
112.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
86.0ms
(- (* b_2 b_2) (* a c))

simplify1.1s

Counts
107 → 107

prune1.1s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 4.6b

localize42.0ms

Local error

Found 4 expressions with local error:

20.9b
(sqrt (- (* b_2 b_2) (* a c)))
1.0b
(- (* b_2 b_2) (* a c))
0.3b
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
0.2b
(/ 1 (/ a (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))))

rewrite122.0ms

Algorithm
rewrite-expression-head
Rules
165×times-frac
130×add-sqr-sqrt
129×*-un-lft-identity
77×add-cube-cbrt
27×associate-/r*
26×distribute-lft-out-- difference-of-squares
16×sqrt-prod
15×add-exp-log
13×distribute-rgt-neg-in
10×add-log-exp
9×add-cbrt-cube associate-/r/
7×flip3-- div-exp flip--
6×pow1
5×div-inv
4×insert-posit16
3×cbrt-undiv diff-log associate-/l*
2×rec-exp sub-neg sqrt-div 1-exp
1×associate--l- neg-sub0 rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 neg-log pow-flip inv-pow
Counts
4 → 181
Calls
4 calls:
Slowest
59.0ms
(/ 1 (/ a (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))))
29.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
14.0ms
(sqrt (- (* b_2 b_2) (* a c)))
14.0ms
(- (* b_2 b_2) (* a c))

series405.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
153.0ms
(/ 1 (/ a (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))))
98.0ms
(sqrt (- (* b_2 b_2) (* a c)))
88.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
66.0ms
(- (* b_2 b_2) (* a c))

simplify788.0ms

Counts
193 → 193

prune2.0s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 4.6b

localize35.0ms

Local error

Found 4 expressions with local error:

20.9b
(sqrt (- (* b_2 b_2) (* a c)))
1.0b
(- (* b_2 b_2) (* a c))
0.3b
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
0.3b
(/ (/ 1 a) (/ 1 (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))))

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
897×times-frac
528×add-sqr-sqrt
527×*-un-lft-identity
355×add-cube-cbrt
86×distribute-lft-out-- difference-of-squares
46×sqrt-prod
44×add-exp-log
43×distribute-rgt-neg-in div-inv
32×div-exp
29×associate-/r/
27×associate-/r*
17×flip3-- flip--
16×add-cbrt-cube
13×associate-/l*
10×add-log-exp
8×cbrt-undiv rec-exp 1-exp
5×pow1
4×insert-posit16
3×diff-log
2×sub-neg sqrt-div
1×associate--l- neg-sub0 rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 neg-log associate-/l/
Counts
4 → 472
Calls
4 calls:
Slowest
34.0ms
(/ (/ 1 a) (/ 1 (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))))
26.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
14.0ms
(- (* b_2 b_2) (* a c))
7.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series336.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
134.0ms
(/ (/ 1 a) (/ 1 (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))))
81.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
70.0ms
(sqrt (- (* b_2 b_2) (* a c)))
51.0ms
(- (* b_2 b_2) (* a c))

simplify1.1s

Counts
484 → 484

prune5.8s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 4.6b

localize51.0ms

Local error

Found 4 expressions with local error:

20.9b
(sqrt (- (* b_2 b_2) (* a c)))
4.8b
(- (/ (- b_2) a) (/ (sqrt (- (* b_2 b_2) (* a c))) a))
1.0b
(- (* b_2 b_2) (* a c))
0.1b
(/ (sqrt (- (* b_2 b_2) (* a c))) a)

rewrite102.0ms

Algorithm
rewrite-expression-head
Rules
44×add-sqr-sqrt
38×*-un-lft-identity
37×times-frac
24×add-cube-cbrt
17×sqrt-prod
8×add-log-exp
7×distribute-lft-out--
6×add-cbrt-cube add-exp-log associate-/l* difference-of-squares
5×pow1
4×flip3-- sqrt-div insert-posit16 flip--
3×associate-/r* distribute-rgt-neg-in div-inv
2×sub-neg diff-log associate-/l/
1×associate--l- neg-sub0 cbrt-undiv rem-sqrt-square clear-num frac-2neg sqrt-pow1 distribute-rgt-out-- pow1/2 div-sub div-exp frac-sub sub-div
Counts
4 → 101
Calls
4 calls:
Slowest
43.0ms
(- (/ (- b_2) a) (/ (sqrt (- (* b_2 b_2) (* a c))) a))
28.0ms
(/ (sqrt (- (* b_2 b_2) (* a c))) a)
15.0ms
(sqrt (- (* b_2 b_2) (* a c)))
13.0ms
(- (* b_2 b_2) (* a c))

series411.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
132.0ms
(/ (sqrt (- (* b_2 b_2) (* a c))) a)
118.0ms
(- (/ (- b_2) a) (/ (sqrt (- (* b_2 b_2) (* a c))) a))
101.0ms
(sqrt (- (* b_2 b_2) (* a c)))
60.0ms
(- (* b_2 b_2) (* a c))

simplify1.0s

Counts
113 → 113

prune1.1s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 4.6b

regimes370.0ms

Accuracy

84% (4.4b remaining)

Error of 9.6b against oracle of 5.3b and baseline of 32.6b

bsearch200.0ms

end0.0ms

sample3.9s

Algorithm
intervals
Results
1.4s1081×body2560valid
685.0ms5875×body80valid
629.0ms844×body1280valid
320.0ms2799×body80nan
301.0ms458×body640valid
108.0ms222×body320valid
95.0ms113×body5120valid
25.0ms103×body160valid