Details

sample91.0ms

Algorithm

intervals

Results

52.0ms	389×	body	80	valid
18.0ms	139×	body	80	nan

simplify315.0ms

Calls

1 calls:

Slowest

315.0ms

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

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.3b

localize34.0ms

Local error

Found 2 expressions with local error:

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

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

2 calls:

Slowest

54.0ms	(/ (* (pow k m) a) (fma (+ k 10) k 1))
12.0ms	(* (pow k m) a)

series264.0ms

Calls

2 calls:

Slowest

134.0ms	(* (pow k m) a)
130.0ms	(/ (* (pow k m) a) (fma (+ k 10) k 1))

simplify47.0s

Calls

157 calls:

Slowest

13.1s	(/ (* (cbrt (pow k m)) (cbrt (pow k m))) 1)
769.0ms	(/ (* (pow k m) (* (cbrt a) (cbrt a))) 1)
676.0ms	(/ (sqrt (* (pow k m) a)) (sqrt (fma (+ k 10) k 1)))
646.0ms	(/ (cbrt (* (pow k m) a)) (fma (+ k 10) k 1))
641.0ms	(/ (sqrt (* (pow k m) a)) (* (cbrt (fma (+ k 10) k 1)) (cbrt (fma (+ k 10) k 1))))

prune1.5s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

180×	`times-frac`
103×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
51×	`unpow-prod-down`
39×	`associate-/r*`
17×	`add-exp-log` `sqr-pow`
13×	`associate-/r/`
10×	`div-exp`
9×	`add-cbrt-cube` `associate-/l*`
6×	`div-inv`
4×	`cbrt-undiv`
3×	`clear-num` `frac-2neg`
2×	`expm1-log1p-u` `pow-to-exp` `pow1` `pow-exp` `insert-posit16` `log1p-expm1-u` `add-log-exp`

Calls

2 calls:

Slowest

19.0ms	(/ a (/ (fma (+ k 10) k 1) (pow k m)))
11.0ms	(/ (fma (+ k 10) k 1) (pow k m))

series268.0ms

Calls

2 calls:

Slowest

152.0ms	(/ a (/ (fma (+ k 10) k 1) (pow k m)))
116.0ms	(/ (fma (+ k 10) k 1) (pow k m))

simplify59.7s

Calls

257 calls:

Slowest

982.0ms	(/ (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1)) (* (* (pow k m) (pow k m)) (pow k m)))
823.0ms	(/ 1 (/ 1 (pow k (/ m 2))))
798.0ms	(/ 1 (/ 1 (pow (sqrt k) m)))
729.0ms	(/ 1 (/ 1 (pow (* (cbrt k) (cbrt k)) m)))
642.0ms	(/ 1 (/ (* (cbrt (fma (+ k 10) k 1)) (cbrt (fma (+ k 10) k 1))) (pow (* (cbrt k) (cbrt k)) m)))

prune2.2s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

16.5b	(cbrt (/ (* (* (pow k m) a) (* (* (pow k m) a) (* (pow k m) a))) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1))))
4.9b	(/ (* (* (pow k m) a) (* (* (pow k m) a) (* (pow k m) a))) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1)))
0.1b	(* (fma (+ k 10) k 1) (fma (+ k 10) k 1))
0.0b	(* (* (pow k m) a) (* (* (pow k m) a) (* (pow k m) a)))

rewrite2.8s

Algorithm

rewrite-expression-head

Rules

35487×	`add-sqr-sqrt`
26303×	`unswap-sqr`
11258×	`associate-l`
10752×	`times-frac`
8809×	`associate-r`
5380×	`cbrt-prod`
5369×	`unpow-prod-down`
4779×	`sqr-pow`
4244×	`*-un-lft-identity`
4008×	`add-cube-cbrt`
3671×	`swap-sqr`
1809×	`*-commutative`
1615×	`add-exp-log`
1324×	`prod-exp`
384×	`associate-/l*`
239×	`add-cbrt-cube`
223×	`cbrt-div`
207×	`div-exp`
196×	`pow-to-exp` `pow-exp`
158×	`cbrt-unprod`
139×	`pow1`
61×	`pow-prod-down`
56×	`associate-/r*`
33×	`cbrt-undiv`
31×	`pow-prod-up`
9×	`pow-sqr`
5×	`pow-plus`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`pow2`
2×	`clear-num` `frac-2neg` `cube-unmult` `fma-udef` `div-inv`
1×	`distribute-rgt-in` `distribute-lft-in` `pow1/3`

Calls

4 calls:

Slowest

634.0ms	(cbrt (/ (* (* (pow k m) a) (* (* (pow k m) a) (* (pow k m) a))) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1))))
604.0ms	(/ (* (* (pow k m) a) (* (* (pow k m) a) (* (pow k m) a))) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1)))
395.0ms	(* (* (pow k m) a) (* (* (pow k m) a) (* (pow k m) a)))
12.0ms	(* (fma (+ k 10) k 1) (fma (+ k 10) k 1))

series764.0ms

Calls

4 calls:

Slowest

308.0ms	(* (* (pow k m) a) (* (* (pow k m) a) (* (pow k m) a)))
216.0ms	(/ (* (* (pow k m) a) (* (* (pow k m) a) (* (pow k m) a))) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1)))
198.0ms	(cbrt (/ (* (* (pow k m) a) (* (* (pow k m) a) (* (pow k m) a))) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1))))
41.0ms	(* (fma (+ k 10) k 1) (fma (+ k 10) k 1))