Details

analyze2.3s (3.8%)

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)

sample56.4s (91.6%)

Results

52.4s	4078×	body	8192	exit
3.9s	8256×	body	128	valid
46.0ms	98×	body	128	invalid

Compiler

Compiled 254 to 224 computations (11.8% saved)

preprocess39.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

343×	`associate-+l+_binary64`
293×	`associate-+r+_binary64`
271×	`distribute-rgt-in_binary64`
266×	`distribute-lft-in_binary64`
222×	`associate-r_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	61	156
1	160	147
2	637	119
3	4406	115
0	1	1

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 124 to 110 computations (11.3% saved)

simplify30.0ms (0%)

Algorithm

1×	egg-herbie

Rules

343×	`associate-+l+_binary64`
293×	`associate-+r+_binary64`
271×	`distribute-rgt-in_binary64`
266×	`distribute-lft-in_binary64`
222×	`associate-r_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	61	156
1	160	147
2	637	119
3	4406	115

Stop Event

1×	node limit

Counts

1 → 2

prune12.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

0.4b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.4b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.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

▶

0.4b

(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.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)

localize47.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series49.0ms (0.1%)

Counts

4 → 28

Calls

9 calls:

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

rewrite55.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

666×	`log1p-expm1-u_binary64`
666×	`expm1-log1p-u_binary64`
126×	`log-prod_binary64`
103×	`fma-def_binary64`
101×	`prod-diff_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	55	143
1	1374	143

Stop Event

1×	node limit

Counts

4 → 61

simplify52.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

885×	`fma-def_binary64`
346×	`times-frac_binary64`
213×	`cancel-sign-sub-inv_binary64`
193×	`associate-r_binary64`
150×	`*-commutative_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	208	1933
1	664	1895
2	2510	1731

Stop Event

1×	node limit

Counts

89 → 98

prune209.0ms (0.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	92	6	98
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	94	6	100

Error

0.2b

Counts

100 → 6

Alt Table

Status	Error	Program
▶	0.4b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (expm1.f64 (log1p.f64 (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
	0.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) 2)) (cbrt.f64 (.f64 (*.f64 (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z))) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.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 (*.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 2)) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
	2.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (PI.f64) 2))) (cbrt.f64 (sqrt.f64 (.f64 (PI.f64) 2)))) (cbrt.f64 (sqrt.f64 (*.f64 (PI.f64) 2)))) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
	1.0b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (fma.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) 2)) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (.f64 (.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))) (+.f64 (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z))) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
	2.4b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 1106209385320415913103082059/4200000000000000000000000 (.f64 (sqrt.f64 (PI.f64)) (/.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 15/2)) (exp.f64 15/2)))))

Compiler

Compiled 9240 to 7160 computations (22.5% saved)

localize49.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series35.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

16.0ms

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

13.0ms

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

-inf

6.0ms

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

inf

rewrite47.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

675×	`expm1-log1p-u_binary64`
674×	`log1p-expm1-u_binary64`
129×	`log-prod_binary64`
103×	`fma-def_binary64`
101×	`prod-diff_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	57	102
1	1393	102

Stop Event

1×	node limit

Counts

1 → 12

simplify45.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

645×	`fma-def_binary64`
483×	`associate-/l*_binary64`
346×	`times-frac_binary64`
343×	`associate-/r*_binary64`
324×	`associate-/r/_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	127	1391
1	422	1369
2	1678	1208

Stop Event

1×	node limit

Counts

24 → 28

prune241.0ms (0.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	97	1	98
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	98	6	104

Error

0.2b

Counts

104 → 6

Alt Table

Status	Error	Program
✓	0.4b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (expm1.f64 (log1p.f64 (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
▶	0.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) 2)) (cbrt.f64 (.f64 (*.f64 (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z))) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.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 (*.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 2)) (expm1.f64 (log1p.f64 (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
	2.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (PI.f64) 2))) (cbrt.f64 (sqrt.f64 (.f64 (PI.f64) 2)))) (cbrt.f64 (sqrt.f64 (*.f64 (PI.f64) 2)))) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
	1.0b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (fma.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) 2)) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (.f64 (.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))) (+.f64 (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z))) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
	2.4b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 1106209385320415913103082059/4200000000000000000000000 (.f64 (sqrt.f64 (PI.f64)) (/.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 15/2)) (exp.f64 15/2)))))

Compiler

Compiled 9307 to 7239 computations (22.2% saved)

localize57.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.0b	(.f64 (.f64 (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z))) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z))))
	1.0b	(/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))
	1.0b	(+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))
	1.0b	(sqrt.f64 (*.f64 (PI.f64) 2))

series58.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

24.0ms

(*.f64 (*.f64 (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z))) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z))))

18.0ms

(*.f64 (*.f64 (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z))) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z))))

-inf

15.0ms

(*.f64 (*.f64 (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z))) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z))))

inf

rewrite55.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

219×	`expm1-udef_binary64`
219×	`log1p-udef_binary64`
218×	`prod-diff_binary64`
160×	`fma-def_binary64`
125×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	21
1	256	21
2	3602	21

Stop Event

1×	node limit

Counts

1 → 39

simplify40.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

858×	`fma-def_binary64`
432×	`associate-/r/_binary64`
406×	`associate-*l/_binary64`
255×	`times-frac_binary64`
188×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	122	1030
1	401	1030
2	2197	865

Stop Event

1×	node limit

Counts

51 → 47

prune477.0ms (0.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	155	0	155
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	155	6	161

Error

0.2b

Counts

161 → 6

Alt Table

Status	Error	Program
✓	0.4b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (expm1.f64 (log1p.f64 (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
✓	0.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) 2)) (cbrt.f64 (.f64 (*.f64 (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z))) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.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 (*.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 2)) (expm1.f64 (log1p.f64 (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
	2.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (PI.f64) 2))) (cbrt.f64 (sqrt.f64 (.f64 (PI.f64) 2)))) (cbrt.f64 (sqrt.f64 (*.f64 (PI.f64) 2)))) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
▶	1.0b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (fma.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) 2)) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (.f64 (.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))) (+.f64 (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z))) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
	2.4b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 1106209385320415913103082059/4200000000000000000000000 (.f64 (sqrt.f64 (PI.f64)) (/.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 15/2)) (exp.f64 15/2)))))

Compiler

Compiled 18158 to 14321 computations (21.1% saved)

localize47.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series48.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

32.0ms

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

8.0ms

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

-inf

8.0ms

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

inf

rewrite41.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

661×	`log1p-expm1-u_binary64`
661×	`expm1-log1p-u_binary64`
126×	`log-prod_binary64`
94×	`fma-def_binary64`
91×	`expm1-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	55	129
1	1366	129

Stop Event

1×	node limit

Counts

1 → 12

simplify47.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

806×	`fma-def_binary64`
514×	`associate-/l*_binary64`
358×	`associate-/r/_binary64`
346×	`times-frac_binary64`
176×	`associate-r_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	145	1517
1	484	1509
2	1985	1367

Stop Event

1×	node limit

Counts

24 → 28

prune313.0ms (0.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	129	1	130
Fresh	1	2	3
Picked	0	1	1
Done	1	1	2
Total	131	5	136

Error

0.2b

Counts

136 → 5

Alt Table

Status	Error	Program
	2.0b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (+.f64 (.f64 (sqrt.f64 (PI.f64)) (+.f64 (.f64 1106209385320415913103082059/4200000000000000000000000 (/.f64 (sqrt.f64 2) (/.f64 (exp.f64 15/2) (sqrt.f64 15/2)))) (.f64 2408637854869972117504576098451/3528000000000000000000000000 (.f64 (/.f64 (sqrt.f64 2) (/.f64 (exp.f64 15/2) (sqrt.f64 15/2))) z)))) (.f64 (.f64 (sqrt.f64 (PI.f64)) (/.f64 (.f64 (.f64 (sqrt.f64 2) z) (*.f64 (sqrt.f64 15/2) (log.f64 15/2))) (exp.f64 15/2))) -1106209385320415913103082059/4200000000000000000000000)))
✓	0.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) 2)) (cbrt.f64 (.f64 (*.f64 (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z))) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.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 (*.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 2)) (expm1.f64 (log1p.f64 (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
	2.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (PI.f64) 2))) (cbrt.f64 (sqrt.f64 (.f64 (PI.f64) 2)))) (cbrt.f64 (sqrt.f64 (*.f64 (PI.f64) 2)))) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
✓	1.0b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (fma.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) 2)) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (.f64 (.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))) (+.f64 (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z))) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))

Compiler

Compiled 13952 to 10828 computations (22.4% saved)

regimes445.0ms (0.7%)

Accuracy

Total 0.2b remaining (40%)

Threshold costs 0.2b (40%)

Counts

78 → 1

Compiler

Compiled 12906 to 10618 computations (17.7% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

19×	`+-commutative_binary64`
11×	`sub-neg_binary64`
6×	`*-commutative_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	59	115
1	85	115
2	98	115
3	100	115
4	101	115

Stop Event

1×

saturated

end300.0ms (0.5%)

Stop Event

1×

fuel

Compiler

Compiled 563 to 460 computations (18.3% saved)

Details

analyze2.3s (3.8%)

sample56.4s (91.6%)

preprocess39.0ms (0.1%)

simplify30.0ms (0%)

prune12.0ms (0%)

localize47.0ms (0.1%)

series49.0ms (0.1%)

rewrite55.0ms (0.1%)

simplify52.0ms (0.1%)

prune209.0ms (0.3%)

localize49.0ms (0.1%)

series35.0ms (0.1%)

rewrite47.0ms (0.1%)

simplify45.0ms (0.1%)

prune241.0ms (0.4%)

localize57.0ms (0.1%)

series58.0ms (0.1%)

rewrite55.0ms (0.1%)

simplify40.0ms (0.1%)

prune477.0ms (0.8%)

localize47.0ms (0.1%)

series48.0ms (0.1%)

rewrite41.0ms (0.1%)

simplify47.0ms (0.1%)

prune313.0ms (0.5%)

regimes445.0ms (0.7%)

simplify5.0ms (0%)

end300.0ms (0.5%)

Profiling