Details

Time bar (total: 19.6s)

sample147.0ms

Algorithm
intervals
Results
53.0ms166×body160valid
27.0ms489×pre80true
25.0ms233×body80nan
12.0ms38×body320valid
5.0ms52×body80valid

simplify97.0ms

Counts
1 → 1

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 44.8b

localize22.0ms

Local error

Found 4 expressions with local error:

40.8b
(- (sqrt (fma c (* -3 a) (* b b))) b)
0.3b
(/ (- (sqrt (fma c (* -3 a) (* b b))) b) (* 3 a))
0.1b
(fma c (* -3 a) (* b b))
0.1b
(sqrt (fma c (* -3 a) (* b b)))

rewrite28.0ms

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

series326.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
102.0ms
(- (sqrt (fma c (* -3 a) (* b b))) b)
93.0ms
(/ (- (sqrt (fma c (* -3 a) (* b b))) b) (* 3 a))
77.0ms
(sqrt (fma c (* -3 a) (* b b)))
54.0ms
(fma c (* -3 a) (* b b))

simplify1.1s

Counts
114 → 114

prune1.3s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 41.1b

localize47.0ms

Local error

Found 4 expressions with local error:

44.1b
(fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b))
0.3b
(/ (fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b)) (* 3 a))
0.1b
(fma c (* -3 a) (* b b))
0.1b
(fma c (* -3 a) (* b b))

rewrite10.0ms

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

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
580.0ms
(/ (fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b)) (* 3 a))
442.0ms
(fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b))
58.0ms
(fma c (* -3 a) (* b b))
53.0ms
(fma c (* -3 a) (* b b))

simplify1.1s

Counts
69 → 69

prune865.0ms

Pruning

30 alts after pruning (30 fresh and 0 done)

Merged error: 41.0b

localize81.0ms

Local error

Found 4 expressions with local error:

44.1b
(fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b))
44.1b
(fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b))
44.1b
(fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b))
0.6b
(cbrt (fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b)))

rewrite2.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
1.0ms
(cbrt (fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b)))
0.0ms
(fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b))
0.0ms
(fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b))
0.0ms
(fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b))

series1.7s

Counts
4 → 12
Calls
4 calls:
Slowest
585.0ms
(cbrt (fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b)))
402.0ms
(fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b))
383.0ms
(fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b))
340.0ms
(fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b))

simplify1.3s

Counts
59 → 59

prune1.1s

Pruning

40 alts after pruning (40 fresh and 0 done)

Merged error: 40.9b

localize93.0ms

Local error

Found 4 expressions with local error:

44.1b
(fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b))
44.1b
(fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b))
44.1b
(fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b))
44.1b
(fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 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 (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b))
0.0ms
(fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b))
0.0ms
(fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b))
0.0ms
(fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b))

series1.5s

Counts
4 → 12
Calls
4 calls:
Slowest
404.0ms
(fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b))
396.0ms
(fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b))
355.0ms
(fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b))
336.0ms
(fma (sqrt (sqrt (fma c (* -3 a) (* b b)))) (sqrt (sqrt (fma c (* -3 a) (* b b)))) (- b))

simplify611.0ms

Counts
56 → 56

prune798.0ms

Pruning

42 alts after pruning (42 fresh and 0 done)

Merged error: 40.9b

regimes1.4s

Accuracy

0% (3.1b remaining)

Error of 43.5b against oracle of 40.4b and baseline of 43.5b

bsearch5.0ms

end0.0ms

sample4.9s

Algorithm
intervals
Results
1.3s8334×body80nan
1.1s4877×body160valid
972.0ms16334×pre80true
602.0ms1370×body320valid
270.0ms1753×body80valid