Details

analyze2.6s (3.6%)

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)

sample2.0s (2.7%)

Algorithm

1×

intervals

Results

1.7s	116×	body	8192	exit
180.0ms	256×	body	128	valid
9.0ms	376×	pre	128	true
2.0ms	4×	body	128	invalid

Compiler

Compiled 252 to 223 computations (11.5% saved)

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

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

1.6b

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)

localize52.0ms (0.1%)

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 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.0b	(.f64 (.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2)))
✓	1.0b	(sqrt.f64 (*.f64 (PI.f64) 2))
✓	2.8b	(+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)))

series77.0ms (0.1%)

Counts

4 → 36

Calls

4 calls:

45.0ms	(.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))))
29.0ms	(.f64 (.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2)))
3.0ms	(+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)))
0.0ms	(sqrt.f64 (*.f64 (PI.f64) 2))

rewrite239.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

114×	`frac-add_binary64`
58×	`*-un-lft-identity_binary64`
40×	`distribute-lft-out_binary64`
34×	`associate-*r/_binary64`
22×	`add-exp-log_binary64`

Counts

4 → 126

Calls

4 calls:

99.0ms	(.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))))
70.0ms	(.f64 (.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2)))
17.0ms	(+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)))
2.0ms	(sqrt.f64 (*.f64 (PI.f64) 2))

simplify345.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

663×	`fma-def_binary64`
633×	`distribute-rgt-in_binary64`
599×	`distribute-lft-in_binary64`
345×	`*-commutative_binary64`
149×	`associate-l_binary64`

Counts

162 → 224

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	698	20494
1	2393	19568
2	6145	19568

prune940.0ms (1.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	217	7	224
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	218	8	226

Error

0.2b

Counts

226 → 8

Alt Table

Status	Error	Program
	0.5b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (/.f64 (.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 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (-.f64 (.f64 9999999999998099/10000000000000000 9999999999998099/10000000000000000) (.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (-.f64 2 z)) (.f64 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) -3147848041806007/2500000000000)) (-.f64 3 z)) (.f64 (.f64 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (-.f64 2 z)) 7713234287776531/10000000000000)) (-.f64 4 z)) (.f64 (.f64 (.f64 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (-.f64 2 z)) (-.f64 3 z)) -883075145810703/5000000000000)) (-.f64 5 z)) (.f64 (.f64 (.f64 (.f64 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (-.f64 2 z)) (-.f64 3 z)) (-.f64 4 z)) 2501468655737381/200000000000000)) (-.f64 6 z)) (.f64 (.f64 (.f64 (.f64 (.f64 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (-.f64 2 z)) (-.f64 3 z)) (-.f64 4 z)) (-.f64 5 z)) -3464277381643003/25000000000000000)) (-.f64 7 z)) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (-.f64 2 z)) (-.f64 3 z)) (-.f64 4 z)) (-.f64 5 z)) (-.f64 6 z)) 2496092394504893/250000000000000000000)) (-.f64 8 z)) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (-.f64 2 z)) (-.f64 3 z)) (-.f64 4 z)) (-.f64 5 z)) (-.f64 6 z)) (-.f64 7 z)) 3764081837873279/25000000000000000000000))) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (-.f64 2 z)) (-.f64 3 z)) (-.f64 4 z)) (-.f64 5 z)) (-.f64 6 z)) (-.f64 7 z)) (-.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 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.3b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (exp.f64 (+.f64 (+.f64 (log.f64 (sqrt.f64 (.f64 (PI.f64) 2))) (*.f64 (log.f64 (-.f64 15/2 z)) (-.f64 1/2 z))) (+.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.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 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.6b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (-.f64 (fma.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 (.f64 z z) (sqrt.f64 15/2))))) 3264229102083425005530891465931403/2963520000000000000000000000000 (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 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (sqrt.f64 15/2)))) 1106209385320415913103082059/4200000000000000000000000 (.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 z (sqrt.f64 15/2))))) 2408637854869972117504576098451/3528000000000000000000000000)))) (+.f64 (.f64 (.f64 1106209385320415913103082059/4200000000000000000000000 (sqrt.f64 (PI.f64))) (+.f64 (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 (.f64 z (sqrt.f64 15/2)) (log.f64 15/2)))) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 (log.f64 15/2) (.f64 (.f64 z z) (sqrt.f64 15/2))))))) (.f64 (.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)))))) 1479421971200822750497987168891/3528000000000000000000000000))))
	1.4b	(.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))) (sqrt.f64 (-.f64 15/2 z)))) (fma.f64 3764081837873279/25000000000000000000000 (.f64 (-.f64 7 z) (.f64 (-.f64 6 z) (.f64 (-.f64 5 z) (.f64 (.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (-.f64 3 z) (-.f64 4 z)))))) (.f64 (-.f64 8 z) (fma.f64 2496092394504893/250000000000000000000 (.f64 (-.f64 6 z) (.f64 (-.f64 5 z) (.f64 (.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (-.f64 3 z) (-.f64 4 z))))) (.f64 (-.f64 7 z) (fma.f64 -3464277381643003/25000000000000000 (.f64 (-.f64 5 z) (.f64 (.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (-.f64 3 z) (-.f64 4 z)))) (.f64 (-.f64 6 z) (fma.f64 2501468655737381/200000000000000 (.f64 (.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (-.f64 3 z) (-.f64 4 z))) (.f64 (-.f64 5 z) (fma.f64 (.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (-.f64 3 z) -883075145810703/5000000000000) (.f64 (-.f64 4 z) (fma.f64 (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000) (.f64 (-.f64 2 z) 7713234287776531/10000000000000) (.f64 (fma.f64 -3147848041806007/2500000000000 (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000) (.f64 (-.f64 2 z) (+.f64 999999999999429700000000108414029999993130164299/1000000000000000000000000000000000000000000000000 (pow.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) 3)))) (-.f64 3 z)))))))))))))) (.f64 (pow.f64 (-.f64 15/2 z) z) (.f64 (-.f64 8 z) (.f64 (-.f64 7 z) (.f64 (-.f64 6 z) (.f64 (-.f64 5 z) (.f64 (.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (-.f64 3 z) (-.f64 4 z))))))))))
▶	0.5b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (/.f64 (.f64 (.f64 (exp.f64 (+.f64 z -15/2)) (.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (sqrt.f64 (.f64 2 (PI.f64))))) (fma.f64 3764081837873279/25000000000000000000000 (.f64 (-.f64 7 z) (.f64 (-.f64 6 z) (.f64 (-.f64 5 z) (.f64 (-.f64 4 z) (.f64 (.f64 (-.f64 2 z) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (-.f64 3 z)))))) (.f64 (-.f64 8 z) (fma.f64 2496092394504893/250000000000000000000 (.f64 (-.f64 6 z) (.f64 (-.f64 5 z) (.f64 (-.f64 4 z) (.f64 (.f64 (-.f64 2 z) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (-.f64 3 z))))) (.f64 (-.f64 7 z) (fma.f64 -3464277381643003/25000000000000000 (.f64 (-.f64 5 z) (.f64 (-.f64 4 z) (.f64 (.f64 (-.f64 2 z) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (-.f64 3 z)))) (.f64 (-.f64 6 z) (fma.f64 2501468655737381/200000000000000 (.f64 (-.f64 4 z) (.f64 (.f64 (-.f64 2 z) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (-.f64 3 z))) (.f64 (-.f64 5 z) (fma.f64 -883075145810703/5000000000000 (.f64 (.f64 (-.f64 2 z) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (-.f64 3 z)) (.f64 (-.f64 4 z) (fma.f64 (fma.f64 -3147848041806007/2500000000000 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (.f64 (-.f64 2 z) (-.f64 99999999999961980000000003613801/100000000000000000000000000000000 (.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))))) (-.f64 3 z) (.f64 (.f64 (-.f64 2 z) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) 7713234287776531/10000000000000))))))))))))) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (-.f64 2 z)) (-.f64 3 z)) (-.f64 4 z)) (-.f64 5 z)) (-.f64 6 z)) (-.f64 7 z)) (-.f64 8 z))))
	1.6b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (.f64 (.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 z)) (exp.f64 -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 37908 to 30190 computations (20.4% saved)

localize81.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series38.0ms (0.1%)

Counts

4 → 36

Calls

4 calls:

32.0ms	(.f64 (exp.f64 (+.f64 z -15/2)) (.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (sqrt.f64 (*.f64 2 (PI.f64)))))
3.0ms	(fma.f64 -3147848041806007/2500000000000 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (.f64 (-.f64 2 z) (-.f64 99999999999961980000000003613801/100000000000000000000000000000000 (.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (/.f64 6765203681218851/10000000000000 (-.f64 1 z))))))
3.0ms	(.f64 (.f64 (-.f64 2 z) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) 7713234287776531/10000000000000)
0.0ms	(sqrt.f64 (*.f64 2 (PI.f64)))

rewrite36.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-exp-log_binary64`
14×	`add-cbrt-cube_binary64`
14×	`pow1_binary64`
11×	`associate-*l/_binary64`
10×	`prod-exp_binary64`

Counts

4 → 74

Calls

4 calls:

15.0ms	(.f64 (.f64 (-.f64 2 z) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) 7713234287776531/10000000000000)
15.0ms	(.f64 (exp.f64 (+.f64 z -15/2)) (.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (sqrt.f64 (*.f64 2 (PI.f64)))))
2.0ms	(sqrt.f64 (*.f64 2 (PI.f64)))
0.0ms	(fma.f64 -3147848041806007/2500000000000 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (.f64 (-.f64 2 z) (-.f64 99999999999961980000000003613801/100000000000000000000000000000000 (.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (/.f64 6765203681218851/10000000000000 (-.f64 1 z))))))

simplify100.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

623×	`distribute-rgt-in_binary64`
444×	`associate-r_binary64`
369×	`associate-l_binary64`
274×	`cancel-sign-sub-inv_binary64`
250×	`*-commutative_binary64`

Counts

110 → 138

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	305	3181
1	822	2818
2	2968	2697
3	5807	2697

prune1.0s (1.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	137	1	138
Fresh	1	5	6
Picked	1	0	1
Done	0	1	1
Total	139	7	146

Error

0.2b

Counts

146 → 7

Alt Table

Status	Error	Program
	2.3b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (exp.f64 (+.f64 (+.f64 (log.f64 (sqrt.f64 (.f64 (PI.f64) 2))) (*.f64 (log.f64 (-.f64 15/2 z)) (-.f64 1/2 z))) (+.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.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 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.6b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (-.f64 (fma.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 (.f64 z z) (sqrt.f64 15/2))))) 3264229102083425005530891465931403/2963520000000000000000000000000 (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 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (sqrt.f64 15/2)))) 1106209385320415913103082059/4200000000000000000000000 (.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 z (sqrt.f64 15/2))))) 2408637854869972117504576098451/3528000000000000000000000000)))) (+.f64 (.f64 (.f64 1106209385320415913103082059/4200000000000000000000000 (sqrt.f64 (PI.f64))) (+.f64 (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 (.f64 z (sqrt.f64 15/2)) (log.f64 15/2)))) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 (log.f64 15/2) (.f64 (.f64 z z) (sqrt.f64 15/2))))))) (.f64 (.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)))))) 1479421971200822750497987168891/3528000000000000000000000000))))
✓	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 (.f64 (exp.f64 (+.f64 z -15/2)) (.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (sqrt.f64 (.f64 2 (PI.f64))))) (fma.f64 3764081837873279/25000000000000000000000 (.f64 (-.f64 7 z) (.f64 (-.f64 6 z) (.f64 (-.f64 5 z) (.f64 (-.f64 4 z) (.f64 (.f64 (-.f64 2 z) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (-.f64 3 z)))))) (.f64 (-.f64 8 z) (fma.f64 2496092394504893/250000000000000000000 (.f64 (-.f64 6 z) (.f64 (-.f64 5 z) (.f64 (-.f64 4 z) (.f64 (.f64 (-.f64 2 z) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (-.f64 3 z))))) (.f64 (-.f64 7 z) (fma.f64 -3464277381643003/25000000000000000 (.f64 (-.f64 5 z) (.f64 (-.f64 4 z) (.f64 (.f64 (-.f64 2 z) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (-.f64 3 z)))) (.f64 (-.f64 6 z) (fma.f64 2501468655737381/200000000000000 (.f64 (-.f64 4 z) (.f64 (.f64 (-.f64 2 z) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (-.f64 3 z))) (.f64 (-.f64 5 z) (fma.f64 -883075145810703/5000000000000 (.f64 (.f64 (-.f64 2 z) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (-.f64 3 z)) (.f64 (-.f64 4 z) (fma.f64 (fma.f64 -3147848041806007/2500000000000 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (.f64 (-.f64 2 z) (-.f64 99999999999961980000000003613801/100000000000000000000000000000000 (.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))))) (-.f64 3 z) (.f64 (-.f64 2 z) (.f64 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) 7713234287776531/10000000000000)))))))))))))) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (-.f64 2 z)) (-.f64 3 z)) (-.f64 4 z)) (-.f64 5 z)) (-.f64 6 z)) (-.f64 7 z)) (-.f64 8 z))))
	1.4b	(.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))) (sqrt.f64 (-.f64 15/2 z)))) (fma.f64 3764081837873279/25000000000000000000000 (.f64 (-.f64 7 z) (.f64 (-.f64 6 z) (.f64 (-.f64 5 z) (.f64 (.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (-.f64 3 z) (-.f64 4 z)))))) (.f64 (-.f64 8 z) (fma.f64 2496092394504893/250000000000000000000 (.f64 (-.f64 6 z) (.f64 (-.f64 5 z) (.f64 (.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (-.f64 3 z) (-.f64 4 z))))) (.f64 (-.f64 7 z) (fma.f64 -3464277381643003/25000000000000000 (.f64 (-.f64 5 z) (.f64 (.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (-.f64 3 z) (-.f64 4 z)))) (.f64 (-.f64 6 z) (fma.f64 2501468655737381/200000000000000 (.f64 (.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (-.f64 3 z) (-.f64 4 z))) (.f64 (-.f64 5 z) (fma.f64 (.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (-.f64 3 z) -883075145810703/5000000000000) (.f64 (-.f64 4 z) (fma.f64 (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000) (.f64 (-.f64 2 z) 7713234287776531/10000000000000) (.f64 (fma.f64 -3147848041806007/2500000000000 (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000) (.f64 (-.f64 2 z) (+.f64 999999999999429700000000108414029999993130164299/1000000000000000000000000000000000000000000000000 (pow.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) 3)))) (-.f64 3 z)))))))))))))) (.f64 (pow.f64 (-.f64 15/2 z) z) (.f64 (-.f64 8 z) (.f64 (-.f64 7 z) (.f64 (-.f64 6 z) (.f64 (-.f64 5 z) (.f64 (.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (-.f64 3 z) (-.f64 4 z))))))))))
	1.6b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (.f64 (.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 z)) (exp.f64 -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 37651 to 29463 computations (21.7% saved)

localize83.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series3.0ms (0%)

Counts

1 → 12

Calls

1 calls:

3.0ms

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

rewrite13.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-sqr-sqrt_binary64`
6×	`associate-l_binary64`
5×	`*-un-lft-identity_binary64`
3×	`associate-r_binary64`
3×	`add-cube-cbrt_binary64`

Counts

1 → 25

Calls

1 calls:

12.0ms

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

simplify54.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

813×	`fma-def_binary64`
644×	`distribute-rgt-in_binary64`
587×	`distribute-lft-in_binary64`
189×	`fma-neg_binary64`
162×	`cancel-sign-sub-inv_binary64`

Counts

37 → 52

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	91	599
1	216	537
2	617	485
3	1678	481
4	5133	481

prune831.0ms (1.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	130	0	130
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	130	7	137

Error

0.2b

Counts

137 → 7

Alt Table

Status	Error	Program
	2.3b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (exp.f64 (+.f64 (+.f64 (log.f64 (sqrt.f64 (.f64 (PI.f64) 2))) (*.f64 (log.f64 (-.f64 15/2 z)) (-.f64 1/2 z))) (+.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.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 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.6b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (-.f64 (fma.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 (.f64 z z) (sqrt.f64 15/2))))) 3264229102083425005530891465931403/2963520000000000000000000000000 (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 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (sqrt.f64 15/2)))) 1106209385320415913103082059/4200000000000000000000000 (.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 z (sqrt.f64 15/2))))) 2408637854869972117504576098451/3528000000000000000000000000)))) (+.f64 (.f64 (.f64 1106209385320415913103082059/4200000000000000000000000 (sqrt.f64 (PI.f64))) (+.f64 (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 (.f64 z (sqrt.f64 15/2)) (log.f64 15/2)))) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 (log.f64 15/2) (.f64 (.f64 z z) (sqrt.f64 15/2))))))) (.f64 (.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)))))) 1479421971200822750497987168891/3528000000000000000000000000))))
✓	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 (.f64 (exp.f64 (+.f64 z -15/2)) (.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (sqrt.f64 (.f64 2 (PI.f64))))) (fma.f64 3764081837873279/25000000000000000000000 (.f64 (-.f64 7 z) (.f64 (-.f64 6 z) (.f64 (-.f64 5 z) (.f64 (-.f64 4 z) (.f64 (.f64 (-.f64 2 z) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (-.f64 3 z)))))) (.f64 (-.f64 8 z) (fma.f64 2496092394504893/250000000000000000000 (.f64 (-.f64 6 z) (.f64 (-.f64 5 z) (.f64 (-.f64 4 z) (.f64 (.f64 (-.f64 2 z) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (-.f64 3 z))))) (.f64 (-.f64 7 z) (fma.f64 -3464277381643003/25000000000000000 (.f64 (-.f64 5 z) (.f64 (-.f64 4 z) (.f64 (.f64 (-.f64 2 z) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (-.f64 3 z)))) (.f64 (-.f64 6 z) (fma.f64 2501468655737381/200000000000000 (.f64 (-.f64 4 z) (.f64 (.f64 (-.f64 2 z) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (-.f64 3 z))) (.f64 (-.f64 5 z) (fma.f64 -883075145810703/5000000000000 (.f64 (.f64 (-.f64 2 z) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (-.f64 3 z)) (.f64 (-.f64 4 z) (fma.f64 (fma.f64 -3147848041806007/2500000000000 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (.f64 (-.f64 2 z) (-.f64 99999999999961980000000003613801/100000000000000000000000000000000 (.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))))) (-.f64 3 z) (.f64 (-.f64 2 z) (.f64 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) 7713234287776531/10000000000000)))))))))))))) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (-.f64 2 z)) (-.f64 3 z)) (-.f64 4 z)) (-.f64 5 z)) (-.f64 6 z)) (-.f64 7 z)) (-.f64 8 z))))
▶	1.4b	(.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))) (sqrt.f64 (-.f64 15/2 z)))) (fma.f64 3764081837873279/25000000000000000000000 (.f64 (-.f64 7 z) (.f64 (-.f64 6 z) (.f64 (-.f64 5 z) (.f64 (.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (-.f64 3 z) (-.f64 4 z)))))) (.f64 (-.f64 8 z) (fma.f64 2496092394504893/250000000000000000000 (.f64 (-.f64 6 z) (.f64 (-.f64 5 z) (.f64 (.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (-.f64 3 z) (-.f64 4 z))))) (.f64 (-.f64 7 z) (fma.f64 -3464277381643003/25000000000000000 (.f64 (-.f64 5 z) (.f64 (.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (-.f64 3 z) (-.f64 4 z)))) (.f64 (-.f64 6 z) (fma.f64 2501468655737381/200000000000000 (.f64 (.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (-.f64 3 z) (-.f64 4 z))) (.f64 (-.f64 5 z) (fma.f64 (.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (-.f64 3 z) -883075145810703/5000000000000) (.f64 (-.f64 4 z) (fma.f64 (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000) (.f64 (-.f64 2 z) 7713234287776531/10000000000000) (.f64 (fma.f64 -3147848041806007/2500000000000 (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000) (.f64 (-.f64 2 z) (+.f64 999999999999429700000000108414029999993130164299/1000000000000000000000000000000000000000000000000 (pow.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) 3)))) (-.f64 3 z)))))))))))))) (.f64 (pow.f64 (-.f64 15/2 z) z) (.f64 (-.f64 8 z) (.f64 (-.f64 7 z) (.f64 (-.f64 6 z) (.f64 (-.f64 5 z) (.f64 (.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (-.f64 3 z) (-.f64 4 z))))))))))
	1.6b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (.f64 (.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 z)) (exp.f64 -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 35202 to 27553 computations (21.7% saved)

localize73.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series33.0ms (0%)

Counts

3 → 36

Calls

3 calls:

14.0ms

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

12.0ms

(fma.f64 -3147848041806007/2500000000000 (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000) (*.f64 (-.f64 2 z) (+.f64 999999999999429700000000108414029999993130164299/1000000000000000000000000000000000000000000000000 (pow.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) 3))))

7.0ms

(*.f64 (-.f64 5 z) (fma.f64 (*.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (*.f64 (-.f64 3 z) -883075145810703/5000000000000) (*.f64 (-.f64 4 z) (fma.f64 (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000) (*.f64 (-.f64 2 z) 7713234287776531/10000000000000) (*.f64 (fma.f64 -3147848041806007/2500000000000 (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000) (*.f64 (-.f64 2 z) (+.f64 999999999999429700000000108414029999993130164299/1000000000000000000000000000000000000000000000000 (pow.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) 3)))) (-.f64 3 z))))))

rewrite13.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-sqr-sqrt_binary64`
7×	`*-un-lft-identity_binary64`
5×	`associate-l_binary64`
5×	`add-cube-cbrt_binary64`
5×	`add-cbrt-cube_binary64`

Counts

3 → 46

Calls

3 calls:

5.0ms

(*.f64 (-.f64 5 z) (fma.f64 (*.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (*.f64 (-.f64 3 z) -883075145810703/5000000000000) (*.f64 (-.f64 4 z) (fma.f64 (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000) (*.f64 (-.f64 2 z) 7713234287776531/10000000000000) (*.f64 (fma.f64 -3147848041806007/2500000000000 (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000) (*.f64 (-.f64 2 z) (+.f64 999999999999429700000000108414029999993130164299/1000000000000000000000000000000000000000000000000 (pow.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) 3)))) (-.f64 3 z))))))

1.0ms

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

0.0ms

(fma.f64 -3147848041806007/2500000000000 (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000) (*.f64 (-.f64 2 z) (+.f64 999999999999429700000000108414029999993130164299/1000000000000000000000000000000000000000000000000 (pow.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) 3))))

simplify276.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

598×	`fma-def_binary64`
459×	`*-commutative_binary64`
459×	`exp-prod_binary64`
381×	`fma-neg_binary64`
172×	`associate-+l+_binary64`

Counts

82 → 114

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	209	9167
1	476	7881
2	1611	7848
3	3235	7668
4	4869	7668
5	5119	7668

prune902.0ms (1.3%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	127	7	134

Error

0.2b

Counts

134 → 7

Alt Table

Status	Error	Program
	2.3b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (exp.f64 (+.f64 (+.f64 (log.f64 (sqrt.f64 (.f64 (PI.f64) 2))) (*.f64 (log.f64 (-.f64 15/2 z)) (-.f64 1/2 z))) (+.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.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 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.6b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (-.f64 (fma.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 (.f64 z z) (sqrt.f64 15/2))))) 3264229102083425005530891465931403/2963520000000000000000000000000 (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 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (sqrt.f64 15/2)))) 1106209385320415913103082059/4200000000000000000000000 (.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 z (sqrt.f64 15/2))))) 2408637854869972117504576098451/3528000000000000000000000000)))) (+.f64 (.f64 (.f64 1106209385320415913103082059/4200000000000000000000000 (sqrt.f64 (PI.f64))) (+.f64 (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 (.f64 z (sqrt.f64 15/2)) (log.f64 15/2)))) (.f64 (exp.f64 -15/2) (.f64 (sqrt.f64 2) (.f64 (log.f64 15/2) (.f64 (.f64 z z) (sqrt.f64 15/2))))))) (.f64 (.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)))))) 1479421971200822750497987168891/3528000000000000000000000000))))
✓	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 (.f64 (exp.f64 (+.f64 z -15/2)) (.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (sqrt.f64 (.f64 2 (PI.f64))))) (fma.f64 3764081837873279/25000000000000000000000 (.f64 (-.f64 7 z) (.f64 (-.f64 6 z) (.f64 (-.f64 5 z) (.f64 (-.f64 4 z) (.f64 (.f64 (-.f64 2 z) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (-.f64 3 z)))))) (.f64 (-.f64 8 z) (fma.f64 2496092394504893/250000000000000000000 (.f64 (-.f64 6 z) (.f64 (-.f64 5 z) (.f64 (-.f64 4 z) (.f64 (.f64 (-.f64 2 z) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (-.f64 3 z))))) (.f64 (-.f64 7 z) (fma.f64 -3464277381643003/25000000000000000 (.f64 (-.f64 5 z) (.f64 (-.f64 4 z) (.f64 (.f64 (-.f64 2 z) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (-.f64 3 z)))) (.f64 (-.f64 6 z) (fma.f64 2501468655737381/200000000000000 (.f64 (-.f64 4 z) (.f64 (.f64 (-.f64 2 z) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (-.f64 3 z))) (.f64 (-.f64 5 z) (fma.f64 -883075145810703/5000000000000 (.f64 (.f64 (-.f64 2 z) (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))) (-.f64 3 z)) (.f64 (-.f64 4 z) (fma.f64 (fma.f64 -3147848041806007/2500000000000 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (.f64 (-.f64 2 z) (-.f64 99999999999961980000000003613801/100000000000000000000000000000000 (.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (/.f64 6765203681218851/10000000000000 (-.f64 1 z)))))) (-.f64 3 z) (.f64 (-.f64 2 z) (.f64 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) 7713234287776531/10000000000000)))))))))))))) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (-.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (-.f64 2 z)) (-.f64 3 z)) (-.f64 4 z)) (-.f64 5 z)) (-.f64 6 z)) (-.f64 7 z)) (-.f64 8 z))))
✓	1.4b	(.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))) (sqrt.f64 (-.f64 15/2 z)))) (fma.f64 3764081837873279/25000000000000000000000 (.f64 (-.f64 7 z) (.f64 (-.f64 6 z) (.f64 (-.f64 5 z) (.f64 (.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (-.f64 3 z) (-.f64 4 z)))))) (.f64 (-.f64 8 z) (fma.f64 2496092394504893/250000000000000000000 (.f64 (-.f64 6 z) (.f64 (-.f64 5 z) (.f64 (.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (-.f64 3 z) (-.f64 4 z))))) (.f64 (-.f64 7 z) (fma.f64 -3464277381643003/25000000000000000 (.f64 (-.f64 5 z) (.f64 (.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (-.f64 3 z) (-.f64 4 z)))) (.f64 (-.f64 6 z) (fma.f64 2501468655737381/200000000000000 (.f64 (.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (-.f64 3 z) (-.f64 4 z))) (.f64 (-.f64 5 z) (fma.f64 (.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (-.f64 3 z) -883075145810703/5000000000000) (.f64 (-.f64 4 z) (fma.f64 (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000) (.f64 (-.f64 2 z) 7713234287776531/10000000000000) (.f64 (fma.f64 -3147848041806007/2500000000000 (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000) (.f64 (-.f64 2 z) (+.f64 999999999999429700000000108414029999993130164299/1000000000000000000000000000000000000000000000000 (pow.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) 3)))) (-.f64 3 z)))))))))))))) (.f64 (pow.f64 (-.f64 15/2 z) z) (.f64 (-.f64 8 z) (.f64 (-.f64 7 z) (.f64 (-.f64 6 z) (.f64 (-.f64 5 z) (.f64 (.f64 (-.f64 2 z) (fma.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) (+.f64 (/.f64 6765203681218851/10000000000000 (-.f64 1 z)) -9999999999998099/10000000000000000) 99999999999961980000000003613801/100000000000000000000000000000000)) (.f64 (-.f64 3 z) (-.f64 4 z))))))))))
	1.6b	(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 (PI.f64) z))) (.f64 (.f64 (.f64 (.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 z)) (exp.f64 -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 38871 to 30818 computations (20.7% saved)

regimes1.2s (1.7%)

Accuracy

Total 0.2b remaining (42.7%)

Threshold costs 0.2b (42.7%)

Counts

90 → 1

Compiler

Compiled 31296 to 25104 computations (19.8% saved)

simplify11.0ms (0%)

Algorithm

1×	egg-herbie

Rules

29×	`*-commutative_binary64`
16×	`+-commutative_binary64`
15×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	79	374
1	114	374
2	136	374
3	142	374
4	145	374
5	143	374

end35.0ms (0%)

Compiler: Compiled 250 to 199 computations (20.4% saved)

sample1.0min (84.5%)

Algorithm

1×

intervals

Results

54.7s	3962×	body	8192	exit
3.8s	8000×	body	128	valid
270.0ms	12058×	pre	128	true
42.0ms	96×	body	128	invalid

Compiler

Compiled 1380 to 1120 computations (18.8% saved)

Details

analyze2.6s (3.6%)

sample2.0s (2.7%)

simplify48.0ms (0.1%)

prune12.0ms (0%)

localize52.0ms (0.1%)

series77.0ms (0.1%)

rewrite239.0ms (0.3%)

simplify345.0ms (0.5%)

prune940.0ms (1.3%)

localize81.0ms (0.1%)

series38.0ms (0.1%)

rewrite36.0ms (0%)

simplify100.0ms (0.1%)

prune1.0s (1.4%)

localize83.0ms (0.1%)

series3.0ms (0%)

rewrite13.0ms (0%)

simplify54.0ms (0.1%)

prune831.0ms (1.2%)

localize73.0ms (0.1%)

series33.0ms (0%)

rewrite13.0ms (0%)

simplify276.0ms (0.4%)

prune902.0ms (1.3%)

regimes1.2s (1.7%)

simplify11.0ms (0%)

end35.0ms (0%)

sample1.0min (84.5%)

Profiling