Details

Time bar (total: 26.6s)

sample133.0ms

Algorithm
intervals
Results
36.0ms244×body80nan
34.0ms155×body160valid
24.0ms500×pre80true
12.0ms41×body320valid
7.0ms60×body80valid

simplify128.0ms

Counts
1 → 1

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 43.9b

localize410.0ms

Local error

Found 4 expressions with local error:

39.5b
(- (sqrt (fma c (* -4 a) (* b b))) b)
0.2b
(/ (/ (- (sqrt (fma c (* -4 a) (* b b))) b) 2) a)
0.2b
(fma c (* -4 a) (* b b))
0.1b
(sqrt (fma c (* -4 a) (* b b)))

rewrite34.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
19.0ms
(/ (/ (- (sqrt (fma c (* -4 a) (* b b))) b) 2) a)
8.0ms
(- (sqrt (fma c (* -4 a) (* b b))) b)
2.0ms
(sqrt (fma c (* -4 a) (* b b)))
0.0ms
(fma c (* -4 a) (* b b))

series399.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
112.0ms
(- (sqrt (fma c (* -4 a) (* b b))) b)
99.0ms
(/ (/ (- (sqrt (fma c (* -4 a) (* b b))) b) 2) a)
95.0ms
(sqrt (fma c (* -4 a) (* b b)))
93.0ms
(fma c (* -4 a) (* b b))

simplify773.0ms

Counts
191 → 191

prune2.6s

Pruning

29 alts after pruning (29 fresh and 0 done)

Merged error: 40.1b

localize27.0ms

Local error

Found 4 expressions with local error:

43.1b
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
0.2b
(/ (/ (fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b)) 2) a)
0.2b
(fma c (* -4 a) (* b b))
0.2b
(fma c (* -4 a) (* b b))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
46×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×associate-/l*
9×add-cbrt-cube add-exp-log
5×div-inv
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv associate-/r* div-exp fma-udef
1×clear-num frac-2neg associate-/l/
Counts
4 → 106
Calls
4 calls:
Slowest
12.0ms
(/ (/ (fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b)) 2) a)
0.0ms
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
0.0ms
(fma c (* -4 a) (* b b))
0.0ms
(fma c (* -4 a) (* b b))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
607.0ms
(/ (/ (fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b)) 2) a)
370.0ms
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
72.0ms
(fma c (* -4 a) (* b b))
66.0ms
(fma c (* -4 a) (* b b))

simplify1.7s

Counts
118 → 118

prune1.7s

Pruning

39 alts after pruning (39 fresh and 0 done)

Merged error: 40.0b

localize84.0ms

Local error

Found 4 expressions with local error:

43.1b
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
43.1b
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
43.1b
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
0.6b
(cbrt (fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b)))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-prod fma-udef
1×pow1/3
Counts
4 → 47
Calls
4 calls:
Slowest
11.0ms
(cbrt (fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b)))
1.0ms
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
1.0ms
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
0.0ms
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))

series1.8s

Counts
4 → 12
Calls
4 calls:
Slowest
588.0ms
(cbrt (fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b)))
455.0ms
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
396.0ms
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
385.0ms
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))

simplify1.5s

Counts
59 → 59

prune987.0ms

Pruning

40 alts after pruning (40 fresh and 0 done)

Merged error: 39.9b

localize59.0ms

Local error

Found 4 expressions with local error:

43.1b
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
43.1b
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
43.1b
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
0.7b
(cbrt (/ (/ (fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b)) 2) a))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
66×times-frac
43×cbrt-prod
39×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u div-inv add-log-exp
3×fma-udef
1×cbrt-div pow1/3
Counts
4 → 88
Calls
4 calls:
Slowest
3.0ms
(cbrt (/ (/ (fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b)) 2) a))
0.0ms
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
0.0ms
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
0.0ms
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))

series1.8s

Counts
4 → 12
Calls
4 calls:
Slowest
585.0ms
(cbrt (/ (/ (fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b)) 2) a))
421.0ms
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
407.0ms
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
406.0ms
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))

simplify2.5s

Counts
100 → 100

prune1.5s

Pruning

41 alts after pruning (41 fresh and 0 done)

Merged error: 39.9b

regimes1.2s

Accuracy

0% (3.1b remaining)

Error of 43.3b against oracle of 40.2b and baseline of 43.3b

bsearch4.0ms

end0.0ms

sample6.0s

Algorithm
intervals
Results
1.9s4862×body160valid
1.3s8487×body80nan
1.0s16487×pre80true
1.0s1361×body320valid
277.0ms1777×body80valid