Details

analyze2.7s (2.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	74.9%	25.1%	0
0%	74.9%	25.1%	1
0%	74.9%	25.1%	2
18.7%	56.2%	25.1%	3
37.5%	37.5%	25.1%	4
42.1%	32.8%	25.1%	5
46.8%	28.1%	25.1%	6
48%	26.9%	25.1%	7
49.2%	25.8%	25.1%	8
49.5%	25.5%	25.1%	9
49.8%	25.2%	25.1%	10
49.8%	25.2%	25.1%	11
49.8%	25.1%	25.1%	12
49.9%	25%	25.1%	13
49.9%	25%	25.1%	14

Compiler

Compiled 127 to 112 computations (11.8% saved)

sample58.3s (46.9%)

Results

53.8s	3981×	body	8192	exit
4.3s	8256×	body	128	valid
40.0ms	81×	body	128	invalid

Compiler

Compiled 378 to 334 computations (11.6% saved)

simplify48.0ms (0%)

Algorithm

1×	egg-herbie

Rules

388×	`associate-+l+_binary64`
296×	`associate-+r+_binary64`
271×	`distribute-rgt-in_binary64`
266×	`distribute-lft-in_binary64`
224×	`associate-r_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	61	156
1	160	147
2	606	119
3	3454	115
4	4863	115
5	4787	115

prune14.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Kept	Total
New	2	2
Fresh	1	1
Picked	0	0
Done	0	0
Total	3	3

Error

1.7b

Counts

3 → 2

Alt Table

Status	Error	Program
	1.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (-.f64 2 z))) (/.f64 7713234287776531/10000000000000 (-.f64 3 z))) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))) (/.f64 2501468655737381/200000000000000 (-.f64 5 z))) (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z))) (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z))) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))
▶	1.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) 2)) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (+.f64 (-.f64 (-.f64 1 z) 1) 1/2))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 1))) (/.f64 -3147848041806007/2500000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 2))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 3))) (/.f64 -883075145810703/5000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 4))) (/.f64 2501468655737381/200000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 5))) (/.f64 -3464277381643003/25000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 6))) (/.f64 2496092394504893/250000000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 7))) (/.f64 3764081837873279/25000000000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 8)))))

Status

Error

Program

1.7b

(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (-.f64 2 z))) (/.f64 7713234287776531/10000000000000 (-.f64 3 z))) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))) (/.f64 2501468655737381/200000000000000 (-.f64 5 z))) (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z))) (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z))) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))

▶

1.7b

(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (+.f64 (-.f64 (-.f64 1 z) 1) 1/2))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 1))) (/.f64 -3147848041806007/2500000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 2))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 3))) (/.f64 -883075145810703/5000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 4))) (/.f64 2501468655737381/200000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 5))) (/.f64 -3464277381643003/25000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 6))) (/.f64 2496092394504893/250000000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 7))) (/.f64 3764081837873279/25000000000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 8)))))

Compiler

Compiled 596 to 508 computations (14.8% saved)

localize55.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.0b	(.f64 (.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) 2)) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (+.f64 (-.f64 (-.f64 1 z) 1) 1/2))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 1))) (/.f64 -3147848041806007/2500000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 2))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 3))) (/.f64 -883075145810703/5000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 4))) (/.f64 2501468655737381/200000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 5))) (/.f64 -3464277381643003/25000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 6))) (/.f64 2496092394504893/250000000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 7))) (/.f64 3764081837873279/25000000000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 8))))
✓	1.0b	(sqrt.f64 (*.f64 (PI.f64) 2))
✓	2.8b	(+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 1))) (/.f64 -3147848041806007/2500000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 2)))
✓	4.3b	(-.f64 (-.f64 1 z) 1)

series36.0ms (0%)

Counts

4 → 36

Calls

4 calls:

32.0ms	(.f64 (.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) 2)) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (+.f64 (-.f64 (-.f64 1 z) 1) 1/2))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 1))) (/.f64 -3147848041806007/2500000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 2))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 3))) (/.f64 -883075145810703/5000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 4))) (/.f64 2501468655737381/200000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 5))) (/.f64 -3464277381643003/25000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 6))) (/.f64 2496092394504893/250000000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 7))) (/.f64 3764081837873279/25000000000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 8))))
2.0ms	(+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 1))) (/.f64 -3147848041806007/2500000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 2)))
2.0ms	(-.f64 (-.f64 1 z) 1)
0.0ms	(sqrt.f64 (*.f64 (PI.f64) 2))

rewrite498.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

394×	`frac-add_binary64`
130×	`frac-times_binary64`
101×	`associate-*r/_binary64`
93×	`*-un-lft-identity_binary64`
58×	`flip-+_binary64`

Counts

4 → 249

Calls

4 calls:

184.0ms	(.f64 (.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) 2)) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (+.f64 (-.f64 (-.f64 1 z) 1) 1/2))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 1))) (/.f64 -3147848041806007/2500000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 2))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 3))) (/.f64 -883075145810703/5000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 4))) (/.f64 2501468655737381/200000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 5))) (/.f64 -3464277381643003/25000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 6))) (/.f64 2496092394504893/250000000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 7))) (/.f64 3764081837873279/25000000000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 8))))
32.0ms	(+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 1))) (/.f64 -3147848041806007/2500000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 2)))
9.0ms	(-.f64 (-.f64 1 z) 1)
3.0ms	(sqrt.f64 (*.f64 (PI.f64) 2))

simplify1.2s (1%)

Algorithm

1×	egg-herbie

Rules

891×	`fma-def_binary64`
392×	`*-commutative_binary64`
250×	`associate-l_binary64`
240×	`distribute-rgt-in_binary64`
224×	`distribute-lft-in_binary64`

Counts

285 → 390

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	833	76191
1	3546	71260
2	4930	71260

prune5.7s (4.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	1233	7	1240
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	1234	8	1242

Error

0.3b

Counts

1242 → 8

Alt Table

Status	Error	Program
	0.5b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (/.f64 (.f64 (.f64 (sqrt.f64 (.f64 2 (PI.f64))) (pow.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2) (-.f64 (-.f64 1 z) 1/2))) (fma.f64 3764081837873279/25000000000000000000000 (.f64 (+.f64 (-.f64 1 z) 6) (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (+.f64 (-.f64 1 z) 2)))))) (.f64 (+.f64 (-.f64 1 z) 7) (fma.f64 (+.f64 (-.f64 1 z) 6) (fma.f64 -3464277381643003/25000000000000000 (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (+.f64 (-.f64 1 z) 2)))) (.f64 (+.f64 (-.f64 1 z) 5) (fma.f64 2501468655737381/200000000000000 (.f64 (+.f64 (-.f64 1 z) 3) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (+.f64 (-.f64 1 z) 2))) (.f64 (+.f64 (-.f64 1 z) 4) (fma.f64 -883075145810703/5000000000000 (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (+.f64 (-.f64 1 z) 2)) (.f64 (+.f64 (-.f64 1 z) 3) (fma.f64 (fma.f64 (+.f64 1 (-.f64 1 z)) (-.f64 99999999999961980000000003613801/100000000000000000000000000000000 (.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (.f64 -3147848041806007/2500000000000 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))))) (+.f64 (-.f64 1 z) 2) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) 7713234287776531/10000000000000)))))))) (.f64 2496092394504893/250000000000000000000 (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (+.f64 (-.f64 1 z) 2)))))))))) (.f64 (exp.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2)) (.f64 (+.f64 (-.f64 1 z) 7) (.f64 (+.f64 (-.f64 1 z) 6) (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (+.f64 (-.f64 1 z) 2))))))))))
	1.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (-.f64 (fma.f64 3264229102083425005530891465931403/2963520000000000000000000000000 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 (.f64 z z) (sqrt.f64 15/2))))) (fma.f64 1106209385320415913103082059/8400000000000000000000000 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (.f64 (sqrt.f64 2) (.f64 (.f64 z z) (sqrt.f64 15/2))) (pow.f64 (log.f64 15/2) 2)))) (fma.f64 1106209385320415913103082059/4200000000000000000000000 (.f64 (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (sqrt.f64 15/2))) (sqrt.f64 (PI.f64))) (.f64 2408637854869972117504576098451/3528000000000000000000000000 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 z (sqrt.f64 15/2))))))))) (fma.f64 1106209385320415913103082059/4200000000000000000000000 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 (.f64 z (sqrt.f64 15/2)) (log.f64 15/2))))) (fma.f64 1106209385320415913103082059/4200000000000000000000000 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 (log.f64 15/2) (.f64 (.f64 z z) (sqrt.f64 15/2)))))) (.f64 1479421971200822750497987168891/3528000000000000000000000000 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (log.f64 15/2) (.f64 (sqrt.f64 2) (.f64 (*.f64 z z) (sqrt.f64 15/2)))))))))))
	1.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (/.f64 (.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))) (/.f64 -883075145810703/5000000000000 (+.f64 (-.f64 1 z) 3))) (/.f64 2501468655737381/200000000000000 (+.f64 (-.f64 1 z) 4))) (/.f64 -3464277381643003/25000000000000000 (+.f64 (-.f64 1 z) 5))) (/.f64 2496092394504893/250000000000000000000 (+.f64 (-.f64 1 z) 6))) (/.f64 3764081837873279/25000000000000000000000 (+.f64 (-.f64 1 z) 7))) (.f64 (sqrt.f64 (.f64 2 (PI.f64))) (pow.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2) (-.f64 1 z)))) (.f64 (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (-.f64 1 1/2)) (exp.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2)))))
	1.4b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (/.f64 (.f64 (.f64 (sqrt.f64 (.f64 2 (PI.f64))) (pow.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2) (-.f64 1 z))) (fma.f64 3764081837873279/25000000000000000000000 (.f64 (+.f64 (-.f64 1 z) 6) (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (+.f64 (-.f64 1 z) 2) (+.f64 (-.f64 1 z) 3)))))) (.f64 (+.f64 (-.f64 1 z) 7) (fma.f64 (+.f64 (-.f64 1 z) 6) (fma.f64 -3464277381643003/25000000000000000 (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (+.f64 (-.f64 1 z) 2) (+.f64 (-.f64 1 z) 3)))) (.f64 (+.f64 (-.f64 1 z) 5) (fma.f64 2501468655737381/200000000000000 (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (+.f64 (-.f64 1 z) 2) (+.f64 (-.f64 1 z) 3))) (.f64 (+.f64 (-.f64 1 z) 4) (fma.f64 (.f64 (+.f64 1 (-.f64 1 z)) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (+.f64 (-.f64 1 z) 2) -883075145810703/5000000000000) (.f64 (+.f64 (-.f64 1 z) 3) (fma.f64 (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000) (.f64 (+.f64 1 (-.f64 1 z)) 7713234287776531/10000000000000) (.f64 (fma.f64 (+.f64 1 (-.f64 1 z)) (+.f64 999999999999429700000000108414029999993130164299/1000000000000000000000000000000000000000000000000 (pow.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) 3)) (.f64 -3147848041806007/2500000000000 (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000))) (+.f64 (-.f64 1 z) 2))))))))) (.f64 2496092394504893/250000000000000000000 (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (+.f64 (-.f64 1 z) 2) (+.f64 (-.f64 1 z) 3)))))))))) (.f64 (.f64 (sqrt.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2)) (exp.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2))) (.f64 (+.f64 (-.f64 1 z) 7) (.f64 (+.f64 (-.f64 1 z) 6) (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (+.f64 (-.f64 1 z) 2) (+.f64 (-.f64 1 z) 3))))))))))
	1.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (-.f64 2 z))) (/.f64 7713234287776531/10000000000000 (-.f64 3 z))) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))) (/.f64 2501468655737381/200000000000000 (-.f64 5 z))) (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z))) (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z))) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))
▶	0.5b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (/.f64 (.f64 (fma.f64 3764081837873279/25000000000000000000000 (.f64 (+.f64 (-.f64 1 z) 6) (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))))))) (.f64 (+.f64 (-.f64 1 z) 7) (fma.f64 (+.f64 (-.f64 1 z) 6) (fma.f64 -3464277381643003/25000000000000000 (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))))) (.f64 (+.f64 (-.f64 1 z) 5) (fma.f64 2501468655737381/200000000000000 (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))) (.f64 (+.f64 (-.f64 1 z) 4) (fma.f64 -883075145810703/5000000000000 (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))) (.f64 (+.f64 (-.f64 1 z) 3) (fma.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (.f64 (/.f64 -7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))))))))) (.f64 2496092394504893/250000000000000000000 (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))))))))) (.f64 (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2))) (.f64 (sqrt.f64 (.f64 2 (PI.f64))) (pow.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2) (-.f64 1 z))))) (.f64 (sqrt.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2)) (.f64 (+.f64 (-.f64 1 z) 7) (.f64 (+.f64 (-.f64 1 z) 6) (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))))))))))
	1.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) 2)) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (+.f64 (-.f64 (-.f64 1 z) 1) 1/2))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 1))) (/.f64 -3147848041806007/2500000000000 (+.f64 (log.f64 (/.f64 (exp.f64 (-.f64 1 z)) (exp.f64 1))) 2))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 3))) (/.f64 -883075145810703/5000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 4))) (/.f64 2501468655737381/200000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 5))) (/.f64 -3464277381643003/25000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 6))) (/.f64 2496092394504893/250000000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 7))) (/.f64 3764081837873279/25000000000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 8)))))
	2.1b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) 2)) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (+.f64 (-.f64 (-.f64 1 z) 1) 1/2))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (fma.f64 (*.f64 (cbrt.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 1)))) (cbrt.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 1))))) (cbrt.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 1)))) (/.f64 -3147848041806007/2500000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 2))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 3))) (/.f64 -883075145810703/5000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 4))) (/.f64 2501468655737381/200000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 5))) (/.f64 -3464277381643003/25000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 6))) (/.f64 2496092394504893/250000000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 7))) (/.f64 3764081837873279/25000000000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 8)))))

Compiler

Compiled 235048 to 201125 computations (14.4% saved)

localize75.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.0b	(-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))
✓	1.0b	(sqrt.f64 (*.f64 2 (PI.f64)))
✓	2.8b	(+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z))))
✓	4.3b	(+.f64 (-.f64 1 z) -1)

series6.0ms (0%)

Counts

4 → 36

Calls

4 calls:

2.0ms	(-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))
2.0ms	(+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z))))
1.0ms	(+.f64 (-.f64 1 z) -1)
0.0ms	(sqrt.f64 (*.f64 2 (PI.f64)))

rewrite102.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

313×	`*-un-lft-identity_binary64`
114×	`prod-diff_binary64`
111×	`distribute-lft-out_binary64`
98×	`add-sqr-sqrt_binary64`
91×	`times-frac_binary64`

Counts

4 → 229

Calls

4 calls:

36.0ms	(-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))
17.0ms	(+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z))))
9.0ms	(+.f64 (-.f64 1 z) -1)
2.0ms	(sqrt.f64 (*.f64 2 (PI.f64)))

simplify346.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

418×	`fma-neg_binary64`
207×	`cancel-sign-sub-inv_binary64`
203×	`fma-def_binary64`
194×	`distribute-rgt-in_binary64`
180×	`distribute-lft-in_binary64`

Counts

265 → 246

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	398	15013
1	1092	7179
2	3235	6134
3	4513	6134
4	4693	6134

prune33.6s (27%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	1329	2	1331
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	1333	6	1339

Error

0.3b

Counts

1339 → 6

Alt Table

Status	Error	Program
	1.4b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (/.f64 (.f64 (fma.f64 3764081837873279/25000000000000000000000 (.f64 (+.f64 (-.f64 1 z) 6) (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))))))) (.f64 (+.f64 (-.f64 1 z) 7) (fma.f64 (+.f64 (-.f64 1 z) 6) (fma.f64 -3464277381643003/25000000000000000 (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))))) (.f64 (+.f64 (-.f64 1 z) 5) (fma.f64 2501468655737381/200000000000000 (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))) (.f64 (+.f64 (-.f64 1 z) 4) (fma.f64 -883075145810703/5000000000000 (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))) (.f64 (+.f64 (-.f64 1 z) 3) (fma.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (.f64 (/.f64 -7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))))))))) (.f64 2496092394504893/250000000000000000000 (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))))))))) (.f64 (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2))) (.f64 (sqrt.f64 (.f64 2 (PI.f64))) (pow.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2) (-.f64 1 z))))) (.f64 (sqrt.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2)) (.f64 (+.f64 (-.f64 1 z) 7) (.f64 (+.f64 (-.f64 1 z) 6) (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 9999999999998099/10000000000000000 (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z))))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))))))))))
▶	0.5b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (/.f64 (.f64 (fma.f64 3764081837873279/25000000000000000000000 (.f64 (+.f64 (-.f64 1 z) 6) (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))))))) (.f64 (+.f64 (-.f64 1 z) 7) (fma.f64 (+.f64 (-.f64 1 z) 6) (fma.f64 -3464277381643003/25000000000000000 (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))))) (.f64 (+.f64 (-.f64 1 z) 5) (fma.f64 2501468655737381/200000000000000 (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))) (.f64 (+.f64 (-.f64 1 z) 4) (fma.f64 -883075145810703/5000000000000 (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))) (.f64 (+.f64 (-.f64 1 z) 3) (fma.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (.f64 (/.f64 -7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))))))))) (.f64 2496092394504893/250000000000000000000 (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))))))))) (.f64 (exp.f64 (neg.f64 (+.f64 (neg.f64 z) 15/2))) (.f64 (sqrt.f64 (.f64 2 (PI.f64))) (pow.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2) (-.f64 1 z))))) (.f64 (sqrt.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2)) (.f64 (+.f64 (-.f64 1 z) 7) (.f64 (+.f64 (-.f64 1 z) 6) (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))))))))))
	0.5b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (/.f64 (.f64 (.f64 (sqrt.f64 (.f64 2 (PI.f64))) (pow.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2) (-.f64 (-.f64 1 z) 1/2))) (fma.f64 3764081837873279/25000000000000000000000 (.f64 (+.f64 (-.f64 1 z) 6) (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (+.f64 (-.f64 1 z) 2)))))) (.f64 (+.f64 (-.f64 1 z) 7) (fma.f64 (+.f64 (-.f64 1 z) 6) (fma.f64 -3464277381643003/25000000000000000 (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (+.f64 (-.f64 1 z) 2)))) (.f64 (+.f64 (-.f64 1 z) 5) (fma.f64 2501468655737381/200000000000000 (.f64 (+.f64 (-.f64 1 z) 3) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (+.f64 (-.f64 1 z) 2))) (.f64 (+.f64 (-.f64 1 z) 4) (fma.f64 -883075145810703/5000000000000 (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (+.f64 (-.f64 1 z) 2)) (.f64 (+.f64 (-.f64 1 z) 3) (fma.f64 (fma.f64 (+.f64 1 (-.f64 1 z)) (-.f64 99999999999961980000000003613801/100000000000000000000000000000000 (.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (.f64 -3147848041806007/2500000000000 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))))) (+.f64 (-.f64 1 z) 2) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) 7713234287776531/10000000000000)))))))) (.f64 2496092394504893/250000000000000000000 (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (+.f64 (-.f64 1 z) 2)))))))))) (.f64 (exp.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2)) (.f64 (+.f64 (-.f64 1 z) 7) (.f64 (+.f64 (-.f64 1 z) 6) (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (+.f64 (-.f64 1 z) 2))))))))))
	1.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (-.f64 (fma.f64 3264229102083425005530891465931403/2963520000000000000000000000000 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 (.f64 z z) (sqrt.f64 15/2))))) (fma.f64 1106209385320415913103082059/8400000000000000000000000 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (.f64 (sqrt.f64 2) (.f64 (.f64 z z) (sqrt.f64 15/2))) (pow.f64 (log.f64 15/2) 2)))) (fma.f64 1106209385320415913103082059/4200000000000000000000000 (.f64 (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (sqrt.f64 15/2))) (sqrt.f64 (PI.f64))) (.f64 2408637854869972117504576098451/3528000000000000000000000000 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 z (sqrt.f64 15/2))))))))) (fma.f64 1106209385320415913103082059/4200000000000000000000000 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 (.f64 z (sqrt.f64 15/2)) (log.f64 15/2))))) (fma.f64 1106209385320415913103082059/4200000000000000000000000 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 (log.f64 15/2) (.f64 (.f64 z z) (sqrt.f64 15/2)))))) (.f64 1479421971200822750497987168891/3528000000000000000000000000 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (log.f64 15/2) (.f64 (sqrt.f64 2) (.f64 (*.f64 z z) (sqrt.f64 15/2)))))))))))
	1.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (/.f64 (.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))) (/.f64 -883075145810703/5000000000000 (+.f64 (-.f64 1 z) 3))) (/.f64 2501468655737381/200000000000000 (+.f64 (-.f64 1 z) 4))) (/.f64 -3464277381643003/25000000000000000 (+.f64 (-.f64 1 z) 5))) (/.f64 2496092394504893/250000000000000000000 (+.f64 (-.f64 1 z) 6))) (/.f64 3764081837873279/25000000000000000000000 (+.f64 (-.f64 1 z) 7))) (.f64 (sqrt.f64 (.f64 2 (PI.f64))) (pow.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2) (-.f64 1 z)))) (.f64 (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (-.f64 1 1/2)) (exp.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2)))))
	1.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (-.f64 2 z))) (/.f64 7713234287776531/10000000000000 (-.f64 3 z))) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))) (/.f64 2501468655737381/200000000000000 (-.f64 5 z))) (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z))) (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z))) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))

Compiler

Compiled 509992 to 432138 computations (15.3% saved)

localize88.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.0b	(-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))
	1.0b	(sqrt.f64 (*.f64 2 (PI.f64)))
	2.8b	(+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z))))
	4.3b	(+.f64 (-.f64 1 z) -1)

prune12.6s (10.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	1271	2	1273
Fresh	2	3	5
Picked	1	0	1
Done	0	0	0
Total	1274	5	1279

Error

0.3b

Counts

1279 → 5

Alt Table

Status	Error	Program
	1.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (-.f64 2 z))) (/.f64 7713234287776531/10000000000000 (-.f64 3 z))) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))) (/.f64 2501468655737381/200000000000000 (-.f64 5 z))) (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z))) (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z))) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))
	1.4b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (/.f64 (.f64 (fma.f64 3764081837873279/25000000000000000000000 (.f64 (+.f64 (-.f64 1 z) 6) (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))))))) (.f64 (+.f64 (-.f64 1 z) 7) (fma.f64 (+.f64 (-.f64 1 z) 6) (fma.f64 -3464277381643003/25000000000000000 (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))))) (.f64 (+.f64 (-.f64 1 z) 5) (fma.f64 2501468655737381/200000000000000 (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))) (.f64 (+.f64 (-.f64 1 z) 4) (fma.f64 -883075145810703/5000000000000 (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))) (.f64 (+.f64 (-.f64 1 z) 3) (fma.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (.f64 (/.f64 -7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))))))))) (.f64 2496092394504893/250000000000000000000 (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))))))))) (.f64 (exp.f64 (neg.f64 (+.f64 (neg.f64 z) 15/2))) (.f64 (sqrt.f64 (.f64 2 (PI.f64))) (pow.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2) (-.f64 1 z))))) (.f64 (sqrt.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2)) (.f64 (+.f64 (-.f64 1 z) 7) (.f64 (+.f64 (-.f64 1 z) 6) (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 9999999999998099/10000000000000000 (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z))))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))))))))))
	1.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (/.f64 (.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))) (/.f64 -883075145810703/5000000000000 (+.f64 (-.f64 1 z) 3))) (/.f64 2501468655737381/200000000000000 (+.f64 (-.f64 1 z) 4))) (/.f64 -3464277381643003/25000000000000000 (+.f64 (-.f64 1 z) 5))) (/.f64 2496092394504893/250000000000000000000 (+.f64 (-.f64 1 z) 6))) (/.f64 3764081837873279/25000000000000000000000 (+.f64 (-.f64 1 z) 7))) (.f64 (sqrt.f64 (.f64 2 (PI.f64))) (pow.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2) (-.f64 1 z)))) (.f64 (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (-.f64 1 1/2)) (exp.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2)))))
	1.0b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (/.f64 (.f64 (fma.f64 3764081837873279/25000000000000000000000 (.f64 (+.f64 (-.f64 1 z) 6) (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))))))) (.f64 (+.f64 (-.f64 1 z) 7) (fma.f64 (+.f64 (-.f64 1 z) 6) (fma.f64 -3464277381643003/25000000000000000 (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))))) (.f64 (+.f64 (-.f64 1 z) 5) (fma.f64 2501468655737381/200000000000000 (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))) (.f64 (+.f64 (-.f64 1 z) 4) (fma.f64 -883075145810703/5000000000000 (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))) (.f64 (+.f64 (-.f64 1 z) 3) (fma.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (.f64 (/.f64 -7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))))))))) (.f64 2496092394504893/250000000000000000000 (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))))))))) (.f64 (exp.f64 (neg.f64 (+.f64 (neg.f64 z) 15/2))) (.f64 (sqrt.f64 (.f64 2 (PI.f64))) (pow.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2) (-.f64 1 z))))) (.f64 (sqrt.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2)) (.f64 (+.f64 (-.f64 1 z) 7) (.f64 (+.f64 (-.f64 1 z) 6) (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (cbrt.f64 (pow.f64 (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (-.f64 2 z))) (/.f64 7713234287776531/10000000000000 (-.f64 3 z))) 3))))))))))
▶	0.5b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (/.f64 (.f64 (.f64 (sqrt.f64 (.f64 2 (PI.f64))) (pow.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2) (-.f64 (-.f64 1 z) 1/2))) (fma.f64 3764081837873279/25000000000000000000000 (.f64 (+.f64 (-.f64 1 z) 6) (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (+.f64 (-.f64 1 z) 2)))))) (.f64 (+.f64 (-.f64 1 z) 7) (fma.f64 (+.f64 (-.f64 1 z) 6) (fma.f64 -3464277381643003/25000000000000000 (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (+.f64 (-.f64 1 z) 2)))) (.f64 (+.f64 (-.f64 1 z) 5) (fma.f64 2501468655737381/200000000000000 (.f64 (+.f64 (-.f64 1 z) 3) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (+.f64 (-.f64 1 z) 2))) (.f64 (+.f64 (-.f64 1 z) 4) (fma.f64 -883075145810703/5000000000000 (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (+.f64 (-.f64 1 z) 2)) (.f64 (+.f64 (-.f64 1 z) 3) (fma.f64 (fma.f64 (+.f64 1 (-.f64 1 z)) (-.f64 99999999999961980000000003613801/100000000000000000000000000000000 (.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (.f64 -3147848041806007/2500000000000 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))))) (+.f64 (-.f64 1 z) 2) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) 7713234287776531/10000000000000)))))))) (.f64 2496092394504893/250000000000000000000 (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (+.f64 (-.f64 1 z) 2)))))))))) (.f64 (exp.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2)) (.f64 (+.f64 (-.f64 1 z) 7) (.f64 (+.f64 (-.f64 1 z) 6) (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (+.f64 (-.f64 1 z) 2))))))))))

Compiler

Compiled 484697 to 409060 computations (15.6% saved)

localize66.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.0b	(.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) 7713234287776531/10000000000000)
	1.0b	(sqrt.f64 (*.f64 2 (PI.f64)))
✓	2.6b	(fma.f64 (+.f64 1 (-.f64 1 z)) (-.f64 99999999999961980000000003613801/100000000000000000000000000000000 (.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (.f64 -3147848041806007/2500000000000 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))))
	4.3b	(+.f64 (-.f64 1 z) -1)

series5.0ms (0%)

Counts

2 → 24

Calls

2 calls:

3.0ms

(fma.f64 (+.f64 1 (-.f64 1 z)) (-.f64 99999999999961980000000003613801/100000000000000000000000000000000 (*.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (*.f64 -3147848041806007/2500000000000 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))))

2.0ms

(*.f64 (*.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) 7713234287776531/10000000000000)

rewrite19.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`associate-*l/_binary64`
7×	`add-cbrt-cube_binary64`
7×	`add-exp-log_binary64`
7×	`pow1_binary64`
4×	`frac-times_binary64`

Counts

2 → 38

Calls

2 calls:

16.0ms

(*.f64 (*.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) 7713234287776531/10000000000000)

0.0ms

(fma.f64 (+.f64 1 (-.f64 1 z)) (-.f64 99999999999961980000000003613801/100000000000000000000000000000000 (*.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (*.f64 -3147848041806007/2500000000000 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))))

simplify83.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

782×	`distribute-rgt-in_binary64`
714×	`distribute-lft-in_binary64`
399×	`fma-def_binary64`
112×	`associate-l_binary64`
102×	`fma-neg_binary64`

Counts

62 → 94

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	157	1549
1	413	1286
2	1325	1177
3	4903	1177
4	4905	1177

prune1.9s (1.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	223	0	223
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	223	5	228

Error

0.3b

Counts

228 → 5

Alt Table

Status	Error	Program
	1.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (-.f64 2 z))) (/.f64 7713234287776531/10000000000000 (-.f64 3 z))) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))) (/.f64 2501468655737381/200000000000000 (-.f64 5 z))) (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z))) (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z))) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))
	1.4b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (/.f64 (.f64 (fma.f64 3764081837873279/25000000000000000000000 (.f64 (+.f64 (-.f64 1 z) 6) (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))))))) (.f64 (+.f64 (-.f64 1 z) 7) (fma.f64 (+.f64 (-.f64 1 z) 6) (fma.f64 -3464277381643003/25000000000000000 (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))))) (.f64 (+.f64 (-.f64 1 z) 5) (fma.f64 2501468655737381/200000000000000 (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))) (.f64 (+.f64 (-.f64 1 z) 4) (fma.f64 -883075145810703/5000000000000 (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))) (.f64 (+.f64 (-.f64 1 z) 3) (fma.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (.f64 (/.f64 -7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))))))))) (.f64 2496092394504893/250000000000000000000 (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))))))))) (.f64 (exp.f64 (neg.f64 (+.f64 (neg.f64 z) 15/2))) (.f64 (sqrt.f64 (.f64 2 (PI.f64))) (pow.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2) (-.f64 1 z))))) (.f64 (sqrt.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2)) (.f64 (+.f64 (-.f64 1 z) 7) (.f64 (+.f64 (-.f64 1 z) 6) (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 9999999999998099/10000000000000000 (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z))))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))))))))))
	1.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (/.f64 (.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))) (/.f64 -883075145810703/5000000000000 (+.f64 (-.f64 1 z) 3))) (/.f64 2501468655737381/200000000000000 (+.f64 (-.f64 1 z) 4))) (/.f64 -3464277381643003/25000000000000000 (+.f64 (-.f64 1 z) 5))) (/.f64 2496092394504893/250000000000000000000 (+.f64 (-.f64 1 z) 6))) (/.f64 3764081837873279/25000000000000000000000 (+.f64 (-.f64 1 z) 7))) (.f64 (sqrt.f64 (.f64 2 (PI.f64))) (pow.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2) (-.f64 1 z)))) (.f64 (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (-.f64 1 1/2)) (exp.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2)))))
	1.0b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (/.f64 (.f64 (fma.f64 3764081837873279/25000000000000000000000 (.f64 (+.f64 (-.f64 1 z) 6) (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))))))) (.f64 (+.f64 (-.f64 1 z) 7) (fma.f64 (+.f64 (-.f64 1 z) 6) (fma.f64 -3464277381643003/25000000000000000 (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))))) (.f64 (+.f64 (-.f64 1 z) 5) (fma.f64 2501468655737381/200000000000000 (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))) (.f64 (+.f64 (-.f64 1 z) 4) (fma.f64 -883075145810703/5000000000000 (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))) (.f64 (+.f64 (-.f64 1 z) 3) (fma.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (.f64 (/.f64 -7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))))))))) (.f64 2496092394504893/250000000000000000000 (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (+.f64 1 (-.f64 1 z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2)))))))))) (.f64 (exp.f64 (neg.f64 (+.f64 (neg.f64 z) 15/2))) (.f64 (sqrt.f64 (.f64 2 (PI.f64))) (pow.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2) (-.f64 1 z))))) (.f64 (sqrt.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2)) (.f64 (+.f64 (-.f64 1 z) 7) (.f64 (+.f64 (-.f64 1 z) 6) (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (cbrt.f64 (pow.f64 (-.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (-.f64 2 z))) (/.f64 7713234287776531/10000000000000 (-.f64 3 z))) 3))))))))))
✓	0.5b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (/.f64 (.f64 (.f64 (sqrt.f64 (.f64 2 (PI.f64))) (pow.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2) (-.f64 (-.f64 1 z) 1/2))) (fma.f64 3764081837873279/25000000000000000000000 (.f64 (+.f64 (-.f64 1 z) 6) (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (+.f64 (-.f64 1 z) 2)))))) (.f64 (+.f64 (-.f64 1 z) 7) (fma.f64 (+.f64 (-.f64 1 z) 6) (fma.f64 -3464277381643003/25000000000000000 (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (+.f64 (-.f64 1 z) 2)))) (.f64 (+.f64 (-.f64 1 z) 5) (fma.f64 2501468655737381/200000000000000 (.f64 (+.f64 (-.f64 1 z) 3) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (+.f64 (-.f64 1 z) 2))) (.f64 (+.f64 (-.f64 1 z) 4) (fma.f64 -883075145810703/5000000000000 (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (+.f64 (-.f64 1 z) 2)) (.f64 (+.f64 (-.f64 1 z) 3) (fma.f64 (fma.f64 (+.f64 1 (-.f64 1 z)) (-.f64 99999999999961980000000003613801/100000000000000000000000000000000 (.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (.f64 -3147848041806007/2500000000000 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))))) (+.f64 (-.f64 1 z) 2) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) 7713234287776531/10000000000000)))))))) (.f64 2496092394504893/250000000000000000000 (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (+.f64 (-.f64 1 z) 2)))))))))) (.f64 (exp.f64 (+.f64 (+.f64 (-.f64 1 z) -1) 15/2)) (.f64 (+.f64 (-.f64 1 z) 7) (.f64 (+.f64 (-.f64 1 z) 6) (.f64 (+.f64 (-.f64 1 z) 5) (.f64 (+.f64 (-.f64 1 z) 4) (.f64 (+.f64 (-.f64 1 z) 3) (.f64 (.f64 (+.f64 1 (-.f64 1 z)) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (+.f64 (-.f64 1 z) 2))))))))))

Compiler

Compiled 75981 to 62993 computations (17.1% saved)

regimes5.9s (4.8%)

Accuracy

Total 0.2b remaining (36.6%)

Threshold costs 0.2b (36.6%)

Counts

331 → 1

Compiler

Compiled 198068 to 169756 computations (14.3% saved)

simplify56.0ms (0%)

Algorithm

1×	egg-herbie

Rules

71×	`distribute-rgt-neg-in_binary64`
50×	`cancel-sign-sub-inv_binary64`
45×	`distribute-lft-neg-in_binary64`
40×	`*-commutative_binary64`
37×	`+-commutative_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	85	529
1	137	525
2	158	525
3	177	525
4	188	525
5	202	525
6	211	525
7	224	525
8	239	525
9	257	525
10	281	525
11	303	525
12	332	525
13	363	525
14	393	525
15	413	525
16	427	525
17	431	525
18	423	525

end876.0ms (0.7%)

Compiler: Compiled 1929 to 1645 computations (14.7% saved)

Iter	Nodes	Cost
0	85	529
1	137	525
2	158	525
3	177	525
4	188	525
5	202	525
6	211	525
7	224	525
8	239	525
9	257	525
10	281	525
11	303	525
12	332	525
13	363	525
14	393	525
15	413	525
16	427	525
17	431	525
18	423	525

Iter	Nodes	Cost
0	85	529
1	137	525
2	158	525
3	177	525
4	188	525
5	202	525
6	211	525
7	224	525
8	239	525
9	257	525
10	281	525
11	303	525
12	332	525
13	363	525
14	393	525
15	413	525
16	427	525
17	431	525
18	423	525

Details

analyze2.7s (2.2%)

sample58.3s (46.9%)

simplify48.0ms (0%)

prune14.0ms (0%)

localize55.0ms (0%)

series36.0ms (0%)

rewrite498.0ms (0.4%)

simplify1.2s (1%)

prune5.7s (4.5%)

localize75.0ms (0.1%)

series6.0ms (0%)

rewrite102.0ms (0.1%)

simplify346.0ms (0.3%)

prune33.6s (27%)

localize88.0ms (0.1%)

prune12.6s (10.2%)

localize66.0ms (0.1%)

series5.0ms (0%)

rewrite19.0ms (0%)

simplify83.0ms (0.1%)

prune1.9s (1.6%)

regimes5.9s (4.8%)

simplify56.0ms (0%)

end876.0ms (0.7%)

Profiling

Iter	Nodes	Cost
0	85	529
1	137	525
2	158	525
3	177	525
4	188	525
5	202	525
6	211	525
7	224	525
8	239	525
9	257	525
10	281	525
11	303	525
12	332	525
13	363	525
14	393	525
15	413	525
16	427	525
17	431	525
18	423	525