Details

Time bar (total: 16.6s)

sample103.0ms

Algorithm
intervals
Results
21.0ms32×body1280valid
20.0ms186×body80valid
18.0ms29×body2560valid
10.0ms23×body640valid
10.0ms96×body80nan
3.0ms3×body5120valid
2.0ms6×body320valid
1.0ms4×body160valid

simplify93.0ms

Counts
1 → 1

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.8b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite124.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:
Slowest
56.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
38.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
19.0ms
(sqrt (- (* b_2 b_2) (* a c)))
8.0ms
(- (* b_2 b_2) (* a c))

series324.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
100.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
100.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
82.0ms
(sqrt (- (* b_2 b_2) (* a c)))
42.0ms
(- (* b_2 b_2) (* a c))

simplify778.0ms

Counts
187 → 187

prune2.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 5.7b

localize41.0ms

Local error

Found 4 expressions with local error:

21.5b
(sqrt (- (* b_2 b_2) (* a c)))
21.5b
(sqrt (- (* b_2 b_2) (* a c)))
10.3b
(- (- b_2) (* (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt (sqrt (- (* b_2 b_2) (* a c))))))
1.0b
(- (* b_2 b_2) (* a c))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
12×*-un-lft-identity add-cube-cbrt
11×fma-neg prod-diff
10×add-log-exp
6×distribute-lft-neg-in pow1 distribute-rgt-neg-in sqrt-prod
4×expm1-log1p-u flip3-- add-cbrt-cube sqrt-div add-exp-log insert-posit16 log1p-expm1-u flip--
3×diff-log
2×rem-sqrt-square neg-mul-1 sub-neg sqrt-pow1 pow1/2
1×associate--l- neg-sub0 neg-log difference-of-squares
Counts
4 → 91
Calls
4 calls:
Slowest
18.0ms
(- (- b_2) (* (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt (sqrt (- (* b_2 b_2) (* a c))))))
16.0ms
(- (* b_2 b_2) (* a c))
14.0ms
(sqrt (- (* b_2 b_2) (* a c)))
9.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series339.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
111.0ms
(sqrt (- (* b_2 b_2) (* a c)))
91.0ms
(- (- b_2) (* (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt (sqrt (- (* b_2 b_2) (* a c))))))
87.0ms
(sqrt (- (* b_2 b_2) (* a c)))
50.0ms
(- (* b_2 b_2) (* a c))

simplify940.0ms

Counts
103 → 103

prune1.4s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 5.7b

localize18.0ms

Local error

Found 4 expressions with local error:

21.5b
(sqrt (- (* b_2 b_2) (* a c)))
1.0b
(+ (sqrt (- (* b_2 b_2) (* a c))) b_2)
1.0b
(- (* b_2 b_2) (* a c))
0.1b
(/ (- 0 (+ (sqrt (- (* b_2 b_2) (* a c))) b_2)) a)

rewrite242.0ms

Algorithm
rewrite-expression-head
Rules
40×*-un-lft-identity
27×add-sqr-sqrt
18×times-frac add-cube-cbrt
8×distribute-lft-out-- add-log-exp
6×fma-def add-cbrt-cube add-exp-log sqrt-prod associate-/l*
5×pow1 distribute-lft-out
4×expm1-log1p-u insert-posit16 log1p-expm1-u difference-of-squares
3×associate-/r* flip3-- flip--
2×sqrt-div associate-/l/
1×cbrt-undiv +-commutative rem-sqrt-square clear-num sum-log sub-neg frac-2neg sqrt-pow1 flip3-+ pow1/2 fma-neg diff-log div-sub div-exp prod-diff distribute-frac-neg flip-+ div-inv sub0-neg
Counts
4 → 102
Calls
4 calls:
Slowest
194.0ms
(/ (- 0 (+ (sqrt (- (* b_2 b_2) (* a c))) b_2)) a)
25.0ms
(+ (sqrt (- (* b_2 b_2) (* a c))) b_2)
11.0ms
(- (* b_2 b_2) (* a c))
9.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series362.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
129.0ms
(/ (- 0 (+ (sqrt (- (* b_2 b_2) (* a c))) b_2)) a)
98.0ms
(+ (sqrt (- (* b_2 b_2) (* a c))) b_2)
78.0ms
(sqrt (- (* b_2 b_2) (* a c)))
56.0ms
(- (* b_2 b_2) (* a c))

simplify1.4s

Counts
114 → 114

prune1.2s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 5.7b

localize57.0ms

Local error

Found 4 expressions with local error:

21.5b
(sqrt (- (* b_2 b_2) (* a c)))
21.5b
(sqrt (- (* b_2 b_2) (* a c)))
1.0b
(+ b_2 (sqrt (- (* b_2 b_2) (* a c))))
1.0b
(+ b_2 (sqrt (- (* b_2 b_2) (* a c))))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
12×*-un-lft-identity
10×add-sqr-sqrt
8×add-cube-cbrt add-log-exp
6×pow1 fma-def sqrt-prod
4×expm1-log1p-u add-cbrt-cube sqrt-div add-exp-log insert-posit16 log1p-expm1-u
2×+-commutative rem-sqrt-square sum-log sqrt-pow1 flip3-+ flip3-- pow1/2 flip-+ flip-- distribute-lft-out
Counts
4 → 72
Calls
4 calls:
Slowest
18.0ms
(+ b_2 (sqrt (- (* b_2 b_2) (* a c))))
11.0ms
(+ b_2 (sqrt (- (* b_2 b_2) (* a c))))
10.0ms
(sqrt (- (* b_2 b_2) (* a c)))
9.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series319.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
88.0ms
(+ b_2 (sqrt (- (* b_2 b_2) (* a c))))
87.0ms
(+ b_2 (sqrt (- (* b_2 b_2) (* a c))))
74.0ms
(sqrt (- (* b_2 b_2) (* a c)))
69.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify1.4s

Counts
84 → 84

prune1.0s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 5.6b

regimes308.0ms

Accuracy

84% (4.5b remaining)

Error of 10.0b against oracle of 5.5b and baseline of 33.5b

bsearch137.0ms

end0.0ms

sample3.8s

Algorithm
intervals
Results
1.2s1059×body2560valid
1.0s5855×body80valid
556.0ms904×body1280valid
262.0ms2930×body80nan
233.0ms454×body640valid
115.0ms128×body5120valid
70.0ms238×body320valid
22.0ms113×body160valid