Details

sample7.6s

Algorithm

intervals

Results

6.8s	161×	body	10240	exit
210.0ms	256×	body	80	valid
148.0ms	54×	body	640	nan
130.0ms	42×	body	1280	nan
63.0ms	33×	body	320	nan
11.0ms	12×	body	160	nan
10.0ms	13×	body	80	nan

simplify6.8s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
3	3547
2	602
1	148
0	60

prune85.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.9b

localize311.0ms

Local error

Found 4 expressions with local error:

1.0b	(+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))
1.0b	(/ (sqrt (* 2.0 PI)) (exp (+ (+ 7.0 0.5) (- z))))
1.0b	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))
1.0b	(sqrt (* 2.0 PI))

rewrite5.3s

Algorithm

rewrite-expression-head

Rules

105×	`*-un-lft-identity`
53×	`frac-add` `distribute-lft-out`
47×	`add-log-exp`
34×	`times-frac`
32×	`sum-log`
27×	`flip3-+` `flip-+`
14×	`add-sqr-sqrt` `add-cube-cbrt`
7×	`pow1`
6×	`distribute-rgt-neg-in` `sqrt-prod` `add-cbrt-cube`
5×	`add-exp-log` `exp-sum`
4×	`associate-/r` `associate-/l`
3×	`exp-diff` `associate-/r/`
2×	`+-commutative` `sqrt-pow1`
1×	`cbrt-undiv` `neg-sub0` `associate-+r-` `associate-+l+` `associate-+r+` `frac-2neg` `pow1/2` `div-exp` `unsub-neg` `pow-prod-down` `clear-num` `div-inv`

Counts

4 → 126

Calls

4 calls:

186.0ms	(+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))
203.0ms	(/ (sqrt (* 2.0 PI)) (exp (+ (+ 7.0 0.5) (- z))))
4.9s	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))
7.0ms	(sqrt (* 2.0 PI))

series528.0ms

Counts

4 → 10

Calls

4 calls:

132.0ms	(+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))
170.0ms	(/ (sqrt (* 2.0 PI)) (exp (+ (+ 7.0 0.5) (- z))))
226.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))
0.0ms	(sqrt (* 2.0 PI))

simplify4.3s

Counts

136 → 136

Iterations

Iter	Nodes
done	5001
1	1288
0	411

prune3.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize631.0ms

Local error

Found 4 expressions with local error:

1.0b	(/ (sqrt (* 2.0 PI)) (exp (+ (+ 7.0 0.5) (- z))))
1.0b	(* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (* (* (+ (- z) 2.0) (+ 3.0 (- z))) (- (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))
1.0b	(+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (* (* (+ (- z) 2.0) (+ 3.0 (- z))) (- (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (+ (* (+ (* -1259.1392167224028 (+ 3.0 (- z))) (* (+ (- z) 2.0) 771.3234287776531)) (- (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))) (* (* (+ (- z) 2.0) (+ 3.0 (- z))) (- (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))))))
1.0b	(sqrt (* 2.0 PI))

rewrite9.5m

Algorithm

rewrite-expression-head

Calls

4 calls:

230.0ms	(/ (sqrt (* 2.0 PI)) (exp (+ (+ 7.0 0.5) (- z))))
1.7s	(* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (* (* (+ (- z) 2.0) (+ 3.0 (- z))) (- (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))))
50.7s	(+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1.0 z)) 3)) (* (* (+ (- z) 2.0) (+ 3.0 (- z))) (- (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (+ (* (+ (* -1259.1392167224028 (+ 3.0 (- z))) (* (+ (- z) 2.0) 771.3234287776531)) (- (/ 12.507343278686905 (+ 5.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z))))) (* (* (+ (- z) 2.0) (+ 3.0 (- z))) (- (* (/ 12.507343278686905 (+ 5.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (* (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -0.13857109526572012 (+ 6.0 (- z)))))))))
7.0ms	(sqrt (* 2.0 PI))