Details

sample85.0ms

Algorithm

intervals

Results

50.0ms	388×	body	80	valid
16.0ms	131×	body	80	nan

simplify1.2s

Calls

1 calls:

Slowest

1.2s	(/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k)))

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.8b

localize18.0ms

Local error

Found 3 expressions with local error:

1.8b	(/ (* (pow k m) a) (fma (+ k 10) k 1))
0.0b	(* (pow k m) a)
0.0b	(fma (+ k 10) k 1)

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

66×	`add-sqr-sqrt`
54×	`times-frac`
41×	`*-un-lft-identity` `add-cube-cbrt`
35×	`associate-l`
20×	`unpow-prod-down`
18×	`add-exp-log` `associate-/l*`
15×	`associate-r` `unswap-sqr`
10×	`add-cbrt-cube` `sqr-pow`
6×	`prod-exp`
5×	`pow1` `*-commutative`
4×	`div-exp`
3×	`expm1-log1p-u` `associate-/r*` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`pow-to-exp` `cbrt-undiv` `pow-exp` `cbrt-unprod`
1×	`clear-num` `frac-2neg` `pow-prod-down` `fma-udef` `div-inv`

Calls

3 calls:

Slowest

24.0ms	(/ (* (pow k m) a) (fma (+ k 10) k 1))
17.0ms	(* (pow k m) a)
0.0ms	(fma (+ k 10) k 1)

series312.0ms

Calls

3 calls:

Slowest

162.0ms	(* (pow k m) a)
120.0ms	(/ (* (pow k m) a) (fma (+ k 10) k 1))
29.0ms	(fma (+ k 10) k 1)

simplify33.4s

Calls

160 calls:

Slowest

687.0ms	(/ (* (pow k m) (* (cbrt a) (cbrt a))) 1)
633.0ms	(/ (sqrt (* (pow k m) a)) (sqrt (fma (+ k 10) k 1)))
615.0ms	(/ (cbrt (* (pow k m) a)) (cbrt (fma (+ k 10) k 1)))
598.0ms	(/ (* (cbrt (* (pow k m) a)) (cbrt (* (pow k m) a))) 1)
581.0ms	(/ (sqrt (* (pow k m) a)) (fma (+ k 10) k 1))

prune1.7s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

1.6b	(/ (fma (+ k 10) k 1) (* (pow k m) a))
0.2b	(/ 1 (/ (fma (+ k 10) k 1) (* (pow k m) a)))
0.0b	(* (pow k m) a)
0.0b	(fma (+ k 10) k 1)

rewrite107.0ms

Algorithm

rewrite-expression-head

Rules

444×	`times-frac`
320×	`add-sqr-sqrt`
231×	`*-un-lft-identity`
230×	`add-cube-cbrt`
126×	`associate-l`
94×	`associate-/r*`
72×	`unpow-prod-down`
57×	`add-exp-log`
54×	`associate-r` `unswap-sqr`
36×	`sqr-pow`
26×	`div-exp`
24×	`associate-/r/`
20×	`add-cbrt-cube`
18×	`*-commutative`
15×	`prod-exp`
10×	`associate-/l*`
7×	`pow1` `cbrt-undiv`
6×	`div-inv`
5×	`pow-to-exp` `rec-exp` `1-exp` `pow-exp`
4×	`expm1-log1p-u` `clear-num` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`frac-2neg` `cbrt-unprod`
2×	`remove-double-div`
1×	`pow-prod-down` `fma-udef` `pow-flip` `inv-pow`

Calls

4 calls:

Slowest

48.0ms	(/ 1 (/ (fma (+ k 10) k 1) (* (pow k m) a)))
27.0ms	(* (pow k m) a)
16.0ms	(/ (fma (+ k 10) k 1) (* (pow k m) a))
0.0ms	(fma (+ k 10) k 1)

series430.0ms

Calls

4 calls:

Slowest

140.0ms	(/ 1 (/ (fma (+ k 10) k 1) (* (pow k m) a)))
137.0ms	(* (pow k m) a)
129.0ms	(/ (fma (+ k 10) k 1) (* (pow k m) a))
24.0ms	(fma (+ k 10) k 1)

simplify2.5m

Calls

609 calls:

Slowest

1.5s	(/ 1 (/ (fma (+ k 10) k 1) (* (pow k (/ m 2)) (sqrt a))))
1.3s	(/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (fma (+ k 10) k 1)) (* (sqrt (pow k m)) (sqrt a))))
848.0ms	(/ 1 (/ 1 (* (pow k m) 1)))
828.0ms	(/ 1 (/ 1 (pow k (/ m 2))))
757.0ms	(/ 1 (/ 1 (pow (* (cbrt k) (cbrt k)) m)))

prune5.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize44.0ms

Local error

Found 4 expressions with local error:

17.5b	(sqrt (fma (+ k 10) k 1))
17.5b	(sqrt (fma (+ k 10) k 1))
0.3b	(/ 1 (/ (sqrt (fma (+ k 10) k 1)) a))
0.0b	(/ (/ 1 (/ (sqrt (fma (+ k 10) k 1)) a)) (/ (sqrt (fma (+ k 10) k 1)) (pow k m)))

rewrite355.0ms

Algorithm

rewrite-expression-head

Rules

13054×	`times-frac`
5400×	`add-sqr-sqrt`
5399×	`*-un-lft-identity`
5398×	`add-cube-cbrt`
3210×	`sqrt-prod`
1497×	`unpow-prod-down`
592×	`associate-/r/`
499×	`sqr-pow`
383×	`associate-/l*`
278×	`div-inv`
241×	`associate-/r*`
105×	`add-exp-log`
84×	`div-exp`
53×	`clear-num`
52×	`frac-2neg`
30×	`add-cbrt-cube`
28×	`associate-/l/`
18×	`cbrt-undiv`
10×	`rec-exp` `1-exp`
7×	`pow-to-exp` `pow1` `pow-exp`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `remove-double-div`
1×	`pow-flip` `inv-pow`

Calls

4 calls:

Slowest

55.0ms	(/ (/ 1 (/ (sqrt (fma (+ k 10) k 1)) a)) (/ (sqrt (fma (+ k 10) k 1)) (pow k m)))
16.0ms	(/ 1 (/ (sqrt (fma (+ k 10) k 1)) a))
3.0ms	(sqrt (fma (+ k 10) k 1))
2.0ms	(sqrt (fma (+ k 10) k 1))

series330.0ms

Calls

4 calls:

Slowest

151.0ms	(/ (/ 1 (/ (sqrt (fma (+ k 10) k 1)) a)) (/ (sqrt (fma (+ k 10) k 1)) (pow k m)))
84.0ms	(/ 1 (/ (sqrt (fma (+ k 10) k 1)) a))
52.0ms	(sqrt (fma (+ k 10) k 1))
43.0ms	(sqrt (fma (+ k 10) k 1))