Details

analyze674.0ms (2.6%)

Algorithm

1×

Search

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

Compiler

Compiled 51 to 37 computations (27.5% saved)

sample2.1s (8.1%)

Results

2.1s

8256×

body

128

valid

Compiler

Compiled 102 to 74 computations (27.5% saved)

preprocess13.0ms (0%)

Algorithm

2×	egg-herbie

Rules

1×	`1-exp_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	156
1	45	156
0	3	3

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 28 to 20 computations (28.6% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	39
1	19	39

Stop Event

1×

saturated

Counts

1 → 1

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

13.5b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	13.5b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))

Compiler

Compiled 84 to 60 computations (28.6% saved)

localize47.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f32 (.f32 uy 2) (PI.f32))
✓	0.3b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
✓	0.4b	(.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)))
✓	13.2b	(-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))

series354.0ms (1.3%)

Counts

4 → 92

Calls

24 calls:

169.0ms	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))	uy	-inf
35.0ms	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))	maxCos	-inf
28.0ms	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))	ux	0
16.0ms	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))	uy	inf
16.0ms	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))	maxCos	inf

rewrite49.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

308×	`log-pow_binary32`
303×	`expm1-udef_binary32`
303×	`log1p-udef_binary32`
171×	`add-sqr-sqrt_binary32`
163×	`log1p-expm1-u_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	67
1	326	67
2	3455	67

Stop Event

1×	node limit

Counts

4 → 61

simplify989.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

1678×	`sqr-pow_binary32`
538×	`pow-sqr_binary32`
69×	`cube-mult_binary32`
69×	`unpow3_binary32`
64×	`cube-prod_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	301	6675
1	442	6577
2	511	6577
3	576	6577
4	648	6577
5	722	6577
6	799	6577
7	882	6577
8	969	6577
9	1062	6577
10	1159	6577
11	1262	6577
12	1369	6577
13	1482	6577
14	1599	6577
15	1722	6577
16	1849	6577
17	1982	6577
18	2119	6577
19	2262	6577
20	2409	6577
21	2562	6577
22	2594	6577
23	2621	6577
24	2621	6577
25	2751	6577
26	2907	6577
27	3074	6577
28	3245	6577
29	3422	6577
30	3603	6577
31	3790	6577
32	3981	6577
33	4178	6577
34	4379	6577
35	4586	6577
36	4594	6577
37	4598	6577
38	4598	6577
39	4807	6577

Stop Event

1×	node limit

Counts

153 → 142

prune253.0ms (1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	132	10	142
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	133	10	143

Error

0.4b

Counts

143 → 10

Alt Table

Status	Error	Program
	14.2b	(pow.f32 (pow.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (pow.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 2)))) 3) 1/3)
	5.4b	(-.f32 (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 6))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 5)))) (fma.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 (.f32 2 ux) (.f32 ux ux))) (fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos (.f32 ux ux))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux)))) (fma.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3))) (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3)))) (.f32 3/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 5)))))))))) (fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 3))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 3))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 5)))) (fma.f32 3/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 5))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 5)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (.f32 ux ux))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux))))) (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (.f32 ux ux))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3))))))))))))
	3.3b	(fma.f32 2 (.f32 (.f32 uy (PI.f32)) (sqrt.f32 (-.f32 (fma.f32 2 (.f32 maxCos (.f32 ux ux)) (.f32 2 ux)) (fma.f32 ux ux (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 2 (.f32 maxCos ux))))))) (neg.f32 (.f32 4/3 (.f32 (.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3)) (sqrt.f32 (-.f32 (fma.f32 2 (.f32 maxCos (.f32 ux ux)) (.f32 2 ux)) (fma.f32 ux ux (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 2 (*.f32 maxCos ux))))))))))
	13.5b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (pow.f32 (cbrt.f32 (-.f32 1 (pow.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 2))) 3)))
	2.3b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 (.f32 2 ux) (pow.f32 ux 2))))
	19.3b	(.f32 (sin.f32 (log.f32 (pow.f32 (pow.f32 (exp.f32 uy) 2) (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
	7.5b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (.f32 (-.f32 2 (*.f32 2 maxCos)) ux)))
	1.9b	(-.f32 (fma.f32 4/15 (.f32 (.f32 (pow.f32 uy 5) (pow.f32 (PI.f32) 5)) (sqrt.f32 (-.f32 (fma.f32 2 (.f32 maxCos (.f32 ux ux)) (.f32 2 ux)) (fma.f32 ux ux (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 2 (.f32 maxCos ux))))))) (.f32 2 (.f32 (.f32 uy (PI.f32)) (sqrt.f32 (-.f32 (fma.f32 2 (.f32 maxCos (.f32 ux ux)) (.f32 2 ux)) (fma.f32 ux ux (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 2 (.f32 maxCos ux))))))))) (fma.f32 8/315 (.f32 (.f32 (pow.f32 uy 7) (pow.f32 (PI.f32) 7)) (sqrt.f32 (-.f32 (fma.f32 2 (.f32 maxCos (.f32 ux ux)) (.f32 2 ux)) (fma.f32 ux ux (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 2 (.f32 maxCos ux))))))) (.f32 4/3 (.f32 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 uy 3)) (sqrt.f32 (-.f32 (fma.f32 2 (.f32 maxCos (.f32 ux ux)) (.f32 2 ux)) (fma.f32 ux ux (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 2 (.f32 maxCos ux))))))))))
▶	1.0b	(-.f32 (fma.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 (.f32 2 ux) (.f32 ux ux))) (fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos (.f32 ux ux))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux)))) (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3)))))) (fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (.f32 ux ux))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux))))) (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (.f32 ux ux))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3)))))))))
	1.0b	(-.f32 (+.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 (.f32 2 ux) (pow.f32 ux 2)))) (+.f32 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos (pow.f32 ux 2))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (pow.f32 ux 2))))) (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 3))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (pow.f32 ux 2)) 3)))))) (+.f32 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (pow.f32 ux 2))))) (+.f32 (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (pow.f32 ux 2)) 3))))) (+.f32 (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (pow.f32 ux 2)))))) (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (*.f32 2 ux) (pow.f32 ux 2)) 3)))))))))

Compiler

Compiled 10408 to 6709 computations (35.5% saved)

localize378.0ms (1.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.4b	(.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (.f32 ux ux))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (*.f32 ux ux)) 3))))
✓	1.5b	(fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos (.f32 ux ux))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux)))) (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (*.f32 ux ux)) 3)))))
✓	1.5b	(.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3))))
✓	1.5b	(fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (.f32 ux ux))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux))))) (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (.f32 ux ux))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (*.f32 ux ux)) 3))))))))

series1.4s (5.1%)

Counts

4 → 128

Calls

36 calls:

285.0ms	(fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (.f32 ux ux))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux))))) (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (.f32 ux ux))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (*.f32 ux ux)) 3))))))))	uy	0
102.0ms	(fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (.f32 ux ux))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux))))) (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (.f32 ux ux))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (*.f32 ux ux)) 3))))))))	uy	-inf
97.0ms	(fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (.f32 ux ux))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux))))) (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (.f32 ux ux))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (*.f32 ux ux)) 3))))))))	uy	inf
61.0ms	(fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (.f32 ux ux))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux))))) (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (.f32 ux ux))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (*.f32 ux ux)) 3))))))))	maxCos	inf
60.0ms	(fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (.f32 ux ux))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux))))) (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (.f32 ux ux))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (*.f32 ux ux)) 3))))))))	maxCos	-inf

rewrite58.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

391×	`log1p-expm1-u_binary32`
391×	`expm1-log1p-u_binary32`
381×	`add-log-exp_binary32`
380×	`add-exp-log_binary32`
373×	`pow1_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	43	312
1	820	287

Stop Event

1×	node limit

Counts

4 → 54

simplify4.9s (18.4%)

Algorithm

1×	egg-herbie

Rules

1557×	`sqr-pow_binary32`
508×	`pow-sqr_binary32`
103×	`fma-def_binary32`
50×	`cube-mult_binary32`
50×	`unpow3_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	460	13316
1	632	13316
2	680	13316
3	721	13316
4	768	13316
5	815	13316
6	864	13316
7	915	13316
8	970	13316
9	1026	13316
10	1086	13316
11	1147	13316
12	1212	13316
13	1278	13316
14	1348	13316
15	1419	13316
16	1494	13316
17	1570	13316
18	1650	13316
19	1731	13316
20	1816	13316
21	1902	13316
22	1992	13316
23	2083	13316
24	2178	13316
25	2274	13316
26	2374	13316
27	2475	13316
28	2580	13316
29	2686	13316
30	2796	13316
31	2907	13316
32	2911	13316
33	2913	13316
34	2913	13316
35	3027	13316
36	3141	13316
37	3261	13316
38	3382	13316
39	3507	13316
40	3633	13316
41	3763	13316
42	3894	13316
43	4029	13316
44	4165	13316
45	4305	13316
46	4446	13316
47	4591	13316
48	4737	13316
49	4887	13316
50	4891	13316
51	4893	13316
52	4893	13316

Stop Event

1×	node limit

Counts

182 → 166

prune1.2s (4.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	165	1	166
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	167	9	176

Error

0.4b

Counts

176 → 9

Alt Table

Status	Error	Program
	14.2b	(pow.f32 (pow.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (pow.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 2)))) 3) 1/3)
	5.4b	(-.f32 (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 6))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 5)))) (fma.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 (.f32 2 ux) (.f32 ux ux))) (fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos (.f32 ux ux))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux)))) (fma.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3))) (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3)))) (.f32 3/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 5)))))))))) (fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 3))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 3))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 5)))) (fma.f32 3/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 5))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 5)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (.f32 ux ux))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux))))) (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (.f32 ux ux))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3))))))))))))
	3.3b	(fma.f32 2 (.f32 (.f32 uy (PI.f32)) (sqrt.f32 (-.f32 (fma.f32 2 (.f32 maxCos (.f32 ux ux)) (.f32 2 ux)) (fma.f32 ux ux (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 2 (.f32 maxCos ux))))))) (neg.f32 (.f32 4/3 (.f32 (.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3)) (sqrt.f32 (-.f32 (fma.f32 2 (.f32 maxCos (.f32 ux ux)) (.f32 2 ux)) (fma.f32 ux ux (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 2 (*.f32 maxCos ux))))))))))
▶	1.0b	(-.f32 (+.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 (.f32 2 ux) (pow.f32 ux 2)))) (+.f32 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos (pow.f32 ux 2))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (pow.f32 ux 2))))) (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 3))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (pow.f32 ux 2)) 3)))))) (+.f32 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (pow.f32 ux 2))))) (+.f32 (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (pow.f32 ux 2)) 3))))) (+.f32 (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (pow.f32 ux 2)))))) (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (*.f32 2 ux) (pow.f32 ux 2)) 3)))))))))
	1.0b	(-.f32 (fma.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 (.f32 2 ux) (.f32 ux ux))) (fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos (.f32 ux ux))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux)))) (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3)))))) (cbrt.f32 (pow.f32 (fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -1/2) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -3/2)) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (pow.f32 (.f32 maxCos ux) 2)) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -1/2)) (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (pow.f32 (.f32 maxCos ux) 2)) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -3/2)))))) 3)))
	19.3b	(.f32 (sin.f32 (log.f32 (pow.f32 (pow.f32 (exp.f32 uy) 2) (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
	7.5b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (.f32 (-.f32 2 (*.f32 2 maxCos)) ux)))
	1.9b	(-.f32 (fma.f32 4/15 (.f32 (.f32 (pow.f32 uy 5) (pow.f32 (PI.f32) 5)) (sqrt.f32 (-.f32 (fma.f32 2 (.f32 maxCos (.f32 ux ux)) (.f32 2 ux)) (fma.f32 ux ux (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 2 (.f32 maxCos ux))))))) (.f32 2 (.f32 (.f32 uy (PI.f32)) (sqrt.f32 (-.f32 (fma.f32 2 (.f32 maxCos (.f32 ux ux)) (.f32 2 ux)) (fma.f32 ux ux (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 2 (.f32 maxCos ux))))))))) (fma.f32 8/315 (.f32 (.f32 (pow.f32 uy 7) (pow.f32 (PI.f32) 7)) (sqrt.f32 (-.f32 (fma.f32 2 (.f32 maxCos (.f32 ux ux)) (.f32 2 ux)) (fma.f32 ux ux (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 2 (.f32 maxCos ux))))))) (.f32 4/3 (.f32 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 uy 3)) (sqrt.f32 (-.f32 (fma.f32 2 (.f32 maxCos (.f32 ux ux)) (.f32 2 ux)) (fma.f32 ux ux (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 2 (.f32 maxCos ux))))))))))
	13.5b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (pow.f32 (cbrt.f32 (-.f32 1 (pow.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 2))) 3)))

Compiler

Compiled 34644 to 20323 computations (41.3% saved)

localize201.0ms (0.8%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.4b	(.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (pow.f32 ux 2)) 3))))
✓	1.5b	(.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos (pow.f32 ux 2))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (pow.f32 ux 2)))))
✓	1.5b	(.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (pow.f32 ux 2)) 3))))
✓	1.6b	(.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (pow.f32 ux 2)))))

series580.0ms (2.2%)

Counts

4 → 128

Calls

36 calls:

30.0ms	(.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (pow.f32 ux 2)) 3))))	maxCos	-inf
30.0ms	(.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (pow.f32 ux 2)) 3))))	maxCos	0
28.0ms	(.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (pow.f32 ux 2)) 3))))	maxCos	-inf
28.0ms	(.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (pow.f32 ux 2)) 3))))	maxCos	inf
27.0ms	(.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (pow.f32 ux 2)) 3))))	maxCos	0

rewrite45.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

308×	`log1p-expm1-u_binary32`
308×	`expm1-log1p-u_binary32`
302×	`add-cbrt-cube_binary32`
298×	`add-log-exp_binary32`
297×	`add-cube-cbrt_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	34	144
1	649	136

Stop Event

1×	node limit

Counts

4 → 48

simplify1.6s (5.9%)

Algorithm

1×	egg-herbie

Rules

1614×	`sqr-pow_binary32`
531×	`pow-sqr_binary32`
50×	`cube-mult_binary32`
50×	`unpow3_binary32`
46×	`cube-prod_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	312	7652
1	432	7652
2	487	7652
3	528	7652
4	575	7652
5	622	7652
6	671	7652
7	722	7652
8	777	7652
9	833	7652
10	893	7652
11	954	7652
12	1019	7652
13	1085	7652
14	1155	7652
15	1226	7652
16	1301	7652
17	1377	7652
18	1457	7652
19	1538	7652
20	1623	7652
21	1709	7652
22	1799	7652
23	1890	7652
24	1985	7652
25	2081	7652
26	2181	7652
27	2282	7652
28	2387	7652
29	2493	7652
30	2603	7652
31	2714	7652
32	2718	7652
33	2720	7652
34	2720	7652
35	2834	7652
36	2948	7652
37	3068	7652
38	3189	7652
39	3314	7652
40	3440	7652
41	3570	7652
42	3701	7652
43	3836	7652
44	3972	7652
45	4112	7652
46	4253	7652
47	4398	7652
48	4544	7652
49	4694	7652
50	4698	7652
51	4700	7652
52	4700	7652
53	4850	7652

Stop Event

1×	node limit

Counts

176 → 148

prune1.1s (4.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	148	0	148
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	148	9	157

Error

0.4b

Counts

157 → 9

Alt Table

Status	Error	Program
	14.2b	(pow.f32 (pow.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (pow.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 2)))) 3) 1/3)
	5.4b	(-.f32 (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 6))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 5)))) (fma.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 (.f32 2 ux) (.f32 ux ux))) (fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos (.f32 ux ux))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux)))) (fma.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3))) (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3)))) (.f32 3/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 5)))))))))) (fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 3))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 3))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 5)))) (fma.f32 3/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 5))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 5)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (.f32 ux ux))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux))))) (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (.f32 ux ux))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3))))))))))))
	3.3b	(fma.f32 2 (.f32 (.f32 uy (PI.f32)) (sqrt.f32 (-.f32 (fma.f32 2 (.f32 maxCos (.f32 ux ux)) (.f32 2 ux)) (fma.f32 ux ux (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 2 (.f32 maxCos ux))))))) (neg.f32 (.f32 4/3 (.f32 (.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3)) (sqrt.f32 (-.f32 (fma.f32 2 (.f32 maxCos (.f32 ux ux)) (.f32 2 ux)) (fma.f32 ux ux (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 2 (*.f32 maxCos ux))))))))))
✓	1.0b	(-.f32 (+.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 (.f32 2 ux) (pow.f32 ux 2)))) (+.f32 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos (pow.f32 ux 2))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (pow.f32 ux 2))))) (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 3))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (pow.f32 ux 2)) 3)))))) (+.f32 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (pow.f32 ux 2))))) (+.f32 (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (pow.f32 ux 2)) 3))))) (+.f32 (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (pow.f32 ux 2)))))) (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (*.f32 2 ux) (pow.f32 ux 2)) 3)))))))))
▶	1.0b	(-.f32 (fma.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 (.f32 2 ux) (.f32 ux ux))) (fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos (.f32 ux ux))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux)))) (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3)))))) (cbrt.f32 (pow.f32 (fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -1/2) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -3/2)) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (pow.f32 (.f32 maxCos ux) 2)) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -1/2)) (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (pow.f32 (.f32 maxCos ux) 2)) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -3/2)))))) 3)))
	19.3b	(.f32 (sin.f32 (log.f32 (pow.f32 (pow.f32 (exp.f32 uy) 2) (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
	7.5b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (.f32 (-.f32 2 (*.f32 2 maxCos)) ux)))
	1.9b	(-.f32 (fma.f32 4/15 (.f32 (.f32 (pow.f32 uy 5) (pow.f32 (PI.f32) 5)) (sqrt.f32 (-.f32 (fma.f32 2 (.f32 maxCos (.f32 ux ux)) (.f32 2 ux)) (fma.f32 ux ux (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 2 (.f32 maxCos ux))))))) (.f32 2 (.f32 (.f32 uy (PI.f32)) (sqrt.f32 (-.f32 (fma.f32 2 (.f32 maxCos (.f32 ux ux)) (.f32 2 ux)) (fma.f32 ux ux (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 2 (.f32 maxCos ux))))))))) (fma.f32 8/315 (.f32 (.f32 (pow.f32 uy 7) (pow.f32 (PI.f32) 7)) (sqrt.f32 (-.f32 (fma.f32 2 (.f32 maxCos (.f32 ux ux)) (.f32 2 ux)) (fma.f32 ux ux (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 2 (.f32 maxCos ux))))))) (.f32 4/3 (.f32 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 uy 3)) (sqrt.f32 (-.f32 (fma.f32 2 (.f32 maxCos (.f32 ux ux)) (.f32 2 ux)) (fma.f32 ux ux (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 2 (.f32 maxCos ux))))))))))
	13.5b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (pow.f32 (cbrt.f32 (-.f32 1 (pow.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 2))) 3)))

Compiler

Compiled 31619 to 22384 computations (29.2% saved)

localize477.0ms (1.8%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.5b	(fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos (.f32 ux ux))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux)))) (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (*.f32 ux ux)) 3)))))
✓	1.5b	(.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -3/2))
✓	1.5b	(fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -1/2) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -3/2)) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (pow.f32 (.f32 maxCos ux) 2)) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -1/2)) (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (pow.f32 (.f32 maxCos ux) 2)) (pow.f32 (-.f32 (.f32 2 ux) (*.f32 ux ux)) -3/2))))))
✓	19.7b	(cbrt.f32 (pow.f32 (fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -1/2) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -3/2)) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (pow.f32 (.f32 maxCos ux) 2)) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -1/2)) (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (pow.f32 (.f32 maxCos ux) 2)) (pow.f32 (-.f32 (.f32 2 ux) (*.f32 ux ux)) -3/2)))))) 3))

series1.9s (7.1%)

Counts

3 → 96

Calls

27 calls:

222.0ms	(cbrt.f32 (pow.f32 (fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -1/2) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -3/2)) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (pow.f32 (.f32 maxCos ux) 2)) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -1/2)) (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (pow.f32 (.f32 maxCos ux) 2)) (pow.f32 (-.f32 (.f32 2 ux) (*.f32 ux ux)) -3/2)))))) 3))	uy	inf
213.0ms	(fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -1/2) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -3/2)) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (pow.f32 (.f32 maxCos ux) 2)) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -1/2)) (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (pow.f32 (.f32 maxCos ux) 2)) (pow.f32 (-.f32 (.f32 2 ux) (*.f32 ux ux)) -3/2))))))	uy	inf
204.0ms	(fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -1/2) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -3/2)) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (pow.f32 (.f32 maxCos ux) 2)) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -1/2)) (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (pow.f32 (.f32 maxCos ux) 2)) (pow.f32 (-.f32 (.f32 2 ux) (*.f32 ux ux)) -3/2))))))	uy	-inf
203.0ms	(cbrt.f32 (pow.f32 (fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -1/2) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -3/2)) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (pow.f32 (.f32 maxCos ux) 2)) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -1/2)) (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (pow.f32 (.f32 maxCos ux) 2)) (pow.f32 (-.f32 (.f32 2 ux) (*.f32 ux ux)) -3/2)))))) 3))	uy	-inf
98.0ms	(cbrt.f32 (pow.f32 (fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -1/2) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -3/2)) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (pow.f32 (.f32 maxCos ux) 2)) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -1/2)) (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (pow.f32 (.f32 maxCos ux) 2)) (pow.f32 (-.f32 (.f32 2 ux) (*.f32 ux ux)) -3/2)))))) 3))	maxCos	0

rewrite75.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

334×	`log1p-expm1-u_binary32`
334×	`expm1-log1p-u_binary32`
324×	`add-cbrt-cube_binary32`
322×	`add-log-exp_binary32`
321×	`add-exp-log_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	327
1	703	327

Stop Event

1×	node limit

Counts

3 → 50

simplify1.1s (4.3%)

Algorithm

1×	egg-herbie

Rules

1185×	`sqr-pow_binary32`
922×	`pow-sqr_binary32`
109×	`fma-def_binary32`
11×	`log-pow_binary32`
10×	`count-2_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	357	14601
1	514	14601
2	563	14601
3	613	14601
4	669	14601
5	738	14601
6	830	14601
7	970	14601
8	1190	14601
9	1580	14601
10	2264	14601
11	3564	14601
12	3570	14601
13	3574	14601
14	3576	14601
15	3576	14601

Stop Event

1×	node limit

Counts

146 → 92

prune831.0ms (3.2%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	137	0	137
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	137	9	146

Error

0.4b

Counts

146 → 9

Alt Table

Status	Error	Program
	14.2b	(pow.f32 (pow.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (pow.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 2)))) 3) 1/3)
	5.4b	(-.f32 (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 6))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 5)))) (fma.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 (.f32 2 ux) (.f32 ux ux))) (fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos (.f32 ux ux))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux)))) (fma.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3))) (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3)))) (.f32 3/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 5)))))))))) (fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 3))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 3))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 5)))) (fma.f32 3/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 5))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 5)))) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (.f32 ux ux))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux))))) (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (.f32 ux ux))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3))))))))))))
	3.3b	(fma.f32 2 (.f32 (.f32 uy (PI.f32)) (sqrt.f32 (-.f32 (fma.f32 2 (.f32 maxCos (.f32 ux ux)) (.f32 2 ux)) (fma.f32 ux ux (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 2 (.f32 maxCos ux))))))) (neg.f32 (.f32 4/3 (.f32 (.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3)) (sqrt.f32 (-.f32 (fma.f32 2 (.f32 maxCos (.f32 ux ux)) (.f32 2 ux)) (fma.f32 ux ux (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 2 (*.f32 maxCos ux))))))))))
✓	1.0b	(-.f32 (+.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 (.f32 2 ux) (pow.f32 ux 2)))) (+.f32 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos (pow.f32 ux 2))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (pow.f32 ux 2))))) (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 3))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (pow.f32 ux 2)) 3)))))) (+.f32 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (pow.f32 ux 2))))) (+.f32 (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 4))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (pow.f32 ux 2)) 3))))) (+.f32 (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (pow.f32 ux 2)))))) (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (*.f32 2 ux) (pow.f32 ux 2)) 3)))))))))
✓	1.0b	(-.f32 (fma.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 (.f32 2 ux) (.f32 ux ux))) (fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos (.f32 ux ux))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (.f32 ux ux)))) (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) 3)))))) (cbrt.f32 (pow.f32 (fma.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -1/2) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -3/2)) (fma.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (pow.f32 (.f32 maxCos ux) 2)) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -1/2)) (.f32 1/2 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (pow.f32 (.f32 maxCos ux) 2)) (pow.f32 (-.f32 (.f32 2 ux) (.f32 ux ux)) -3/2)))))) 3)))
	19.3b	(.f32 (sin.f32 (log.f32 (pow.f32 (pow.f32 (exp.f32 uy) 2) (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
	7.5b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (.f32 (-.f32 2 (*.f32 2 maxCos)) ux)))
	1.9b	(-.f32 (fma.f32 4/15 (.f32 (.f32 (pow.f32 uy 5) (pow.f32 (PI.f32) 5)) (sqrt.f32 (-.f32 (fma.f32 2 (.f32 maxCos (.f32 ux ux)) (.f32 2 ux)) (fma.f32 ux ux (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 2 (.f32 maxCos ux))))))) (.f32 2 (.f32 (.f32 uy (PI.f32)) (sqrt.f32 (-.f32 (fma.f32 2 (.f32 maxCos (.f32 ux ux)) (.f32 2 ux)) (fma.f32 ux ux (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 2 (.f32 maxCos ux))))))))) (fma.f32 8/315 (.f32 (.f32 (pow.f32 uy 7) (pow.f32 (PI.f32) 7)) (sqrt.f32 (-.f32 (fma.f32 2 (.f32 maxCos (.f32 ux ux)) (.f32 2 ux)) (fma.f32 ux ux (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 2 (.f32 maxCos ux))))))) (.f32 4/3 (.f32 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 uy 3)) (sqrt.f32 (-.f32 (fma.f32 2 (.f32 maxCos (.f32 ux ux)) (.f32 2 ux)) (fma.f32 ux ux (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 2 (.f32 maxCos ux))))))))))
	13.5b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (pow.f32 (cbrt.f32 (-.f32 1 (pow.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 2))) 3)))

Compiler

Compiled 27784 to 16752 computations (39.7% saved)

regimes5.6s (21.2%)

Accuracy

Total 0.1b remaining (20%)

Threshold costs 0.1b (20%)

Counts

164 → 1

Compiler

Compiled 237789 to 154449 computations (35% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	51

Stop Event

1×

saturated

end528.0ms (2%)

Stop Event

1×

fuel

Compiler

Compiled 1090 to 703 computations (35.5% saved)

Details

analyze674.0ms (2.6%)

sample2.1s (8.1%)

preprocess13.0ms (0%)

simplify4.0ms (0%)

prune3.0ms (0%)

localize47.0ms (0.2%)

series354.0ms (1.3%)

rewrite49.0ms (0.2%)

simplify989.0ms (3.7%)

prune253.0ms (1%)

localize378.0ms (1.4%)

series1.4s (5.1%)

rewrite58.0ms (0.2%)

simplify4.9s (18.4%)

prune1.2s (4.4%)

localize201.0ms (0.8%)

series580.0ms (2.2%)

rewrite45.0ms (0.2%)

simplify1.6s (5.9%)

prune1.1s (4.3%)

localize477.0ms (1.8%)

series1.9s (7.1%)

rewrite75.0ms (0.3%)

simplify1.1s (4.3%)

prune831.0ms (3.2%)

regimes5.6s (21.2%)

simplify1.0ms (0%)

end528.0ms (2%)

Profiling