Details

sample3.0s

Algorithm

intervals

Results

2.4s	118×	body	10240	exit
117.0ms	52×	body	1280	nan
105.0ms	38×	body	640	nan
101.0ms	260×	body	80	valid
29.0ms	24×	body	320	nan
8.0ms	9×	body	160	nan
6.0ms	16×	body	80	nan

simplify2.7s

Counts

1 → 1

Iterations

Useful iterations: 3 (829.0ms)

Iter	Nodes	Cost
0	60	123
1	148	123
2	609	121
3	4542	88
done	5001	88

prune82.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.2b

localize141.0ms

Local error

Found 4 expressions with local error:

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

rewrite5.1m

Algorithm

rewrite-expression-head

Rules

165×	`*-un-lft-identity`
158×	`frac-add`
103×	`distribute-lft-out`
44×	`times-frac`
38×	`associate-*l/`
36×	`flip3-+` `flip-+`
30×	`add-sqr-sqrt` `unpow-prod-down`
28×	`add-cube-cbrt`
24×	`add-log-exp`
17×	`associate-l`
15×	`sum-log`
12×	`exp-sum`
11×	`associate-/l*`
9×	`pow1`
8×	`add-exp-log` `add-cbrt-cube`
5×	`unpow-prod-up` `distribute-rgt-neg-in` `sqr-pow`
4×	`associate-r` `associate-/r*`
3×	`div-exp`
2×	`neg-sub0` `associate-+l-` `sqrt-pow1` `pow-prod-down` `sqrt-prod`
1×	`cbrt-undiv` `+-commutative` `pow-to-exp` `associate-+r-` `associate-+l+` `frac-2neg` `pow1/2` `exp-diff` `pow-exp` `prod-exp` `clear-num` `associate-/r/` `*-commutative` `cbrt-unprod` `div-inv` `associate-/l/` `pow-sub` `unswap-sqr`

Counts

4 → 186

Calls

4 calls:

256.0ms	(/ (pow (+ 0.5 (+ (- z) 7.0)) (+ (- z) 0.5)) (exp (+ 0.5 (+ (- z) 7.0))))
9.4s	(+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ 3.0 (- z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z))))
5.0m	(* (+ (+ (/ 1.5056327351493116e-07 (+ (- z) 8.0)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ 3.0 (- z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (/ -176.6150291621406 (+ (- z) 4.0)))) (sqrt (* PI 2.0)))
7.0ms	(sqrt (* PI 2.0))

series555.0ms

Counts

4 → 10

Calls

4 calls:

158.0ms	(/ (pow (+ 0.5 (+ (- z) 7.0)) (+ (- z) 0.5)) (exp (+ 0.5 (+ (- z) 7.0))))
125.0ms	(+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ 3.0 (- z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z))))
273.0ms	(* (+ (+ (/ 1.5056327351493116e-07 (+ (- z) 8.0)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ 3.0 (- z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (/ -176.6150291621406 (+ (- z) 4.0)))) (sqrt (* PI 2.0)))
0.0ms	(sqrt (* PI 2.0))

simplify703.0ms

Counts

196 → 196

Iterations

Useful iterations: done (683.0ms)

Iter	Nodes	Cost
0	674	17475
1	2342	15342
done	5002	15053

prune2.5s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

localize179.0ms

Local error

Found 4 expressions with local error:

1.0b	(- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ 771.3234287776531 (- 3.0 z)))
1.0b	(- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ 771.3234287776531 (- 3.0 z)))
1.0b	(- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ 771.3234287776531 (- 3.0 z)))
1.0b	(- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ 771.3234287776531 (- 3.0 z)))

rewrite805.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt` `*-un-lft-identity` `add-log-exp`
8×	`diff-log` `frac-sub` `distribute-lft-out--` `difference-of-squares`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `sub-neg` `flip3--` `flip3-+` `times-frac` `associate--l+` `sum-log` `add-cbrt-cube` `flip--` `flip-+` `distribute-lft-out`

Counts

4 → 80

Calls

4 calls:

201.0ms	(- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ 771.3234287776531 (- 3.0 z)))
200.0ms	(- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ 771.3234287776531 (- 3.0 z)))
201.0ms	(- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ 771.3234287776531 (- 3.0 z)))
201.0ms	(- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ 771.3234287776531 (- 3.0 z)))

series207.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ 771.3234287776531 (- 3.0 z)))
53.0ms	(- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ 771.3234287776531 (- 3.0 z)))
50.0ms	(- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ 771.3234287776531 (- 3.0 z)))
54.0ms	(- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ 771.3234287776531 (- 3.0 z)))

simplify779.0ms

Counts

92 → 92

Iterations

Useful iterations: 3 (293.0ms)

Iter	Nodes	Cost
0	84	2116
1	205	2032
2	626	1896
3	2484	1848
done	5000	1848

prune2.4s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.1b

localize71.0ms

Local error

Found 4 expressions with local error:

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

rewrite4.2m

Algorithm

rewrite-expression-head

Rules

158×	`frac-add`
133×	`*-un-lft-identity`
87×	`distribute-lft-out`
41×	`add-log-exp`
38×	`associate-*l/`
36×	`flip3-+` `flip-+`
24×	`associate--l+`
19×	`sum-log`
17×	`associate-l`
16×	`exp-sum`
13×	`add-sqr-sqrt`
11×	`log-prod`
10×	`exp-prod`
9×	`pow1` `add-cube-cbrt` `diff-log` `distribute-lft-out--`
7×	`rem-exp-log`
6×	`add-exp-log` `unpow-prod-down` `add-cbrt-cube`
4×	`associate-r`
3×	`distribute-rgt-neg-in`
2×	`sub-neg` `sqrt-pow1` `pow-prod-down` `neg-log` `sqrt-prod`
1×	`unpow-prod-up` `+-commutative` `neg-sub0` `associate-+l-` `associate-+l+` `pow1/2` `exp-diff` `prod-exp` `*-commutative` `cbrt-unprod` `associate--r-` `difference-of-squares` `unswap-sqr` `sqr-pow`

Counts

4 → 152

Calls

4 calls:

9.4s	(+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ 3.0 (- z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z))))
4.1m	(* (+ (+ (/ 1.5056327351493116e-07 (+ (- z) 8.0)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ 3.0 (- z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (/ -176.6150291621406 (+ (- z) 4.0)))) (sqrt (* PI 2.0)))
4.0ms	(sqrt (* PI 2.0))
199.0ms	(exp (- (- (log (pow (+ 0.5 (+ (- z) 7.0)) (+ (- z) 0.5))) 0.5) (+ (- z) 7.0)))

series561.0ms

Counts

4 → 10

Calls

4 calls:

125.0ms	(+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ 3.0 (- z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z))))
269.0ms	(* (+ (+ (/ 1.5056327351493116e-07 (+ (- z) 8.0)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ 3.0 (- z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (/ -176.6150291621406 (+ (- z) 4.0)))) (sqrt (* PI 2.0)))
0.0ms	(sqrt (* PI 2.0))
166.0ms	(exp (- (- (log (pow (+ 0.5 (+ (- z) 7.0)) (+ (- z) 0.5))) 0.5) (+ (- z) 7.0)))

simplify677.0ms

Counts

162 → 162

Iterations

Useful iterations: done (659.0ms)

Iter	Nodes	Cost
0	639	15916
1	2300	13743
done	5002	13457

prune2.3s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.1b

localize79.0ms

Local error

Found 4 expressions with local error:

1.0b	(cbrt (pow (+ 0.5 (+ (- z) 7.0)) (+ (- z) 0.5)))
1.0b	(cbrt (pow (+ 0.5 (+ (- z) 7.0)) (+ (- z) 0.5)))
1.0b	(cbrt (pow (+ 0.5 (+ (- z) 7.0)) (+ (- z) 0.5)))
1.0b	(sqrt (* PI 2.0))

rewrite148.0ms

Algorithm

rewrite-expression-head

Rules

34×	`*-un-lft-identity`
33×	`cbrt-prod`
18×	`unpow-prod-down`
15×	`distribute-lft-out`
10×	`add-sqr-sqrt` `add-cube-cbrt`
7×	`pow1`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`unpow-prod-up` `neg-sub0` `associate-+l-` `cbrt-div` `distribute-rgt-neg-in` `pow1/3` `pow-sub` `sqr-pow`
2×	`sqrt-pow1`
1×	`pow1/2` `pow-prod-down` `sqrt-prod`

Counts

4 → 71

Calls

4 calls:

48.0ms	(cbrt (pow (+ 0.5 (+ (- z) 7.0)) (+ (- z) 0.5)))
48.0ms	(cbrt (pow (+ 0.5 (+ (- z) 7.0)) (+ (- z) 0.5)))
47.0ms	(cbrt (pow (+ 0.5 (+ (- z) 7.0)) (+ (- z) 0.5)))
3.0ms	(sqrt (* PI 2.0))

series718.0ms

Counts

4 → 10

Calls

4 calls:

239.0ms	(cbrt (pow (+ 0.5 (+ (- z) 7.0)) (+ (- z) 0.5)))
240.0ms	(cbrt (pow (+ 0.5 (+ (- z) 7.0)) (+ (- z) 0.5)))
239.0ms	(cbrt (pow (+ 0.5 (+ (- z) 7.0)) (+ (- z) 0.5)))
0.0ms	(sqrt (* PI 2.0))

simplify1.4s

Counts

81 → 81

Iterations

Useful iterations: 3 (474.0ms)

Iter	Nodes	Cost
0	110	1640
1	229	1357
2	708	1277
3	3253	1196
done	5000	1196

prune1.0s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.1b

regimes311.0ms

bsearch0.0ms

simplify17.0ms

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	96	406
1	142	406
done	142	406

end0.0ms

sample18.7s

Algorithm

intervals

Results

15.3s	1357×	body	10240	exit
1.4s	562×	body	1280	nan
1.1s	2906×	body	80	valid
555.0ms	415×	body	640	nan
162.0ms	212×	body	320	nan
45.0ms	108×	body	160	nan
25.0ms	121×	body	80	nan