Details

sample110.0ms

Algorithm

intervals

Results

66.0ms	274×	body	80	valid
20.0ms	95×	body	80	nan

simplify304.0ms

Calls

1 calls:

Slowest

303.0ms

(if (>= b 0) (/ (* 2 c) (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)))

prune27.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.1b

localize140.0ms

Local error

Found 4 expressions with local error:

25.6b	(sqrt (- (* b b) (* (* 4 a) c)))
25.6b	(sqrt (- (* b b) (* (* 4 a) c)))
1.8b	(- (* b b) (* (* 4 a) c))
1.8b	(- (* b b) (* (* 4 a) c))

rewrite314.0ms

Algorithm

rewrite-expression-head

Rules

870×	`add-sqr-sqrt`
660×	`prod-diff`
624×	`associate-l`
434×	`*-un-lft-identity`
386×	`add-cube-cbrt`
318×	`associate-r`
238×	`unswap-sqr`
150×	`swap-sqr`
118×	`*-commutative`
60×	`difference-of-squares`
48×	`sqrt-prod`
30×	`fma-neg`
24×	`distribute-lft-out--`
8×	`add-log-exp`
6×	`pow1`
4×	`expm1-log1p-u` `flip3--` `add-cbrt-cube` `sqrt-div` `add-exp-log` `insert-posit16` `log1p-expm1-u` `flip--`
2×	`rem-sqrt-square` `sub-neg` `sqrt-pow1` `pow1/2` `diff-log`

Calls

4 calls:

Slowest

98.0ms	(sqrt (- (* b b) (* (* 4 a) c)))
63.0ms	(sqrt (- (* b b) (* (* 4 a) c)))
60.0ms	(- (* b b) (* (* 4 a) c))
55.0ms	(- (* b b) (* (* 4 a) c))

series328.0ms

Calls

4 calls:

Slowest

112.0ms	(sqrt (- (* b b) (* (* 4 a) c)))
101.0ms	(sqrt (- (* b b) (* (* 4 a) c)))
63.0ms	(- (* b b) (* (* 4 a) c))
52.0ms	(- (* b b) (* (* 4 a) c))

simplify4.3m

Calls

1484 calls:

Slowest

811.0ms	(fma b b (- (* (cbrt c) (* (* 4 a) (* (cbrt c) (cbrt c))))))
679.0ms	(fma b b (- (* (cbrt (* (* 4 a) c)) (* (cbrt (* (* 4 a) c)) (cbrt (* (* 4 a) c))))))
598.0ms	(fma (- (* (* 4 a) c)) 1 (* (* (* 4 a) c) 1))
595.0ms	(fma (- (* (* 4 a) c)) 1 (* (* (* 4 a) c) 1))
569.0ms	(fma (* (cbrt b) (cbrt b)) (* (cbrt b) b) (- (* (* (* (sqrt 4) a) c) (sqrt 4))))

prune15.1s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 8.1b

localize155.0ms

Local error

Found 4 expressions with local error:

25.6b	(sqrt (- (* b b) (* (* 4 a) c)))
25.6b	(sqrt (- (* b b) (* (* 4 a) c)))
25.6b	(sqrt (- (* b b) (* (* 4 a) c)))
9.0b	(- (- b) (* (sqrt (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4 a) c))))))

rewrite1.4s

Algorithm

rewrite-expression-head

Rules

4608×	`sqrt-prod`
3648×	`add-sqr-sqrt`
2716×	`*-un-lft-identity`
1769×	`associate-l`
1640×	`prod-diff`
1173×	`unswap-sqr`
1098×	`swap-sqr`
982×	`distribute-lft-out--`
906×	`difference-of-squares`
632×	`add-cube-cbrt`
497×	`distribute-rgt-neg-in`
495×	`distribute-lft-neg-in`
300×	`associate-r`
200×	`*-commutative`
165×	`neg-mul-1`
10×	`fma-neg`
8×	`add-log-exp`
7×	`pow1`
6×	`sqrt-div`
4×	`expm1-log1p-u` `flip3--` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u` `flip--`
3×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`
2×	`diff-log`
1×	`associate--l-` `neg-sub0` `sub-neg` `neg-log`

Calls

4 calls:

Slowest

882.0ms	(- (- b) (* (sqrt (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4 a) c))))))
131.0ms	(sqrt (- (* b b) (* (* 4 a) c)))
121.0ms	(sqrt (- (* b b) (* (* 4 a) c)))
99.0ms	(sqrt (- (* b b) (* (* 4 a) c)))

series472.0ms

Calls

4 calls:

Slowest

136.0ms	(- (- b) (* (sqrt (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4 a) c))))))
116.0ms	(sqrt (- (* b b) (* (* 4 a) c)))
113.0ms	(sqrt (- (* b b) (* (* 4 a) c)))
107.0ms	(sqrt (- (* b b) (* (* 4 a) c)))