Details

sample1.2s

Algorithm

intervals

Results

1.2s

3213×

body

valid

simplify1.3s

Calls

1 calls:

Slowest

1.3s

(* (* (/ 1 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))))

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.0b

localize80.0ms

Local error

Found 4 expressions with local error:

1.0b	(sqrt PI)
0.5b	(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
0.5b	(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
0.4b	(* (/ (/ 1 (fabs x)) (fabs x)) (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))))

rewrite3.5s

Algorithm

rewrite-expression-head

Rules

47992×	`frac-times`
42413×	`associate-/l*`
27913×	`add-sqr-sqrt`
27126×	`*-un-lft-identity`
26923×	`add-cube-cbrt`
25314×	`times-frac`
23898×	`associate-/l/`
15870×	`associate-/r*`
5352×	`clear-num`
5290×	`frac-2neg`
2869×	`div-inv`
1714×	`associate-*r/`
969×	`add-exp-log`
896×	`associate-*l/`
576×	`div-exp`
365×	`unswap-sqr`
305×	`prod-exp`
294×	`associate-r`
247×	`add-cbrt-cube`
186×	`un-div-inv`
172×	`swap-sqr` `associate-l`
144×	`pow1`
120×	`cbrt-undiv`
96×	`rec-exp` `1-exp`
75×	`cbrt-unprod`
74×	`pow-div`
37×	`pow-flip` `inv-pow`
35×	`pow-prod-up`
13×	`pow-prod-down`
11×	`pow-sqr`
10×	`*-commutative`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`pow2` `pow-plus` `sqrt-prod`
2×	`cube-unmult`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`

Calls

4 calls:

Slowest

273.0ms	(* (/ (/ 1 (fabs x)) (fabs x)) (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))))
61.0ms	(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
42.0ms	(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
1.0ms	(sqrt PI)

series172.0ms

Calls

4 calls:

Slowest

74.0ms	(* (/ (/ 1 (fabs x)) (fabs x)) (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))))
53.0ms	(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
44.0ms	(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
0.0ms	(sqrt PI)