Details

Time bar (total: 14.3s)

sample107.0ms

Algorithm
intervals
Results
27.0ms195×body80valid
18.0ms30×body1280valid
17.0ms24×body2560valid
12.0ms100×body80nan
7.0ms14×body640valid
4.0ms10×body320valid
4.0ms3×body5120valid
1.0ms2×body160valid

simplify175.0ms

Counts
1 → 1

prune24.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.2b

localize46.0ms

Local error

Found 4 expressions with local error:

21.9b
(sqrt (- (* b b) (* (* 4 a) c)))
0.6b
(- (* b b) (* (* 4 a) c))
0.4b
(- (sqrt (- (* b b) (* (* 4 a) c))) b)
0.1b
(/ (- (sqrt (- (* b b) (* (* 4 a) c))) b) (* 2 a))

rewrite136.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
13×*-un-lft-identity
9×add-cbrt-cube add-exp-log
8×add-log-exp
7×add-cube-cbrt
6×times-frac sqrt-prod associate-/l* difference-of-squares
5×pow1
4×flip3-- insert-posit16 flip--
3×distribute-lft-out--
2×cbrt-undiv sub-neg sqrt-div diff-log div-exp associate-/l/
1×rem-sqrt-square clear-num associate-/r* frac-2neg sqrt-pow1 pow1/2 div-sub prod-exp cbrt-unprod div-inv
Counts
4 → 76
Calls
4 calls:
Slowest
85.0ms
(/ (- (sqrt (- (* b b) (* (* 4 a) c))) b) (* 2 a))
35.0ms
(- (sqrt (- (* b b) (* (* 4 a) c))) b)
7.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
7.0ms
(- (* b b) (* (* 4 a) c))

series519.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
182.0ms
(- (sqrt (- (* b b) (* (* 4 a) c))) b)
180.0ms
(/ (- (sqrt (- (* b b) (* (* 4 a) c))) b) (* 2 a))
98.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
59.0ms
(- (* b b) (* (* 4 a) c))

simplify482.0ms

Counts
105 → 88

prune968.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 7.1b

localize36.0ms

Local error

Found 4 expressions with local error:

21.9b
(sqrt (- (* b b) (* (* 4 a) c)))
0.6b
(- (* b b) (* (* 4 a) c))
0.4b
(- (sqrt (- (* b b) (* (* 4 a) c))) b)
0.2b
(* (- (sqrt (- (* b b) (* (* 4 a) c))) b) (/ 1/2 a))

rewrite186.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
17×*-un-lft-identity
13×associate-*r* add-cube-cbrt
10×times-frac
9×add-cbrt-cube add-exp-log
8×add-log-exp
7×pow1
6×associate-*l*
5×flip3-- sqrt-prod flip--
4×insert-posit16 difference-of-squares
2×frac-times sub-neg sqrt-div diff-log associate-*l/ prod-exp cbrt-unprod distribute-lft-out-- unswap-sqr
1×cbrt-undiv rem-sqrt-square sqrt-pow1 pow1/2 div-exp pow-prod-down associate-*r/ *-commutative div-inv
Counts
4 → 85
Calls
4 calls:
Slowest
128.0ms
(* (- (sqrt (- (* b b) (* (* 4 a) c))) b) (/ 1/2 a))
43.0ms
(- (sqrt (- (* b b) (* (* 4 a) c))) b)
7.0ms
(- (* b b) (* (* 4 a) c))
7.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

series396.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
130.0ms
(* (- (sqrt (- (* b b) (* (* 4 a) c))) b) (/ 1/2 a))
106.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
100.0ms
(- (sqrt (- (* b b) (* (* 4 a) c))) b)
59.0ms
(- (* b b) (* (* 4 a) c))

simplify557.0ms

Counts
109 → 97

prune1.1s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 7.1b

localize51.0ms

Local error

Found 4 expressions with local error:

21.9b
(sqrt (- (* b b) (* (* 4 a) c)))
0.6b
(- (* b b) (* (* 4 a) c))
0.4b
(- (sqrt (- (* b b) (* (* 4 a) c))) b)
0.1b
(/ (* (- (sqrt (- (* b b) (* (* 4 a) c))) b) 1/2) a)

rewrite202.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
9×*-un-lft-identity add-cbrt-cube add-exp-log
8×add-log-exp
7×add-cube-cbrt
5×pow1
4×flip3-- sqrt-prod insert-posit16 flip--
3×associate-/r* times-frac
2×cbrt-undiv sub-neg sqrt-div diff-log div-exp associate-*l/ difference-of-squares associate-/l/
1×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 prod-exp cbrt-unprod div-inv associate-/l* distribute-lft-out--
Counts
4 → 69
Calls
4 calls:
Slowest
113.0ms
(/ (* (- (sqrt (- (* b b) (* (* 4 a) c))) b) 1/2) a)
59.0ms
(- (sqrt (- (* b b) (* (* 4 a) c))) b)
14.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
14.0ms
(- (* b b) (* (* 4 a) c))

series425.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
126.0ms
(/ (* (- (sqrt (- (* b b) (* (* 4 a) c))) b) 1/2) a)
121.0ms
(- (sqrt (- (* b b) (* (* 4 a) c))) b)
104.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
73.0ms
(- (* b b) (* (* 4 a) c))

simplify510.0ms

Counts
94 → 81

prune850.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 7.1b

localize49.0ms

Local error

Found 4 expressions with local error:

21.9b
(sqrt (- (* b b) (* (* 4 a) c)))
0.6b
(- (* b b) (* (* 4 a) c))
0.4b
(- (sqrt (- (* b b) (* (* 4 a) c))) b)
0.2b
(/ 1 (/ a (* (- (sqrt (- (* b b) (* (* 4 a) c))) b) 1/2)))

rewrite211.0ms

Algorithm
rewrite-expression-head
Rules
39×times-frac
28×add-sqr-sqrt
25×*-un-lft-identity add-exp-log
23×add-cube-cbrt
13×add-cbrt-cube
12×div-exp
9×associate-/r* associate-/r/
8×associate-*l/ add-log-exp
7×flip3-- flip--
6×pow1
5×cbrt-undiv div-inv
4×sqrt-prod insert-posit16
3×rec-exp 1-exp prod-exp associate-/l*
2×sub-neg sqrt-div diff-log difference-of-squares
1×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 cbrt-unprod pow-flip distribute-lft-out-- inv-pow
Counts
4 → 110
Calls
4 calls:
Slowest
131.0ms
(/ 1 (/ a (* (- (sqrt (- (* b b) (* (* 4 a) c))) b) 1/2)))
65.0ms
(- (sqrt (- (* b b) (* (* 4 a) c))) b)
7.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
7.0ms
(- (* b b) (* (* 4 a) c))

series472.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
194.0ms
(/ 1 (/ a (* (- (sqrt (- (* b b) (* (* 4 a) c))) b) 1/2)))
115.0ms
(- (sqrt (- (* b b) (* (* 4 a) c))) b)
104.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
58.0ms
(- (* b b) (* (* 4 a) c))

simplify670.0ms

Counts
158 → 122

prune1.3s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 7.1b

regimes345.0ms

Accuracy

82.8% (4.8b remaining)

Error of 10.3b against oracle of 5.6b and baseline of 33.3b

bsearch231.0ms

end0.0ms

sample4.3s

Algorithm
intervals
Results
1.0s889×body1280valid
976.0ms1049×body2560valid
885.0ms5843×body80valid
398.0ms2926×body80nan
385.0ms490×body640valid
138.0ms223×body320valid
123.0ms107×body5120valid
29.0ms114×body160valid