Details

sample1.8s

Algorithm

intervals

Results

1.4s	79×	body	10240	exit
97.0ms	50×	body	1280	nan
92.0ms	260×	body	80	valid
62.0ms	45×	body	640	nan
18.0ms	17×	body	320	nan
4.0ms	5×	body	160	nan
3.0ms	8×	body	80	nan

simplify8.1s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
3	3604
2	604
1	148
0	60

prune84.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize394.0ms

Local error

Found 4 expressions with local error:

1.0b	(+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0)))
1.0b	(+ (+ (/ 1.5056327351493116e-07 (+ 8.0 (- 0 z))) (/ -0.13857109526572012 (+ 6.0 (- 0 z)))) (+ (+ (/ 9.984369578019572e-06 (+ 7.0 (- 0 z))) (/ 12.507343278686905 (+ (- 0 z) 5.0))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0))) (/ -1259.1392167224028 (+ (- 0 z) 2.0))))))
1.0b	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0))) (/ -1259.1392167224028 (+ (- 0 z) 2.0))))
1.0b	(sqrt (* 2.0 PI))

rewrite44.6s

Algorithm

rewrite-expression-head

Rules

477×	`frac-add`
342×	`*-un-lft-identity`
213×	`distribute-lft-out`
204×	`add-log-exp`
180×	`flip3-+` `flip-+`
163×	`sum-log`
51×	`times-frac`
38×	`fma-def`
15×	`add-sqr-sqrt` `add-cube-cbrt` `distribute-lft-out--`
7×	`pow1`
4×	`expm1-log1p-u` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u`
3×	`+-commutative`
2×	`associate-+l+` `associate-+r+` `sqrt-pow1` `associate-/r/`
1×	`pow1/2` `pow-prod-down` `sqrt-prod` `div-inv`

Counts

4 → 303

Calls

4 calls:

435.0ms	(+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0)))
39.1s	(+ (+ (/ 1.5056327351493116e-07 (+ 8.0 (- 0 z))) (/ -0.13857109526572012 (+ 6.0 (- 0 z)))) (+ (+ (/ 9.984369578019572e-06 (+ 7.0 (- 0 z))) (/ 12.507343278686905 (+ (- 0 z) 5.0))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0))) (/ -1259.1392167224028 (+ (- 0 z) 2.0))))))
5.0s	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0))) (/ -1259.1392167224028 (+ (- 0 z) 2.0))))
12.0ms	(sqrt (* 2.0 PI))

series612.0ms

Counts

4 → 10

Calls

4 calls:

114.0ms	(+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0)))
322.0ms	(+ (+ (/ 1.5056327351493116e-07 (+ 8.0 (- 0 z))) (/ -0.13857109526572012 (+ 6.0 (- 0 z)))) (+ (+ (/ 9.984369578019572e-06 (+ 7.0 (- 0 z))) (/ 12.507343278686905 (+ (- 0 z) 5.0))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0))) (/ -1259.1392167224028 (+ (- 0 z) 2.0))))))
176.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0))) (/ -1259.1392167224028 (+ (- 0 z) 2.0))))
0.0ms	(sqrt (* 2.0 PI))

simplify9.0s

Counts

313 → 313

Iterations

Iter	Nodes
done	5000
1	3978
0	971

prune8.7s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.2b

localize1.9s

Local error

Found 4 expressions with local error:

1.0b	(+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0)))
1.0b	(* (* (+ 8.0 (- 0 z)) (+ 6.0 (- 0 z))) (* (* (+ 7.0 (- 0 z)) (+ (- 0 z) 5.0)) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (+ (* (+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0))) (+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0)))) (- (* (/ -1259.1392167224028 (+ (- 0 z) 2.0)) (/ -1259.1392167224028 (+ (- 0 z) 2.0))) (* (+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0))) (/ -1259.1392167224028 (+ (- 0 z) 2.0))))))))
1.0b	(* (+ (* 1.5056327351493116e-07 (+ 6.0 (- 0 z))) (* (+ 8.0 (- 0 z)) -0.13857109526572012)) (* (* (+ 7.0 (- 0 z)) (+ (- 0 z) 5.0)) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (+ (* (+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0))) (+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0)))) (- (* (/ -1259.1392167224028 (+ (- 0 z) 2.0)) (/ -1259.1392167224028 (+ (- 0 z) 2.0))) (* (+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0))) (/ -1259.1392167224028 (+ (- 0 z) 2.0))))))))
1.0b	(sqrt (* 2.0 PI))

rewrite3.8m

Algorithm

rewrite-expression-head

Rules

710750×	`frac-times`
401276×	`flip3-+` `flip-+`
328105×	`frac-add`
306990×	`associate-*r/`
240514×	`associate-*l/`
136080×	`frac-sub`
12960×	`sub-div`
6480×	`flip3--` `flip--`
85×	`*-un-lft-identity`
66×	`pow1`
63×	`add-cbrt-cube` `add-exp-log`
45×	`pow-prod-down`
44×	`prod-exp` `cbrt-unprod`
33×	`times-frac`
28×	`distribute-lft-out`
24×	`distribute-rgt-in` `distribute-lft-in`
21×	`fma-def`
14×	`add-sqr-sqrt` `add-cube-cbrt`
9×	`distribute-lft-out--`
6×	`add-log-exp`
4×	`expm1-log1p-u` `associate-l` `insert-posit16` `log1p-expm1-u`
2×	`sqrt-pow1` `associate-r` `associate-/r/` `*-commutative`
1×	`+-commutative` `sum-log` `pow1/2` `sqrt-prod` `div-inv`

Counts

4 → 163443

Calls

4 calls:

370.0ms	(+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0)))
20.6s	(* (* (+ 8.0 (- 0 z)) (+ 6.0 (- 0 z))) (* (* (+ 7.0 (- 0 z)) (+ (- 0 z) 5.0)) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (+ (* (+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0))) (+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0)))) (- (* (/ -1259.1392167224028 (+ (- 0 z) 2.0)) (/ -1259.1392167224028 (+ (- 0 z) 2.0))) (* (+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0))) (/ -1259.1392167224028 (+ (- 0 z) 2.0))))))))
18.9s	(* (+ (* 1.5056327351493116e-07 (+ 6.0 (- 0 z))) (* (+ 8.0 (- 0 z)) -0.13857109526572012)) (* (* (+ 7.0 (- 0 z)) (+ (- 0 z) 5.0)) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (+ (* (+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0))) (+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0)))) (- (* (/ -1259.1392167224028 (+ (- 0 z) 2.0)) (/ -1259.1392167224028 (+ (- 0 z) 2.0))) (* (+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0))) (/ -1259.1392167224028 (+ (- 0 z) 2.0))))))))
12.0ms	(sqrt (* 2.0 PI))

series1.5s

Counts

4 → 10

Calls

4 calls:

126.0ms	(+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0)))
690.0ms	(* (* (+ 8.0 (- 0 z)) (+ 6.0 (- 0 z))) (* (* (+ 7.0 (- 0 z)) (+ (- 0 z) 5.0)) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (+ (* (+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0))) (+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0)))) (- (* (/ -1259.1392167224028 (+ (- 0 z) 2.0)) (/ -1259.1392167224028 (+ (- 0 z) 2.0))) (* (+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0))) (/ -1259.1392167224028 (+ (- 0 z) 2.0))))))))
706.0ms	(* (+ (* 1.5056327351493116e-07 (+ 6.0 (- 0 z))) (* (+ 8.0 (- 0 z)) -0.13857109526572012)) (* (* (+ 7.0 (- 0 z)) (+ (- 0 z) 5.0)) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (+ (* (+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0))) (+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0)))) (- (* (/ -1259.1392167224028 (+ (- 0 z) 2.0)) (/ -1259.1392167224028 (+ (- 0 z) 2.0))) (* (+ (/ 771.3234287776531 (+ 3.0 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4.0))) (/ -1259.1392167224028 (+ (- 0 z) 2.0))))))))
0.0ms	(sqrt (* 2.0 PI))

simplify4.9m

Iterations

Iter	Nodes
0	259906