Details

analyze2.4s (3.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.1%	25.1%	11
49.9%	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.6s (75.1%)

Results

52.1s	3872×	body	8192	exit
4.4s	8256×	body	128	valid

Compiler

Compiled 378 to 334 computations (11.6% saved)

simplify49.0ms (0.1%)

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

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

2.7b

Counts

3 → 2

Alt Table

Status	Error	Program
	2.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)))))
▶	2.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

2.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)))))

▶

2.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)

localize54.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.0b	(sqrt.f64 (*.f64 (PI.f64) 2))
✓	1.8b	(.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))))
✓	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)))
✓	5.2b	(-.f64 (-.f64 1 z) 1)

series32.0ms (0%)

Counts

4 → 36

Calls

4 calls:

28.0ms	(.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))))
3.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))

rewrite280.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

49×	`*-un-lft-identity_binary64`
40×	`add-sqr-sqrt_binary64`
27×	`prod-diff_binary64`
24×	`add-cube-cbrt_binary64`
14×	`add-log-exp_binary64`

Counts

4 → 125

Calls

4 calls:

236.0ms	(.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))))
27.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)))
7.0ms	(-.f64 (-.f64 1 z) 1)
2.0ms	(sqrt.f64 (*.f64 (PI.f64) 2))

simplify257.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

397×	`associate-r_binary64`
385×	`fma-neg_binary64`
333×	`associate-l_binary64`
318×	`cancel-sign-sub-inv_binary64`
290×	`times-frac_binary64`

Counts

161 → 202

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	324	3671
1	896	2770
2	3137	2758
3	4901	2758
4	4836	2758

prune3.3s (4.4%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	1046	6	1052
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	1048	6	1054

Error

0.9b

Counts

1054 → 6

Alt Table

Status	Error	Program
	2.4b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (exp.f64 (+.f64 (+.f64 z -15/2) (log.f64 (.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (sqrt.f64 (*.f64 2 (PI.f64))))))) (+.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)))))
	3.0b	(.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)))))
▶	2.2b	(.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 479507597606835099/10000000000000000 (fma.f64 z 904338909853211/2500000000000 (.f64 2076511864126339/4000000000000 (.f64 z z)))) (/.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)))))
	33.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 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (+.f64 (fma.f64 (+.f64 1 (sqrt.f64 z)) (-.f64 1 (sqrt.f64 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)))))
	3.0b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (-.f64 (fma.f64 1/15 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 (log.f64 15/2) (.f64 (pow.f64 z 3) (sqrt.f64 15/2)))))) (fma.f64 1/2 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 (.f64 z (.f64 z (sqrt.f64 15/2))) (pow.f64 (log.f64 15/2) 2))))) (fma.f64 127/225 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (.f64 z z) (.f64 (sqrt.f64 2) (sqrt.f64 15/2))))) (fma.f64 14/15 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 z (.f64 (sqrt.f64 2) (sqrt.f64 15/2))))) (fma.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (sqrt.f64 15/2))) (fma.f64 7/15 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (pow.f64 (log.f64 15/2) 2) (.f64 (pow.f64 z 3) (.f64 (sqrt.f64 2) (sqrt.f64 15/2)))))) (.f64 892/3375 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (pow.f64 z 3) (.f64 (sqrt.f64 2) (sqrt.f64 15/2)))))))))))) (fma.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 (log.f64 15/2) (.f64 (pow.f64 z 3) (sqrt.f64 15/2)))))) 142/225 (fma.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (.f64 z (.f64 (sqrt.f64 2) (sqrt.f64 15/2))) (log.f64 15/2))) (fma.f64 14/15 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (log.f64 15/2) (.f64 (.f64 z z) (.f64 (sqrt.f64 2) (sqrt.f64 15/2)))))) (.f64 1/6 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 (.f64 (pow.f64 z 3) (sqrt.f64 15/2)) (pow.f64 (log.f64 15/2) 3)))))))))) (+.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)))))
	3.0b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.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)))) (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 141836 to 119326 computations (15.9% saved)

localize49.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.0b	(/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 3))
	1.0b	(sqrt.f64 (*.f64 (PI.f64) 2))
	1.8b	(.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))))
	5.2b	(-.f64 (-.f64 1 z) 1)

series3.0ms (0%)

Counts

1 → 12

Calls

1 calls:

3.0ms

(/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 3))

rewrite12.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

48×	`*-un-lft-identity_binary64`
18×	`times-frac_binary64`
12×	`distribute-lft-out--_binary64`
12×	`distribute-lft-out_binary64`
12×	`add-sqr-sqrt_binary64`

Counts

1 → 43

Calls

1 calls:

9.0ms

(/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 3))

simplify87.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

744×	`fma-def_binary64`
464×	`div-sub_binary64`
283×	`associate-l_binary64`
224×	`associate-r_binary64`
193×	`associate-/r*_binary64`

Counts

55 → 70

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	108	911
1	243	855
2	586	696
3	1601	685
4	4203	685
5	4821	685

prune3.6s (4.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	900	5	905
Fresh	3	2	5
Picked	1	0	1
Done	0	0	0
Total	904	7	911

Error

0.3b

Counts

911 → 7

Alt Table

Status	Error	Program
	3.2b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (exp.f64 (log.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 479507597606835099/10000000000000000 (fma.f64 z 904338909853211/2500000000000 (.f64 2076511864126339/4000000000000 (.f64 z z)))) (/.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.2b	(.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 479507597606835099/10000000000000000 (fma.f64 z 904338909853211/2500000000000 (.f64 2076511864126339/4000000000000 (.f64 z z)))) (*.f64 (/.f64 (sqrt.f64 7713234287776531/10000000000000) 1) (/.f64 (sqrt.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.4b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (exp.f64 (+.f64 (+.f64 z -15/2) (log.f64 (.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (sqrt.f64 (*.f64 2 (PI.f64))))))) (+.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.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (/.f64 (.f64 (exp.f64 (+.f64 z -15/2)) (.f64 (sqrt.f64 (.f64 2 (PI.f64))) (pow.f64 (-.f64 15/2 z) (-.f64 1 z)))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (-.f64 1 1/2))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 479507597606835099/10000000000000000 (fma.f64 z 904338909853211/2500000000000 (.f64 2076511864126339/4000000000000 (.f64 z z)))) (/.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)))))
	3.0b	(.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)))))
	3.2b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (sqrt.f64 15/2)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 479507597606835099/10000000000000000 (fma.f64 z 904338909853211/2500000000000 (.f64 2076511864126339/4000000000000 (.f64 z z)))) (/.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.2b	(.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 479507597606835099/10000000000000000 (fma.f64 z 904338909853211/2500000000000 (.f64 2076511864126339/4000000000000 (.f64 z z)))) (expm1.f64 (log1p.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z))))) (/.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 111952 to 90879 computations (18.8% saved)

localize56.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.0b	(+.f64 (+.f64 (+.f64 479507597606835099/10000000000000000 (fma.f64 z 904338909853211/2500000000000 (.f64 2076511864126339/4000000000000 (.f64 z z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 3))) (/.f64 -883075145810703/5000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 4)))
	1.0b	(/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 3))
✓	1.0b	(sqrt.f64 (*.f64 2 (PI.f64)))
	5.2b	(-.f64 (-.f64 1 z) 1)

series3.0ms (0%)

Counts

2 → 12

Calls

2 calls:

3.0ms

(+.f64 (+.f64 (+.f64 479507597606835099/10000000000000000 (fma.f64 z 904338909853211/2500000000000 (*.f64 2076511864126339/4000000000000 (*.f64 z z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 3))) (/.f64 -883075145810703/5000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 4)))

0.0ms

(sqrt.f64 (*.f64 2 (PI.f64)))

rewrite40.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`*-un-lft-identity_binary64`
11×	`add-log-exp_binary64`
9×	`distribute-lft-out_binary64`
6×	`frac-add_binary64`
6×	`sum-log_binary64`

Counts

2 → 41

Calls

2 calls:

35.0ms

(+.f64 (+.f64 (+.f64 479507597606835099/10000000000000000 (fma.f64 z 904338909853211/2500000000000 (*.f64 2076511864126339/4000000000000 (*.f64 z z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 3))) (/.f64 -883075145810703/5000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 4)))

2.0ms

(sqrt.f64 (*.f64 2 (PI.f64)))

simplify77.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

707×	`fma-def_binary64`
659×	`associate-+l+_binary64`
335×	`associate-l_binary64`
320×	`associate-r_binary64`
189×	`distribute-rgt-in_binary64`

Counts

53 → 66

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	140	1847
1	455	1700
2	1687	1266
3	5230	1266

prune2.5s (3.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	728	3	731
Fresh	3	3	6
Picked	1	0	1
Done	0	0	0
Total	732	6	738

Error

0.3b

Counts

738 → 6

Alt Table

Status	Error	Program
	2.4b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (exp.f64 (+.f64 (+.f64 z -15/2) (log.f64 (.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (sqrt.f64 (*.f64 2 (PI.f64))))))) (+.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)))))
	3.0b	(.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)))))
	1.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (/.f64 (.f64 (exp.f64 (+.f64 z -15/2)) (.f64 (sqrt.f64 (.f64 2 (PI.f64))) (pow.f64 (-.f64 15/2 z) (-.f64 1 z)))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (-.f64 1 1/2))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 479507597606835099/10000000000000000 (fma.f64 z 904338909853211/2500000000000 (.f64 2076511864126339/4000000000000 (.f64 z z)))) (exp.f64 (log.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z))))) (/.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)))))
	3.2b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (sqrt.f64 15/2)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 479507597606835099/10000000000000000 (fma.f64 z 904338909853211/2500000000000 (.f64 2076511864126339/4000000000000 (.f64 z z)))) (/.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.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (/.f64 (.f64 (exp.f64 (+.f64 z -15/2)) (.f64 (sqrt.f64 (.f64 2 (PI.f64))) (pow.f64 (-.f64 15/2 z) (-.f64 1 z)))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (-.f64 1 1/2))) (+.f64 (+.f64 (+.f64 (+.f64 (log1p.f64 (expm1.f64 (+.f64 479507597606835099/10000000000000000 (fma.f64 z (fma.f64 z 2076511864126339/4000000000000 904338909853211/2500000000000) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))))))) (/.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.6b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (/.f64 (.f64 (exp.f64 (+.f64 z -15/2)) (.f64 (sqrt.f64 (.f64 2 (PI.f64))) (pow.f64 (-.f64 15/2 z) (-.f64 1 z)))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (-.f64 1 1/2))) (+.f64 (+.f64 (+.f64 (+.f64 (expm1.f64 (log1p.f64 (+.f64 479507597606835099/10000000000000000 (fma.f64 z (fma.f64 z 2076511864126339/4000000000000 904338909853211/2500000000000) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))))))) (/.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 88208 to 70474 computations (20.1% saved)

localize50.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.0b	(+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))
	1.0b	(sqrt.f64 (*.f64 2 (PI.f64)))
	5.2b	(-.f64 (-.f64 1 z) 1)
✓	7.1b	(expm1.f64 (+.f64 479507597606835099/10000000000000000 (fma.f64 z (fma.f64 z 2076511864126339/4000000000000 904338909853211/2500000000000) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))))))

series6.0ms (0%)

Counts

2 → 24

Calls

2 calls:

4.0ms

(expm1.f64 (+.f64 479507597606835099/10000000000000000 (fma.f64 z (fma.f64 z 2076511864126339/4000000000000 904338909853211/2500000000000) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))))))

3.0ms

(+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))

rewrite23.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

39×	`*-un-lft-identity_binary64`
23×	`times-frac_binary64`
21×	`fma-def_binary64`
17×	`add-sqr-sqrt_binary64`
11×	`add-cube-cbrt_binary64`

Counts

2 → 51

Calls

2 calls:

19.0ms

(+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))

0.0ms

(expm1.f64 (+.f64 479507597606835099/10000000000000000 (fma.f64 z (fma.f64 z 2076511864126339/4000000000000 904338909853211/2500000000000) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))))))

simplify85.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

408×	`fma-def_binary64`
374×	`fma-neg_binary64`
219×	`associate-l_binary64`
203×	`cancel-sign-sub-inv_binary64`
199×	`associate-r_binary64`

Counts

75 → 87

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	125	1362
1	334	1240
2	882	1229
3	2875	1223
4	4701	1223
5	4950	1223

prune1.6s (2.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	524	1	525
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	525	6	531

Error

0.3b

Counts

531 → 6

Alt Table

Status	Error	Program
	2.4b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (exp.f64 (+.f64 (+.f64 z -15/2) (log.f64 (.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (sqrt.f64 (*.f64 2 (PI.f64))))))) (+.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)))))
	3.0b	(.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)))))
	3.2b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (sqrt.f64 15/2)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 479507597606835099/10000000000000000 (fma.f64 z 904338909853211/2500000000000 (.f64 2076511864126339/4000000000000 (.f64 z z)))) (/.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.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (/.f64 (.f64 (exp.f64 (+.f64 z -15/2)) (.f64 (sqrt.f64 (.f64 2 (PI.f64))) (pow.f64 (-.f64 15/2 z) (-.f64 1 z)))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (-.f64 1 1/2))) (+.f64 (+.f64 (+.f64 (+.f64 (log1p.f64 (expm1.f64 (+.f64 479507597606835099/10000000000000000 (fma.f64 z (fma.f64 z 2076511864126339/4000000000000 904338909853211/2500000000000) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))))))) (/.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.6b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (/.f64 (.f64 (exp.f64 (+.f64 z -15/2)) (.f64 (sqrt.f64 (.f64 2 (PI.f64))) (pow.f64 (-.f64 15/2 z) (-.f64 1 z)))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (-.f64 1 1/2))) (+.f64 (+.f64 (+.f64 (+.f64 (expm1.f64 (log1p.f64 (+.f64 479507597606835099/10000000000000000 (fma.f64 z (fma.f64 z 2076511864126339/4000000000000 904338909853211/2500000000000) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))))))) (/.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.7b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (/.f64 (.f64 (exp.f64 (+.f64 z -15/2)) (.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (PI.f64))) (pow.f64 (-.f64 15/2 z) (-.f64 1 z)))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (-.f64 1 1/2))) (+.f64 (+.f64 (+.f64 (+.f64 (log1p.f64 (expm1.f64 (+.f64 479507597606835099/10000000000000000 (fma.f64 z (fma.f64 z 2076511864126339/4000000000000 904338909853211/2500000000000) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))))))) (/.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 58101 to 46551 computations (19.9% saved)

regimes3.7s (4.9%)

Accuracy

Total 0.3b remaining (53.1%)

Threshold costs 0.3b (53.1%)

Counts

520 → 2

Compiler

Compiled 120160 to 104366 computations (13.1% saved)

bsearch86.0ms (0.1%)

Steps

Iters	Range		Point
2	-9.272342390366697e-7	-1.0302664221606797e-13	-5.804343082721865e-12

Compiler

Compiled 2 to 1 computations (50% saved)

simplify9.0ms (0%)

Algorithm

1×	egg-herbie

Rules

32×	`+-commutative_binary64`
11×	`*-commutative_binary64`
7×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	98	324
1	144	324
2	152	324
3	154	324
4	155	324
5	152	324

end414.0ms (0.5%)

Compiler: Compiled 1074 to 919 computations (14.4% saved)

Details

analyze2.4s (3.2%)

sample56.6s (75.1%)

simplify49.0ms (0.1%)

prune13.0ms (0%)

localize54.0ms (0.1%)

series32.0ms (0%)

rewrite280.0ms (0.4%)

simplify257.0ms (0.3%)

prune3.3s (4.4%)

localize49.0ms (0.1%)

series3.0ms (0%)

rewrite12.0ms (0%)

simplify87.0ms (0.1%)

prune3.6s (4.8%)

localize56.0ms (0.1%)

series3.0ms (0%)

rewrite40.0ms (0.1%)

simplify77.0ms (0.1%)

prune2.5s (3.3%)

localize50.0ms (0.1%)

series6.0ms (0%)

rewrite23.0ms (0%)

simplify85.0ms (0.1%)

prune1.6s (2.1%)

regimes3.7s (4.9%)

bsearch86.0ms (0.1%)

simplify9.0ms (0%)

end414.0ms (0.5%)

Profiling