Details

Time bar (total: 21.2s)

sample122.0ms

Algorithm
intervals
Results
28.0ms195×body80valid
22.0ms24×body2560valid
20.0ms30×body1280valid
14.0ms100×body80nan
8.0ms14×body640valid
4.0ms10×body320valid
3.0ms3×body5120valid
0.0ms2×body160valid

simplify152.0ms

Counts
1 → 1

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.2b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
135×add-sqr-sqrt
108×*-un-lft-identity
82×add-cube-cbrt
28×sqrt-prod
26×difference-of-squares
22×associate-/l*
18×prod-diff
13×distribute-lft-out--
9×add-cbrt-cube add-exp-log
6×fma-neg add-log-exp
5×pow1 div-inv
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×cbrt-undiv associate-/r* div-exp
2×div-sub
1×rem-sqrt-square clear-num sub-neg frac-2neg sqrt-pow1 flip3-- pow1/2 diff-log fma-udef flip-- associate-/l/
Counts
4 → 179
Calls
4 calls:
Slowest
27.0ms
(/ (/ (- (sqrt (fma b b (* (* a c) -4))) b) 2) a)
7.0ms
(- (sqrt (fma b b (* (* a c) -4))) b)
1.0ms
(sqrt (fma b b (* (* a c) -4)))
0.0ms
(fma b b (* (* a c) -4))

series439.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
152.0ms
(/ (/ (- (sqrt (fma b b (* (* a c) -4))) b) 2) a)
123.0ms
(sqrt (fma b b (* (* a c) -4)))
101.0ms
(- (sqrt (fma b b (* (* a c) -4))) b)
63.0ms
(fma b b (* (* a c) -4))

simplify429.0ms

Counts
282 → 191

prune2.4s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 7.1b

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
31×*-un-lft-identity
27×add-cube-cbrt
18×prod-diff
17×sqrt-prod
13×associate-*r*
10×times-frac
9×add-cbrt-cube add-exp-log
7×pow1
6×fma-neg associate-*l* add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u difference-of-squares
3×flip3-- flip--
2×frac-times associate-*l/ prod-exp cbrt-unprod distribute-lft-out-- unswap-sqr
1×cbrt-undiv rem-sqrt-square sub-neg sqrt-pow1 pow1/2 diff-log div-exp pow-prod-down associate-*r/ *-commutative fma-udef div-inv
Counts
4 → 111
Calls
4 calls:
Slowest
33.0ms
(* (- (sqrt (fma b b (* (* c a) -4))) b) (/ 1/2 a))
7.0ms
(- (sqrt (fma b b (* (* c a) -4))) b)
1.0ms
(sqrt (fma b b (* (* c a) -4)))
0.0ms
(fma b b (* (* c a) -4))

series462.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
147.0ms
(- (sqrt (fma b b (* (* c a) -4))) b)
130.0ms
(* (- (sqrt (fma b b (* (* c a) -4))) b) (/ 1/2 a))
115.0ms
(sqrt (fma b b (* (* c a) -4)))
70.0ms
(fma b b (* (* c a) -4))

simplify617.0ms

Counts
149 → 123

prune1.5s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 7.1b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
26×add-sqr-sqrt
23×*-un-lft-identity
21×add-cube-cbrt
18×prod-diff
16×sqrt-prod
9×add-cbrt-cube add-exp-log
6×fma-neg add-log-exp
5×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×associate-/r* times-frac
2×cbrt-undiv flip3-- div-exp associate-*l/ flip-- difference-of-squares associate-/l/
1×rem-sqrt-square clear-num sub-neg frac-2neg sqrt-pow1 pow1/2 diff-log prod-exp cbrt-unprod fma-udef div-inv associate-/l* distribute-lft-out--
Counts
4 → 95
Calls
4 calls:
Slowest
26.0ms
(/ (* (- (sqrt (fma b b (* (* c a) -4))) b) 1/2) a)
8.0ms
(- (sqrt (fma b b (* (* c a) -4))) b)
1.0ms
(sqrt (fma b b (* (* c a) -4)))
0.0ms
(fma b b (* (* c a) -4))

series442.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
139.0ms
(- (sqrt (fma b b (* (* c a) -4))) b)
134.0ms
(/ (* (- (sqrt (fma b b (* (* c a) -4))) b) 1/2) a)
104.0ms
(sqrt (fma b b (* (* c a) -4)))
65.0ms
(fma b b (* (* c a) -4))

simplify541.0ms

Counts
134 → 107

prune1.4s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 7.1b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
693×times-frac
452×add-sqr-sqrt
377×*-un-lft-identity
303×add-cube-cbrt
74×difference-of-squares
71×associate-/r*
52×sqrt-prod
37×distribute-lft-out--
25×add-exp-log
18×prod-diff
17×div-inv
15×div-exp
13×add-cbrt-cube
6×pow1 cbrt-undiv fma-neg add-log-exp
5×associate-/r/
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×rec-exp 1-exp associate-/l*
1×rem-sqrt-square clear-num sub-neg frac-2neg sqrt-pow1 flip3-- pow1/2 diff-log fma-udef pow-flip flip-- inv-pow
Counts
4 → 384
Calls
4 calls:
Slowest
37.0ms
(/ 1 (/ a (/ (- (sqrt (fma b b (* (* a c) -4))) b) 2)))
7.0ms
(- (sqrt (fma b b (* (* a c) -4))) b)
1.0ms
(sqrt (fma b b (* (* a c) -4)))
0.0ms
(fma b b (* (* a c) -4))

series564.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
212.0ms
(/ 1 (/ a (/ (- (sqrt (fma b b (* (* a c) -4))) b) 2)))
138.0ms
(sqrt (fma b b (* (* a c) -4)))
128.0ms
(- (sqrt (fma b b (* (* a c) -4))) b)
85.0ms
(fma b b (* (* a c) -4))

simplify1.2s

Counts
632 → 396

prune5.6s

Pruning

14 alts after pruning (11 fresh and 3 done)

Merged error: 7.1b

regimes453.0ms

Accuracy

82.8% (4.8b remaining)

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

bsearch210.0ms

end0.0ms

sample4.5s

Algorithm
intervals
Results
1.4s1049×body2560valid
894.0ms5843×body80valid
722.0ms889×body1280valid
450.0ms2926×body80nan
359.0ms490×body640valid
130.0ms107×body5120valid
121.0ms223×body320valid
54.0ms114×body160valid