Details

Time bar (total: 14.8s)

sample191.0ms

Algorithm
intervals
Results
16.0ms196×body80valid
16.0ms29×body2560valid
11.0ms28×body1280valid
9.0ms99×body80nan
5.0ms13×body640valid
1.0ms6×body320valid
1.0ms2×body5120valid
0.0ms2×body160valid

simplify105.0ms

Counts
1 → 1

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.8b

localize57.0ms

Local error

Found 4 expressions with local error:

21.4b
(sqrt (- (* b_2 b_2) (* a c)))
0.9b
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
0.6b
(- (* b_2 b_2) (* a c))
0.1b
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)

rewrite118.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
54.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
29.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
16.0ms
(sqrt (- (* b_2 b_2) (* a c)))
14.0ms
(- (* b_2 b_2) (* a c))

series380.0ms

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

simplify497.0ms

Counts
139 → 107

prune1.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 6.5b

localize28.0ms

Local error

Found 4 expressions with local error:

21.4b
(sqrt (- (* b_2 b_2) (* a c)))
0.9b
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
0.6b
(- (* b_2 b_2) (* a c))
0.2b
(/ 1 (/ a (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))))

rewrite82.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
35.0ms
(/ 1 (/ a (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))))
22.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
14.0ms
(sqrt (- (* b_2 b_2) (* a c)))
7.0ms
(- (* b_2 b_2) (* a c))

series377.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
155.0ms
(/ 1 (/ a (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))))
91.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
84.0ms
(sqrt (- (* b_2 b_2) (* a c)))
47.0ms
(- (* b_2 b_2) (* a c))

simplify453.0ms

Counts
283 → 193

prune2.0s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 6.5b

localize37.0ms

Local error

Found 4 expressions with local error:

21.4b
(sqrt (- (* b_2 b_2) (* a c)))
6.1b
(- (/ (- b_2) a) (/ (sqrt (- (* b_2 b_2) (* a c))) a))
0.6b
(- (* b_2 b_2) (* a c))
0.1b
(/ (sqrt (- (* b_2 b_2) (* a c))) a)

rewrite78.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
41.0ms
(- (/ (- b_2) a) (/ (sqrt (- (* b_2 b_2) (* a c))) a))
18.0ms
(/ (sqrt (- (* b_2 b_2) (* a c))) a)
8.0ms
(sqrt (- (* b_2 b_2) (* a c)))
8.0ms
(- (* b_2 b_2) (* a c))

series432.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
159.0ms
(/ (sqrt (- (* b_2 b_2) (* a c))) a)
133.0ms
(- (/ (- b_2) a) (/ (sqrt (- (* b_2 b_2) (* a c))) a))
94.0ms
(sqrt (- (* b_2 b_2) (* a c)))
46.0ms
(- (* b_2 b_2) (* a c))

simplify457.0ms

Counts
146 → 113

prune1.2s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 6.5b

localize41.0ms

Local error

Found 4 expressions with local error:

21.4b
(sqrt (- (* b_2 b_2) (* a c)))
15.8b
(- (* b_2 b_2) (- (* b_2 b_2) (* a c)))
7.3b
(/ (- (* b_2 b_2) (- (* b_2 b_2) (* a c))) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
0.6b
(- (* b_2 b_2) (* a c))

rewrite150.0ms

Algorithm
rewrite-expression-head
Rules
46×add-sqr-sqrt
27×*-un-lft-identity
24×times-frac
18×difference-of-squares
17×add-cube-cbrt
11×add-log-exp
8×sqrt-prod
6×associate-/r* add-cbrt-cube add-exp-log
5×pow1 flip3-- flip-- distribute-lft-out--
4×diff-log insert-posit16 associate-/l*
3×sub-neg
2×sqrt-div associate-/r/ associate--r+ associate-/l/
1×cbrt-undiv rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 div-sub div-exp div-inv associate--r-
Counts
4 → 99
Calls
4 calls:
Slowest
94.0ms
(/ (- (* b_2 b_2) (- (* b_2 b_2) (* a c))) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
35.0ms
(- (* b_2 b_2) (- (* b_2 b_2) (* a c)))
12.0ms
(sqrt (- (* b_2 b_2) (* a c)))
7.0ms
(- (* b_2 b_2) (* a c))

series359.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
185.0ms
(/ (- (* b_2 b_2) (- (* b_2 b_2) (* a c))) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
77.0ms
(sqrt (- (* b_2 b_2) (* a c)))
68.0ms
(- (* b_2 b_2) (* a c))
29.0ms
(- (* b_2 b_2) (- (* b_2 b_2) (* a c)))

simplify1.1s

Counts
145 → 111

prune1.1s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 6.5b

regimes243.0ms

Accuracy

82.9% (4.7b remaining)

Error of 10.2b against oracle of 5.6b and baseline of 32.9b

bsearch230.0ms

end0.0ms

sample4.0s

Algorithm
intervals
Results
906.0ms1055×body2560valid
735.0ms5900×body80valid
614.0ms885×body1280valid
580.0ms228×body320valid
386.0ms2923×body80nan
253.0ms420×body640valid
132.0ms116×body5120valid
60.0ms118×body160valid