Details

analyze1.6s (17.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1
0%	0%	100%	2
0%	0%	100%	3
0%	0%	100%	4
0%	0%	100%	5
0%	0%	100%	6
0%	0%	100%	7
0%	0%	100%	8
0%	0%	100%	9
0%	0%	100%	10
0%	0%	100%	11
0%	0%	100%	12
0%	0%	100%	13
0%	0%	100%	14

Compiler

Compiled 57 to 41 computations (28.1% saved)

sample2.1s (22.5%)

Alt Table

Status	Error	Program
▶	12.9b	(/.f32 (neg.f32 (log.f32 (-.f32 1 u0))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay))))

Results

2.0s

8256×

body

128

valid

Compiler

Compiled 180 to 127 computations (29.4% saved)

localize42.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f32 cos2phi (*.f32 alphax alphax))
✓	0.3b	(/.f32 sin2phi (*.f32 alphay alphay))
✓	0.4b	(/.f32 (neg.f32 (log.f32 (-.f32 1 u0))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay))))
✓	14.5b	(log.f32 (-.f32 1 u0))

series161.0ms (1.7%)

Counts

4 → 120

Calls

4 calls:

112.0ms	(/.f32 (neg.f32 (log.f32 (-.f32 1 u0))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay))))
24.0ms	(/.f32 cos2phi (*.f32 alphax alphax))
23.0ms	(/.f32 sin2phi (*.f32 alphay alphay))
3.0ms	(log.f32 (-.f32 1 u0))

rewrite82.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

765×	`prod-diff_binary32`
182×	`add-sqr-sqrt_binary32`
173×	`log1p-expm1-u_binary32`
173×	`expm1-log1p-u_binary32`
170×	`add-log-exp_binary32`

Counts

4 → 123

Calls

4 calls:

79.0ms	(/.f32 cos2phi (*.f32 alphax alphax))
79.0ms	(/.f32 sin2phi (*.f32 alphay alphay))
79.0ms	(/.f32 (neg.f32 (log.f32 (-.f32 1 u0))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay))))
79.0ms	(log.f32 (-.f32 1 u0))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	46
1	357	40
2	4512	40
3	6089	40
0	0	0
1	0	0

prune177.0ms (1.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	234	9	243
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	235	9	244

Error

0.1b

Counts

244 → 9

Alt Table

Status	Error	Program
	0.6b	(*.f32 (/.f32 -1 (hypot.f32 (/.f32 (sqrt.f32 cos2phi) alphax) (/.f32 (sqrt.f32 sin2phi) alphay))) (/.f32 (log1p.f32 (neg.f32 u0)) (hypot.f32 (/.f32 (sqrt.f32 cos2phi) alphax) (/.f32 (sqrt.f32 sin2phi) alphay))))
	16.9b	(.f32 -1 (/.f32 (.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alphay 2)) sin2phi))
	0.6b	(.f32 (log1p.f32 (neg.f32 u0)) (/.f32 1 (neg.f32 (fma.f32 cos2phi (pow.f32 alphax -2) (/.f32 sin2phi (.f32 alphay alphay))))))
	2.9b	(+.f32 (/.f32 u0 (+.f32 (/.f32 sin2phi (pow.f32 alphay 2)) (/.f32 cos2phi (pow.f32 alphax 2)))) (+.f32 (.f32 1/3 (/.f32 (pow.f32 u0 3) (+.f32 (/.f32 sin2phi (pow.f32 alphay 2)) (/.f32 cos2phi (pow.f32 alphax 2))))) (.f32 1/2 (/.f32 (pow.f32 u0 2) (+.f32 (/.f32 sin2phi (pow.f32 alphay 2)) (/.f32 cos2phi (pow.f32 alphax 2)))))))
▶	0.5b	(/.f32 (neg.f32 (cbrt.f32 (pow.f32 (log1p.f32 (neg.f32 u0)) 3))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay))))
	0.9b	(/.f32 (neg.f32 (pow.f32 (cbrt.f32 (log1p.f32 (neg.f32 u0))) 3)) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay))))
	0.9b	(/.f32 (neg.f32 (.f32 (pow.f32 (cbrt.f32 (log1p.f32 (neg.f32 u0))) 2) (cbrt.f32 (log1p.f32 (neg.f32 u0))))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))
	3.3b	(/.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (.f32 u0 u0))) (log1p.f32 u0))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))
	0.8b	(.f32 (/.f32 -1 (pow.f32 (cbrt.f32 (fma.f32 cos2phi (pow.f32 alphax -2) (/.f32 sin2phi (.f32 alphay alphay)))) 2)) (/.f32 (log1p.f32 (neg.f32 u0)) (cbrt.f32 (fma.f32 cos2phi (pow.f32 alphax -2) (/.f32 sin2phi (*.f32 alphay alphay))))))

Compiler

Compiled 6784 to 3796 computations (44% saved)

localize46.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f32 cos2phi (*.f32 alphax alphax))
✓	0.3b	(/.f32 sin2phi (*.f32 alphay alphay))
✓	0.4b	(/.f32 (neg.f32 (cbrt.f32 (pow.f32 (log1p.f32 (neg.f32 u0)) 3))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay))))
✓	0.6b	(pow.f32 (log1p.f32 (neg.f32 u0)) 3)

series172.0ms (1.8%)

Counts

4 → 120

Calls

4 calls:

113.0ms	(/.f32 (neg.f32 (cbrt.f32 (pow.f32 (log1p.f32 (neg.f32 u0)) 3))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay))))
24.0ms	(/.f32 cos2phi (*.f32 alphax alphax))
23.0ms	(/.f32 sin2phi (*.f32 alphay alphay))
10.0ms	(pow.f32 (log1p.f32 (neg.f32 u0)) 3)

rewrite76.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

691×	`prod-diff_binary32`
190×	`add-sqr-sqrt_binary32`
184×	`expm1-log1p-u_binary32`
183×	`log1p-expm1-u_binary32`
177×	`add-cbrt-cube_binary32`

Counts

4 → 105

Calls

4 calls:

73.0ms	(/.f32 cos2phi (*.f32 alphax alphax))
73.0ms	(/.f32 sin2phi (*.f32 alphay alphay))
73.0ms	(/.f32 (neg.f32 (cbrt.f32 (pow.f32 (log1p.f32 (neg.f32 u0)) 3))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay))))
73.0ms	(pow.f32 (log1p.f32 (neg.f32 u0)) 3)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	47
1	381	39
2	4328	39
3	5720	39
0	0	0
1	0	0

prune236.0ms (2.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	219	6	225
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	222	12	234

Error

0.0b

Counts

234 → 12

Alt Table

Status	Error	Program
	0.7b	(/.f32 (neg.f32 (cbrt.f32 (pow.f32 (log1p.f32 (neg.f32 u0)) 3))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (.f32 (/.f32 (sqrt.f32 sin2phi) 1) (/.f32 (sqrt.f32 sin2phi) (*.f32 alphay alphay)))))
	8.3b	(pow.f32 (cbrt.f32 (/.f32 (log1p.f32 u0) (fma.f32 cos2phi (pow.f32 alphax -2) (/.f32 sin2phi (*.f32 alphay alphay))))) 3)
	0.9b	(/.f32 (neg.f32 (pow.f32 (cbrt.f32 (log1p.f32 (neg.f32 u0))) 3)) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay))))
	0.6b	(/.f32 (neg.f32 (cbrt.f32 (pow.f32 (log1p.f32 (neg.f32 u0)) 3))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (.f32 (/.f32 sin2phi alphay) (/.f32 1 alphay))))
	0.6b	(*.f32 (/.f32 -1 (hypot.f32 (/.f32 (sqrt.f32 cos2phi) alphax) (/.f32 (sqrt.f32 sin2phi) alphay))) (/.f32 (log1p.f32 (neg.f32 u0)) (hypot.f32 (/.f32 (sqrt.f32 cos2phi) alphax) (/.f32 (sqrt.f32 sin2phi) alphay))))
	16.9b	(.f32 -1 (/.f32 (.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alphay 2)) sin2phi))
	3.1b	(/.f32 (neg.f32 (cbrt.f32 (neg.f32 (+.f32 (.f32 7/4 (pow.f32 u0 5)) (+.f32 (pow.f32 u0 3) (.f32 3/2 (pow.f32 u0 4))))))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay))))
	0.8b	(.f32 (/.f32 -1 (pow.f32 (cbrt.f32 (fma.f32 cos2phi (pow.f32 alphax -2) (/.f32 sin2phi (.f32 alphay alphay)))) 2)) (/.f32 (log1p.f32 (neg.f32 u0)) (cbrt.f32 (fma.f32 cos2phi (pow.f32 alphax -2) (/.f32 sin2phi (*.f32 alphay alphay))))))
	8.7b	(pow.f32 (/.f32 (fma.f32 cos2phi (pow.f32 alphax -2) (/.f32 sin2phi (*.f32 alphay alphay))) (log1p.f32 u0)) -1)
	0.6b	(.f32 (log1p.f32 (neg.f32 u0)) (/.f32 1 (neg.f32 (fma.f32 cos2phi (pow.f32 alphax -2) (/.f32 sin2phi (.f32 alphay alphay))))))
	2.9b	(+.f32 (/.f32 u0 (+.f32 (/.f32 sin2phi (pow.f32 alphay 2)) (/.f32 cos2phi (pow.f32 alphax 2)))) (+.f32 (.f32 1/3 (/.f32 (pow.f32 u0 3) (+.f32 (/.f32 sin2phi (pow.f32 alphay 2)) (/.f32 cos2phi (pow.f32 alphax 2))))) (.f32 1/2 (/.f32 (pow.f32 u0 2) (+.f32 (/.f32 sin2phi (pow.f32 alphay 2)) (/.f32 cos2phi (pow.f32 alphax 2)))))))
▶	0.5b	(/.f32 (neg.f32 (cbrt.f32 (pow.f32 (log1p.f32 (neg.f32 u0)) 3))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (pow.f32 (/.f32 (.f32 alphay alphay) sin2phi) -1)))

Compiler

Compiled 7130 to 4192 computations (41.2% saved)

localize47.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f32 (*.f32 alphay alphay) sin2phi)
✓	0.3b	(pow.f32 (/.f32 (*.f32 alphay alphay) sin2phi) -1)
✓	0.4b	(/.f32 (neg.f32 (cbrt.f32 (pow.f32 (log1p.f32 (neg.f32 u0)) 3))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (pow.f32 (/.f32 (.f32 alphay alphay) sin2phi) -1)))
✓	0.6b	(pow.f32 (log1p.f32 (neg.f32 u0)) 3)

series171.0ms (1.8%)

Counts

4 → 120

Calls

4 calls:

121.0ms	(/.f32 (neg.f32 (cbrt.f32 (pow.f32 (log1p.f32 (neg.f32 u0)) 3))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (pow.f32 (/.f32 (.f32 alphay alphay) sin2phi) -1)))
30.0ms	(pow.f32 (/.f32 (*.f32 alphay alphay) sin2phi) -1)
10.0ms	(pow.f32 (log1p.f32 (neg.f32 u0)) 3)
9.0ms	(/.f32 (*.f32 alphay alphay) sin2phi)

rewrite73.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

674×	`prod-diff_binary32`
203×	`add-sqr-sqrt_binary32`
196×	`expm1-log1p-u_binary32`
195×	`log1p-expm1-u_binary32`
189×	`add-cbrt-cube_binary32`

Counts

4 → 107

Calls

4 calls:

70.0ms	(/.f32 (*.f32 alphay alphay) sin2phi)
70.0ms	(pow.f32 (/.f32 (*.f32 alphay alphay) sin2phi) -1)
70.0ms	(/.f32 (neg.f32 (cbrt.f32 (pow.f32 (log1p.f32 (neg.f32 u0)) 3))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (pow.f32 (/.f32 (.f32 alphay alphay) sin2phi) -1)))
70.0ms	(pow.f32 (log1p.f32 (neg.f32 u0)) 3)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	53
1	416	39
2	4271	39
3	5569	39
0	0	0
1	0	0

prune202.0ms (2.1%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	227	0	227
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	227	12	239

Error

0.0b

Counts

239 → 12

Alt Table

Status	Error	Program
	0.7b	(/.f32 (neg.f32 (cbrt.f32 (pow.f32 (log1p.f32 (neg.f32 u0)) 3))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (.f32 (/.f32 (sqrt.f32 sin2phi) 1) (/.f32 (sqrt.f32 sin2phi) (*.f32 alphay alphay)))))
	8.3b	(pow.f32 (cbrt.f32 (/.f32 (log1p.f32 u0) (fma.f32 cos2phi (pow.f32 alphax -2) (/.f32 sin2phi (*.f32 alphay alphay))))) 3)
	0.9b	(/.f32 (neg.f32 (pow.f32 (cbrt.f32 (log1p.f32 (neg.f32 u0))) 3)) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay))))
▶	0.6b	(/.f32 (neg.f32 (cbrt.f32 (pow.f32 (log1p.f32 (neg.f32 u0)) 3))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (.f32 (/.f32 sin2phi alphay) (/.f32 1 alphay))))
	0.6b	(*.f32 (/.f32 -1 (hypot.f32 (/.f32 (sqrt.f32 cos2phi) alphax) (/.f32 (sqrt.f32 sin2phi) alphay))) (/.f32 (log1p.f32 (neg.f32 u0)) (hypot.f32 (/.f32 (sqrt.f32 cos2phi) alphax) (/.f32 (sqrt.f32 sin2phi) alphay))))
	16.9b	(.f32 -1 (/.f32 (.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alphay 2)) sin2phi))
	3.1b	(/.f32 (neg.f32 (cbrt.f32 (neg.f32 (+.f32 (.f32 7/4 (pow.f32 u0 5)) (+.f32 (pow.f32 u0 3) (.f32 3/2 (pow.f32 u0 4))))))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay))))
	0.8b	(.f32 (/.f32 -1 (pow.f32 (cbrt.f32 (fma.f32 cos2phi (pow.f32 alphax -2) (/.f32 sin2phi (.f32 alphay alphay)))) 2)) (/.f32 (log1p.f32 (neg.f32 u0)) (cbrt.f32 (fma.f32 cos2phi (pow.f32 alphax -2) (/.f32 sin2phi (*.f32 alphay alphay))))))
	8.7b	(pow.f32 (/.f32 (fma.f32 cos2phi (pow.f32 alphax -2) (/.f32 sin2phi (*.f32 alphay alphay))) (log1p.f32 u0)) -1)
	0.6b	(.f32 (log1p.f32 (neg.f32 u0)) (/.f32 1 (neg.f32 (fma.f32 cos2phi (pow.f32 alphax -2) (/.f32 sin2phi (.f32 alphay alphay))))))
	2.9b	(+.f32 (/.f32 u0 (+.f32 (/.f32 sin2phi (pow.f32 alphay 2)) (/.f32 cos2phi (pow.f32 alphax 2)))) (+.f32 (.f32 1/3 (/.f32 (pow.f32 u0 3) (+.f32 (/.f32 sin2phi (pow.f32 alphay 2)) (/.f32 cos2phi (pow.f32 alphax 2))))) (.f32 1/2 (/.f32 (pow.f32 u0 2) (+.f32 (/.f32 sin2phi (pow.f32 alphay 2)) (/.f32 cos2phi (pow.f32 alphax 2)))))))
✓	0.5b	(/.f32 (neg.f32 (cbrt.f32 (pow.f32 (log1p.f32 (neg.f32 u0)) 3))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (pow.f32 (/.f32 (.f32 alphay alphay) sin2phi) -1)))

Compiler

Compiled 7358 to 4434 computations (39.7% saved)

localize46.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f32 cos2phi (*.f32 alphax alphax))
✓	0.4b	(*.f32 (/.f32 sin2phi alphay) (/.f32 1 alphay))
✓	0.4b	(/.f32 (neg.f32 (cbrt.f32 (pow.f32 (log1p.f32 (neg.f32 u0)) 3))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (.f32 (/.f32 sin2phi alphay) (/.f32 1 alphay))))
✓	0.6b	(pow.f32 (log1p.f32 (neg.f32 u0)) 3)

series164.0ms (1.7%)

Counts

4 → 120

Calls

4 calls:

108.0ms	(/.f32 (neg.f32 (cbrt.f32 (pow.f32 (log1p.f32 (neg.f32 u0)) 3))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (.f32 (/.f32 sin2phi alphay) (/.f32 1 alphay))))
23.0ms	(*.f32 (/.f32 sin2phi alphay) (/.f32 1 alphay))
23.0ms	(/.f32 cos2phi (*.f32 alphax alphax))
10.0ms	(pow.f32 (log1p.f32 (neg.f32 u0)) 3)

rewrite71.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

388×	`prod-diff_binary32`
202×	`add-sqr-sqrt_binary32`
193×	`expm1-log1p-u_binary32`
192×	`log1p-expm1-u_binary32`
187×	`add-cbrt-cube_binary32`

Counts

4 → 112

Calls

4 calls:

68.0ms	(/.f32 cos2phi (*.f32 alphax alphax))
68.0ms	(*.f32 (/.f32 sin2phi alphay) (/.f32 1 alphay))
68.0ms	(/.f32 (neg.f32 (cbrt.f32 (pow.f32 (log1p.f32 (neg.f32 u0)) 3))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (.f32 (/.f32 sin2phi alphay) (/.f32 1 alphay))))
68.0ms	(pow.f32 (log1p.f32 (neg.f32 u0)) 3)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	47
1	415	39
2	4384	39
3	5082	39
0	0	0
1	0	0

prune225.0ms (2.4%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	231	1	232
Fresh	2	8	10
Picked	0	1	1
Done	0	1	1
Total	233	11	244

Error

0.0b

Counts

244 → 11

Alt Table

Status	Error	Program
	0.9b	(/.f32 (neg.f32 (pow.f32 (cbrt.f32 (log1p.f32 (neg.f32 u0))) 3)) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay))))
✓	0.6b	(/.f32 (neg.f32 (cbrt.f32 (pow.f32 (log1p.f32 (neg.f32 u0)) 3))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (.f32 (/.f32 sin2phi alphay) (/.f32 1 alphay))))
	0.6b	(*.f32 (/.f32 -1 (hypot.f32 (/.f32 (sqrt.f32 cos2phi) alphax) (/.f32 (sqrt.f32 sin2phi) alphay))) (/.f32 (log1p.f32 (neg.f32 u0)) (hypot.f32 (/.f32 (sqrt.f32 cos2phi) alphax) (/.f32 (sqrt.f32 sin2phi) alphay))))
	8.3b	(*.f32 (log1p.f32 u0) (/.f32 1 (fma.f32 cos2phi (pow.f32 alphax -2) (/.f32 (/.f32 sin2phi alphay) alphay))))
	16.9b	(.f32 -1 (/.f32 (.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alphay 2)) sin2phi))
	3.1b	(/.f32 (neg.f32 (cbrt.f32 (neg.f32 (+.f32 (.f32 7/4 (pow.f32 u0 5)) (+.f32 (pow.f32 u0 3) (.f32 3/2 (pow.f32 u0 4))))))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay))))
	0.6b	(.f32 (log1p.f32 (neg.f32 u0)) (/.f32 1 (neg.f32 (fma.f32 cos2phi (pow.f32 alphax -2) (/.f32 sin2phi (.f32 alphay alphay))))))
	2.9b	(+.f32 (/.f32 u0 (+.f32 (/.f32 sin2phi (pow.f32 alphay 2)) (/.f32 cos2phi (pow.f32 alphax 2)))) (+.f32 (.f32 1/3 (/.f32 (pow.f32 u0 3) (+.f32 (/.f32 sin2phi (pow.f32 alphay 2)) (/.f32 cos2phi (pow.f32 alphax 2))))) (.f32 1/2 (/.f32 (pow.f32 u0 2) (+.f32 (/.f32 sin2phi (pow.f32 alphay 2)) (/.f32 cos2phi (pow.f32 alphax 2)))))))
	0.7b	(/.f32 (neg.f32 (cbrt.f32 (pow.f32 (log1p.f32 (neg.f32 u0)) 3))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (.f32 (/.f32 (sqrt.f32 sin2phi) 1) (/.f32 (sqrt.f32 sin2phi) (*.f32 alphay alphay)))))
✓	0.5b	(/.f32 (neg.f32 (cbrt.f32 (pow.f32 (log1p.f32 (neg.f32 u0)) 3))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (pow.f32 (/.f32 (.f32 alphay alphay) sin2phi) -1)))
	8.7b	(pow.f32 (/.f32 (fma.f32 cos2phi (pow.f32 alphax -2) (/.f32 sin2phi (*.f32 alphay alphay))) (log1p.f32 u0)) -1)

Compiler

Compiled 7060 to 4286 computations (39.3% saved)

regimes3.5s (37.4%)

Accuracy

Total 0.5b remaining (90.4%)

Threshold costs 0.5b (90.4%)

Counts

197 → 1

Compiler

Compiled 81821 to 58470 computations (28.5% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary32`
4×	`*-commutative_binary32`
3×	`sub-neg_binary32`
3×	`neg-sub0_binary32`
3×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	30
1	31	30
2	37	30
3	41	30
4	42	30
5	41	30

end166.0ms (1.8%)

Compiler: Compiled 352 to 249 computations (29.3% saved)

Details

analyze1.6s (17.3%)

sample2.1s (22.5%)

localize42.0ms (0.4%)

series161.0ms (1.7%)

rewrite82.0ms (0.9%)

prune177.0ms (1.9%)

localize46.0ms (0.5%)

series172.0ms (1.8%)

rewrite76.0ms (0.8%)

prune236.0ms (2.5%)

localize47.0ms (0.5%)

series171.0ms (1.8%)

rewrite73.0ms (0.8%)

prune202.0ms (2.1%)

localize46.0ms (0.5%)

series164.0ms (1.7%)

rewrite71.0ms (0.8%)

prune225.0ms (2.4%)

regimes3.5s (37.4%)

simplify2.0ms (0%)

end166.0ms (1.8%)

Profiling