Details

Time bar (total: 25.0s)

sample118.0ms

Algorithm
intervals
Results
29.0ms151×body160valid
27.0ms501×pre80true
22.0ms245×body80nan
13.0ms43×body320valid
6.0ms62×body80valid

simplify148.0ms

Counts
1 → 1

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 42.4b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite33.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
21.0ms
(/ (/ (- (sqrt (fma c (* -4 a) (* b b))) b) 2) a)
7.0ms
(- (sqrt (fma c (* -4 a) (* b b))) b)
1.0ms
(sqrt (fma c (* -4 a) (* b b)))
0.0ms
(fma c (* -4 a) (* b b))

series351.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
111.0ms
(- (sqrt (fma c (* -4 a) (* b b))) b)
90.0ms
(sqrt (fma c (* -4 a) (* b b)))
82.0ms
(/ (/ (- (sqrt (fma c (* -4 a) (* b b))) b) 2) a)
67.0ms
(fma c (* -4 a) (* b b))

simplify879.0ms

Counts
191 → 191

prune2.3s

Pruning

34 alts after pruning (34 fresh and 0 done)

Merged error: 38.7b

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite12.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
8.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
566.0ms
(/ (/ (fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b)) 2) a)
416.0ms
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
69.0ms
(fma c (* -4 a) (* b b))
65.0ms
(fma c (* -4 a) (* b b))

simplify2.0s

Counts
118 → 118

prune1.6s

Pruning

42 alts after pruning (42 fresh and 0 done)

Merged error: 38.7b

localize81.0ms

Local error

Found 4 expressions with local error:

41.8b
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
41.8b
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
41.8b
(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)) 2))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
13×cbrt-prod
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×fma-udef
1×cbrt-div pow1/3 div-inv
Counts
4 → 58
Calls
4 calls:
Slowest
1.0ms
(cbrt (/ (fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b)) 2))
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))

series2.0s

Counts
4 → 12
Calls
4 calls:
Slowest
726.0ms
(cbrt (/ (fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b)) 2))
456.0ms
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
408.0ms
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
400.0ms
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))

simplify2.1s

Counts
70 → 70

prune1.4s

Pruning

44 alts after pruning (44 fresh and 0 done)

Merged error: 38.7b

localize136.0ms

Local error

Found 4 expressions with local error:

41.8b
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
41.8b
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
41.8b
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
41.8b
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 44
Calls
4 calls:
Slowest
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))
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.7s

Counts
4 → 12
Calls
4 calls:
Slowest
466.0ms
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
426.0ms
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
414.0ms
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))
373.0ms
(fma (sqrt (sqrt (fma c (* -4 a) (* b b)))) (sqrt (sqrt (fma c (* -4 a) (* b b)))) (- b))

simplify710.0ms

Counts
56 → 56

prune1.1s

Pruning

45 alts after pruning (45 fresh and 0 done)

Merged error: 38.7b

regimes1.3s

Accuracy

0% (3.1b remaining)

Error of 43.2b against oracle of 40.1b and baseline of 43.2b

bsearch13.0ms

end0.0ms

sample5.9s

Algorithm
intervals
Results
2.3s4894×body160valid
1.2s8249×body80nan
1.0s16249×pre80true
527.0ms1339×body320valid
243.0ms1767×body80valid