Details

analyze385.0ms (6.8%)

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 39 to 31 computations (20.5% saved)

sample2.1s (36.8%)

Results

2.1s	8256×	body	128	valid
2.0ms	3×	body	128	invalid

Compiler

Compiled 78 to 62 computations (20.5% saved)

preprocess33.0ms (0.6%)

Algorithm

2×	egg-herbie

Rules

104×	`fma-neg_binary32`
95×	`fma-def_binary32`
60×	`sub-neg_binary32`
45×	`cancel-sign-sub-inv_binary32`
30×	`distribute-rgt-in_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	88
1	59	84
2	98	84
3	124	84
4	155	84
5	191	84
6	231	84
7	319	84
8	490	84
9	531	84
10	585	84
11	635	84
12	726	84
13	773	84
14	791	84
15	794	84
0	3	3

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

Inputs
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 cosTheta_i)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) cosTheta_i)))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u2)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u1)))

Outputs
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 cosTheta_i)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
(.f32 (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 cosTheta_i)))))
(.f32 (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 cosTheta_i)))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) cosTheta_i)))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) cosTheta_i))))
(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) cosTheta_i))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u2)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u1)))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u2)))) (cos.f32 (.f32 u1 (*.f32 2 (PI.f32)))))
(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u2)))) (cos.f32 (.f32 2 (*.f32 u1 (PI.f32)))))
(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u2)))) (cos.f32 (.f32 u1 (*.f32 2 (PI.f32)))))

Compiler

Compiled 16 to 14 computations (12.5% saved)

simplify12.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

40×	`fma-neg_binary32`
22×	`sub-neg_binary32`
17×	`cancel-sign-sub-inv_binary32`
13×	`fma-def_binary32`
10×	`*-commutative_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	22
1	26	21
2	39	21
3	49	21
4	60	21
5	74	21
6	92	21
7	119	21
8	149	21
9	162	21
10	184	21
11	206	21
12	245	21
13	262	21
14	268	21
15	269	21

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))

Outputs
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (PI.f32) (*.f32 2 u2))))
(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.3b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
	13.4b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))

Compiler

Compiled 90 to 77 computations (14.4% saved)

localize34.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
✓	0.1b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
✓	0.2b	(cos.f32 (.f32 2 (.f32 (PI.f32) u2)))
✓	0.3b	(*.f32 (PI.f32) u2)

series51.0ms (0.9%)

Counts

4 → 32

Calls

15 calls:

Time	Variable		Point	Expression
26.0ms	u2	@	inf	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
9.0ms	u1	@	-inf	(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
3.0ms	u1	@	inf	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
3.0ms	u1	@	0	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
3.0ms	u1	@	-inf	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))

rewrite63.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

679×	`prod-diff_binary32`
204×	`expm1-udef_binary32`
204×	`log1p-udef_binary32`
133×	`add-sqr-sqrt_binary32`
129×	`pow1_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	45
1	266	37
2	3255	37

Stop Event

1×	node limit

Counts

4 → 96

Calls

Call 1

Inputs
(*.f32 (PI.f32) u2)
(cos.f32 (.f32 2 (.f32 (PI.f32) u2)))
(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (.f32 (PI.f32) u2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (.f32 (PI.f32) u2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (.f32 (PI.f32) u2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (.f32 (PI.f32) u2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (.f32 (PI.f32) u2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (.f32 (PI.f32) u2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 u2) (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (.f32 (PI.f32) u2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (.f32 (PI.f32) u2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (.f32 (PI.f32) u2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (.f32 (PI.f32) u2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (.f32 (PI.f32) u2)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 (PI.f32) u2)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (fma.f32 (neg.f32 (sqrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (sqrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 1 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (neg.f32 (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 1))) (fma.f32 (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) 1 (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2)) (neg.f32 (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 1))) (fma.f32 (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) 1 (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 (.f32 (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2))) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (neg.f32 (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 1))) (fma.f32 (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) 1 (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 (sqrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (sqrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (neg.f32 (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 1))) (fma.f32 (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) 1 (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 1 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 1 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (fma.f32 (neg.f32 (sqrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (sqrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 (.f32 (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2))) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 (.f32 (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2))) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (fma.f32 (neg.f32 (sqrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (sqrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 (sqrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (sqrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 (sqrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (sqrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (fma.f32 (neg.f32 (sqrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (sqrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 1 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (neg.f32 (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (fma.f32 (neg.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2)) (neg.f32 (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (fma.f32 (neg.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 (.f32 (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2))) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (neg.f32 (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (fma.f32 (neg.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 (sqrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (sqrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (neg.f32 (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (fma.f32 (neg.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))) (pow.f32 (cbrt.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))) 2) (cbrt.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))) (sqrt.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (+.f32 (cos.f32 (.f32 (PI.f32) u2)) (sin.f32 (.f32 (PI.f32) u2))) (-.f32 (cos.f32 (.f32 (PI.f32) u2)) (sin.f32 (.f32 (PI.f32) u2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (pow.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) 3) (pow.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 3)) (+.f32 (.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (+.f32 (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (+.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2)) (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (cos.f32 (.f32 (PI.f32) (*.f32 u2 2)))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (sqrt.f32 (log1p.f32 u1))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (sqrt.f32 (log1p.f32 u1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (sqrt.f32 (log1p.f32 u1))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (sqrt.f32 (log1p.f32 u1)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (sqrt.f32 (log1p.f32 u1)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (.f32 (log1p.f32 u1) (pow.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 (sqrt.f32 (log1p.f32 u1))) (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (sqrt.f32 (log1p.f32 u1))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (sqrt.f32 (log1p.f32 u1))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) 3) (pow.f32 (log1p.f32 u1) 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 (log1p.f32 u1) 3/2) (pow.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (sqrt.f32 (log1p.f32 u1)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (sqrt.f32 (log1p.f32 u1)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (sqrt.f32 (log1p.f32 u1)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (.f32 (cos.f32 (.f32 (PI.f32) (*.f32 u2 2))) (sqrt.f32 (log1p.f32 u1)))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (sqrt.f32 (log1p.f32 u1)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (log1p.f32 u1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (sqrt.f32 (log1p.f32 u1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (log1p.f32 u1)) (cbrt.f32 (sqrt.f32 (log1p.f32 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (sqrt.f32 (log1p.f32 u1))) (cbrt.f32 (log1p.f32 u1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (log1p.f32 u1) 1/4) (pow.f32 (log1p.f32 u1) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (pow.f32 (cbrt.f32 (log1p.f32 u1)) 2)) (sqrt.f32 (cbrt.f32 (log1p.f32 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 -1) (sqrt.f32 (log1p.f32 u1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 1 1/2) (sqrt.f32 (log1p.f32 u1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (pow.f32 (cbrt.f32 (log1p.f32 u1)) 2) 1/2) (pow.f32 (cbrt.f32 (log1p.f32 u1)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 -1 1/2) (sqrt.f32 (log1p.f32 u1)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (log1p.f32 u1) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (log1p.f32 u1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (log1p.f32 u1) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (sqrt.f32 (log1p.f32 u1))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (log1p.f32 u1) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f32 (sqrt.f32 (log1p.f32 u1)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (sqrt.f32 (log1p.f32 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (sqrt.f32 (log1p.f32 u1)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (log1p.f32 u1) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (sqrt.f32 (log1p.f32 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (log1p.f32 u1)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (sqrt.f32 (log1p.f32 u1))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (sqrt.f32 (log1p.f32 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (sqrt.f32 (log1p.f32 u1))))))))

simplify71.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

538×	`cancel-sign-sub-inv_binary32`
348×	`times-frac_binary32`
276×	`associate-*l/_binary32`
246×	`associate-/r*_binary32`
219×	`associate-/l*_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	179	1948
1	571	1783
2	2097	1637

Stop Event

1×	node limit

Counts

128 → 144

Calls

Call 1

Inputs
1
(-.f32 1 (.f32 2 (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2))))
(-.f32 (+.f32 1 (.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)))) (.f32 2 (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2))))
(-.f32 (+.f32 1 (.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)))) (+.f32 (.f32 2 (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2))) (.f32 4/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)))))
(.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1))))
(+.f32 (.f32 1/2 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1) (sqrt.f32 (/.f32 1 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))))) (.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))))
(-.f32 (+.f32 (.f32 1/2 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1) (sqrt.f32 (/.f32 1 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))))) (+.f32 (.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (sqrt.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))) (.f32 1/4 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 2)) (sqrt.f32 (/.f32 1 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))))))) (.f32 1/8 (.f32 (/.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (pow.f32 u1 2)) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)) 3))))))
(-.f32 (+.f32 (.f32 1/16 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 3)) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)) 5))))) (+.f32 (.f32 1/2 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1) (sqrt.f32 (/.f32 1 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))))) (+.f32 (.f32 1/6 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 3)) (sqrt.f32 (/.f32 1 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))))) (+.f32 (.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (sqrt.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))) (.f32 1/4 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 2)) (sqrt.f32 (/.f32 1 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))))))))) (+.f32 (.f32 1/8 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 3)) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)) 3))))) (.f32 1/8 (.f32 (/.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (pow.f32 u1 2)) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)) 3)))))))
(.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))))
(+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1))) (.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32))))))
(-.f32 (+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1))) (+.f32 (.f32 1/4 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 2)))) (.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))))) (.f32 1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3))) (/.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (pow.f32 u1 2)))))
(-.f32 (+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1))) (+.f32 (.f32 1/16 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 5))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 3)))) (+.f32 (.f32 1/4 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 2)))) (+.f32 (.f32 1/6 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 3)))) (.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))))))) (+.f32 (.f32 1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 3)))) (.f32 1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3))) (/.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (pow.f32 u1 2))))))
(sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))
(-.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (.f32 2 (.f32 (pow.f32 u2 2) (*.f32 (pow.f32 (PI.f32) 2) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))))))
(-.f32 (+.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (.f32 2/3 (.f32 (pow.f32 u2 4) (.f32 (pow.f32 (PI.f32) 4) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))) (.f32 2 (.f32 (pow.f32 u2 2) (.f32 (pow.f32 (PI.f32) 2) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))))))
(-.f32 (+.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (.f32 2/3 (.f32 (pow.f32 u2 4) (.f32 (pow.f32 (PI.f32) 4) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))) (+.f32 (.f32 2 (.f32 (pow.f32 u2 2) (.f32 (pow.f32 (PI.f32) 2) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))))) (.f32 4/45 (.f32 (pow.f32 u2 6) (*.f32 (pow.f32 (PI.f32) 6) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
(sqrt.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))
(+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))) (/.f32 1 u1))) (sqrt.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1))))
(-.f32 (+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))) (/.f32 1 u1))) (+.f32 (sqrt.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1))) (.f32 1/4 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))) (/.f32 1 (pow.f32 u1 2)))))) (.f32 1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)) 3))) (/.f32 1 (pow.f32 u1 2)))))
(-.f32 (+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))) (/.f32 1 u1))) (+.f32 (.f32 1/16 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)) 5))) (/.f32 1 (pow.f32 u1 3)))) (+.f32 (sqrt.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1))) (+.f32 (.f32 1/4 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))) (/.f32 1 (pow.f32 u1 2)))) (.f32 1/6 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))) (/.f32 1 (pow.f32 u1 3)))))))) (+.f32 (.f32 1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)) 3))) (/.f32 1 (pow.f32 u1 2)))) (.f32 1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)) 3))) (/.f32 1 (pow.f32 u1 3))))))
(sqrt.f32 (log.f32 (/.f32 -1 u1)))
(+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 1 u1))) (sqrt.f32 (log.f32 (/.f32 -1 u1))))
(-.f32 (+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 1 u1))) (+.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (.f32 1/4 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 1 (pow.f32 u1 2)))))) (.f32 1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3))) (/.f32 1 (pow.f32 u1 2)))))
(-.f32 (+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 1 u1))) (+.f32 (.f32 1/16 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 5))) (/.f32 1 (pow.f32 u1 3)))) (+.f32 (.f32 1/6 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 1 (pow.f32 u1 3)))) (+.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (.f32 1/4 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 1 (pow.f32 u1 2)))))))) (+.f32 (.f32 1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3))) (/.f32 1 (pow.f32 u1 3)))) (.f32 1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3))) (/.f32 1 (pow.f32 u1 2))))))

Outputs
1
(-.f32 1 (.f32 2 (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2))))
(+.f32 1 (.f32 -2 (.f32 (*.f32 u2 u2) (pow.f32 (PI.f32) 2))))
(-.f32 1 (.f32 (.f32 u2 u2) (*.f32 (pow.f32 (PI.f32) 2) 2)))
(+.f32 1 (.f32 (pow.f32 (PI.f32) 2) (.f32 (*.f32 u2 u2) -2)))
(-.f32 (+.f32 1 (.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)))) (.f32 2 (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2))))
(+.f32 1 (-.f32 (.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))) (.f32 2 (.f32 (*.f32 u2 u2) (pow.f32 (PI.f32) 2)))))
(-.f32 (fma.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) 1) (.f32 (.f32 u2 u2) (.f32 (pow.f32 (PI.f32) 2) 2)))
(+.f32 1 (fma.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) (.f32 (pow.f32 (PI.f32) 2) (.f32 (.f32 u2 u2) -2))))
(-.f32 (+.f32 1 (.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)))) (+.f32 (.f32 2 (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2))) (.f32 4/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)))))
(-.f32 (+.f32 1 (.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)))) (fma.f32 2 (.f32 (.f32 u2 u2) (pow.f32 (PI.f32) 2)) (.f32 4/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)))))
(-.f32 (fma.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) 1) (fma.f32 4/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)) (.f32 (.f32 u2 u2) (*.f32 (pow.f32 (PI.f32) 2) 2))))
(+.f32 1 (fma.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) (fma.f32 (.f32 u2 (.f32 u2 (pow.f32 (PI.f32) 2))) -2 (.f32 (*.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)) -4/45))))
(.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1))))
(.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))))
(.f32 (cos.f32 (.f32 u2 (*.f32 2 (PI.f32)))) (sqrt.f32 (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u1))))
(+.f32 (.f32 1/2 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1) (sqrt.f32 (/.f32 1 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))))) (.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))))
(fma.f32 1/2 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1) (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))))) (.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))))
(fma.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) (sqrt.f32 (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u1))) (.f32 1/2 (.f32 (/.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) u1) (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u1)))))))
(-.f32 (+.f32 (.f32 1/2 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1) (sqrt.f32 (/.f32 1 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))))) (+.f32 (.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (sqrt.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))) (.f32 1/4 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 2)) (sqrt.f32 (/.f32 1 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))))))) (.f32 1/8 (.f32 (/.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (pow.f32 u1 2)) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)) 3))))))
(+.f32 (fma.f32 1/2 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1) (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))))) (fma.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))) (.f32 1/4 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (.f32 u1 u1)))))) (.f32 -1/8 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (*.f32 u1 u1)) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)) 3))))))
(fma.f32 1/2 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1) (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))))) (+.f32 (fma.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))) (.f32 (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) (/.f32 (.f32 1/4 (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))) (.f32 u1 u1)))) (.f32 (.f32 -1/8 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (*.f32 u1 u1))) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)) 3))))))
(+.f32 (fma.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) (sqrt.f32 (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u1))) (.f32 1/2 (.f32 (/.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) u1) (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u1))))))) (.f32 (/.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) (.f32 u1 u1)) (-.f32 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u1)))) 1/4) (.f32 1/8 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u1)) 3)))))))
(-.f32 (+.f32 (.f32 1/16 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 3)) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)) 5))))) (+.f32 (.f32 1/2 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1) (sqrt.f32 (/.f32 1 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))))) (+.f32 (.f32 1/6 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 3)) (sqrt.f32 (/.f32 1 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))))) (+.f32 (.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (sqrt.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))) (.f32 1/4 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 2)) (sqrt.f32 (/.f32 1 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))))))))) (+.f32 (.f32 1/8 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 3)) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)) 3))))) (.f32 1/8 (.f32 (/.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (pow.f32 u1 2)) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)) 3)))))))
(-.f32 (fma.f32 1/16 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 3)) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)) 5)))) (fma.f32 1/2 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1) (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))))) (fma.f32 1/6 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 3))) (fma.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))) (.f32 1/4 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (.f32 u1 u1)))))))) (.f32 1/8 (+.f32 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)) 3))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 3))) (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (.f32 u1 u1)) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)) 3)))))))
(+.f32 (fma.f32 1/16 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 3)) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)) 5)))) (+.f32 (fma.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))) (.f32 (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) (/.f32 (.f32 1/4 (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))) (.f32 u1 u1)))) (.f32 (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) (+.f32 (.f32 1/2 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1)) (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 3)) 1/6))))) (.f32 -1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)) 3))) (+.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 3)) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (.f32 u1 u1))))))
(+.f32 (+.f32 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u1)))) (+.f32 (+.f32 (.f32 1/2 (/.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) u1)) (.f32 (/.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) (pow.f32 u1 3)) 1/6)) (.f32 (/.f32 1/4 u1) (/.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) u1)))) (.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) (sqrt.f32 (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u1))))) (fma.f32 1/16 (.f32 (/.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) (pow.f32 u1 3)) (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u1)) 5)))) (.f32 -1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u1)) 3))) (+.f32 (/.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) (.f32 u1 u1)) (/.f32 (cos.f32 (.f32 u2 (*.f32 2 (PI.f32)))) (pow.f32 u1 3)))))))
(.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))))
(.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (log.f32 (/.f32 -1 u1))))
(.f32 (cos.f32 (.f32 u2 (*.f32 2 (PI.f32)))) (sqrt.f32 (log.f32 (/.f32 -1 u1))))
(+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1))) (.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32))))))
(fma.f32 1/2 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1) (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) (.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (sqrt.f32 (log.f32 (/.f32 -1 u1)))))
(fma.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (sqrt.f32 (log.f32 (/.f32 -1 u1))) (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1) (.f32 1/2 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))))))
(fma.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) (sqrt.f32 (log.f32 (/.f32 -1 u1))) (.f32 1/2 (.f32 (/.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) u1) (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))))))
(-.f32 (+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1))) (+.f32 (.f32 1/4 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 2)))) (.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))))) (.f32 1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3))) (/.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (pow.f32 u1 2)))))
(+.f32 (fma.f32 1/2 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1) (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) (fma.f32 1/4 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (.f32 u1 u1)) (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) (.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (sqrt.f32 (log.f32 (/.f32 -1 u1)))))) (.f32 -1/8 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (*.f32 u1 u1)) (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3))))))
(+.f32 (fma.f32 1/2 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1) (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) (fma.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (sqrt.f32 (log.f32 (/.f32 -1 u1))) (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (.f32 1/4 (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))) (.f32 u1 u1))))) (.f32 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (*.f32 u1 u1)) (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3)))) -1/8))
(fma.f32 1/2 (.f32 (/.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) u1) (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) (+.f32 (.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) (sqrt.f32 (log.f32 (/.f32 -1 u1)))) (.f32 (/.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) (.f32 u1 u1)) (-.f32 (.f32 1/4 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) (.f32 1/8 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3))))))))
(-.f32 (+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1))) (+.f32 (.f32 1/16 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 5))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 3)))) (+.f32 (.f32 1/4 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 2)))) (+.f32 (.f32 1/6 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 3)))) (.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))))))) (+.f32 (.f32 1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 3)))) (.f32 1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3))) (/.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (pow.f32 u1 2))))))
(-.f32 (fma.f32 1/2 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1) (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) (fma.f32 1/16 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 3)) (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 5)))) (fma.f32 1/4 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (.f32 u1 u1)) (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) (fma.f32 1/6 (/.f32 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))) (pow.f32 u1 3)) (.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (sqrt.f32 (log.f32 (/.f32 -1 u1)))))))) (.f32 1/8 (+.f32 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 3)) (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3)))) (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (.f32 u1 u1)) (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3)))))))
(+.f32 (fma.f32 1/2 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1) (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) (fma.f32 1/16 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 3)) (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 5)))) (fma.f32 1/4 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (.f32 u1 u1)) (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) (fma.f32 1/6 (.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 3)) (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) (.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (sqrt.f32 (log.f32 (/.f32 -1 u1)))))))) (.f32 -1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3))) (+.f32 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (pow.f32 u1 3)) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (*.f32 u1 u1))))))
(+.f32 (fma.f32 1/16 (.f32 (/.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) (pow.f32 u1 3)) (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 5)))) (+.f32 (.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) (sqrt.f32 (log.f32 (/.f32 -1 u1)))) (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (+.f32 (.f32 (/.f32 1/4 u1) (/.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) u1)) (.f32 (/.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) (pow.f32 u1 3)) 1/6))))) (fma.f32 1/2 (.f32 (/.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) u1) (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) (.f32 -1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3))) (+.f32 (/.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) (.f32 u1 u1)) (/.f32 (cos.f32 (.f32 u2 (*.f32 2 (PI.f32)))) (pow.f32 u1 3)))))))
(sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))
(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
(-.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (.f32 2 (.f32 (pow.f32 u2 2) (*.f32 (pow.f32 (PI.f32) 2) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))))))
(+.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (.f32 -2 (.f32 (.f32 u2 u2) (.f32 (pow.f32 (PI.f32) 2) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))))))
(+.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (.f32 (pow.f32 (PI.f32) 2) (.f32 (.f32 u2 u2) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) -2))
(.f32 (+.f32 1 (.f32 (pow.f32 (PI.f32) 2) (.f32 (.f32 u2 u2) -2))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(-.f32 (+.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (.f32 2/3 (.f32 (pow.f32 u2 4) (.f32 (pow.f32 (PI.f32) 4) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))) (.f32 2 (.f32 (pow.f32 u2 2) (.f32 (pow.f32 (PI.f32) 2) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))))))
(+.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (-.f32 (.f32 2/3 (.f32 (pow.f32 u2 4) (.f32 (pow.f32 (PI.f32) 4) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))))) (.f32 2 (.f32 (.f32 u2 u2) (*.f32 (pow.f32 (PI.f32) 2) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))))
(+.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 2/3 (.f32 (pow.f32 u2 4) (.f32 (pow.f32 (PI.f32) 4) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (.f32 (.f32 (pow.f32 (PI.f32) 2) (.f32 (.f32 u2 u2) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) -2)))
(+.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) (.f32 (pow.f32 (PI.f32) 2) (.f32 (*.f32 u2 u2) -2)))))
(-.f32 (+.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (.f32 2/3 (.f32 (pow.f32 u2 4) (.f32 (pow.f32 (PI.f32) 4) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))) (+.f32 (.f32 2 (.f32 (pow.f32 u2 2) (.f32 (pow.f32 (PI.f32) 2) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))))) (.f32 4/45 (.f32 (pow.f32 u2 6) (*.f32 (pow.f32 (PI.f32) 6) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))))
(-.f32 (+.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (.f32 2/3 (.f32 (pow.f32 u2 4) (.f32 (pow.f32 (PI.f32) 4) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))) (fma.f32 2 (.f32 (.f32 u2 u2) (.f32 (pow.f32 (PI.f32) 2) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))) (.f32 4/45 (.f32 (pow.f32 u2 6) (*.f32 (pow.f32 (PI.f32) 6) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))))
(-.f32 (fma.f32 2/3 (.f32 (pow.f32 u2 4) (.f32 (pow.f32 (PI.f32) 4) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (fma.f32 2 (.f32 (pow.f32 (PI.f32) 2) (.f32 (.f32 u2 u2) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (.f32 4/45 (.f32 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))))
(+.f32 (.f32 (fma.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) 1) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 (.f32 u2 (.f32 u2 (pow.f32 (PI.f32) 2))) -2 (.f32 (*.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)) -4/45))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
(.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))
(.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (cos.f32 (.f32 u2 (*.f32 2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
(.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))
(.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (cos.f32 (.f32 u2 (*.f32 2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
(.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))
(.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (cos.f32 (.f32 u2 (*.f32 2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
(.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))
(.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (cos.f32 (.f32 u2 (*.f32 2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
(.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))
(.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (cos.f32 (.f32 u2 (*.f32 2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
(.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))
(.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (cos.f32 (.f32 u2 (*.f32 2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
(.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))
(.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (cos.f32 (.f32 u2 (*.f32 2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
(.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))
(.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (cos.f32 (.f32 u2 (*.f32 2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(sqrt.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))
(sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))
(sqrt.f32 (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u1)))
(+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))) (/.f32 1 u1))) (sqrt.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1))))
(fma.f32 1/2 (*.f32 (/.f32 1 u1) (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))))) (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))))
(fma.f32 1/2 (/.f32 (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) u1) (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))))
(fma.f32 1/2 (/.f32 (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u1)))) u1) (sqrt.f32 (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u1))))
(-.f32 (+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))) (/.f32 1 u1))) (+.f32 (sqrt.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1))) (.f32 1/4 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))) (/.f32 1 (pow.f32 u1 2)))))) (.f32 1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)) 3))) (/.f32 1 (pow.f32 u1 2)))))
(+.f32 (+.f32 (fma.f32 1/2 (.f32 (/.f32 1 u1) (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))))) (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) (.f32 1/4 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) (/.f32 1 (.f32 u1 u1))))) (.f32 -1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)) 3))) (/.f32 1 (*.f32 u1 u1)))))
(+.f32 (fma.f32 1/2 (/.f32 (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) u1) (fma.f32 1/4 (/.f32 (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) (.f32 u1 u1)) (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))))) (.f32 (/.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)) 3))) (*.f32 u1 u1)) -1/8))
(+.f32 (+.f32 (sqrt.f32 (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u1))) (.f32 (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u1)))) (+.f32 (/.f32 1/4 (.f32 u1 u1)) (/.f32 1/2 u1)))) (.f32 (/.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u1)) 3))) (.f32 u1 u1)) -1/8))
(-.f32 (+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))) (/.f32 1 u1))) (+.f32 (.f32 1/16 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)) 5))) (/.f32 1 (pow.f32 u1 3)))) (+.f32 (sqrt.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1))) (+.f32 (.f32 1/4 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))) (/.f32 1 (pow.f32 u1 2)))) (.f32 1/6 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)))) (/.f32 1 (pow.f32 u1 3)))))))) (+.f32 (.f32 1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)) 3))) (/.f32 1 (pow.f32 u1 2)))) (.f32 1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (log.f32 (/.f32 1 u1)) (log.f32 -1)) 3))) (/.f32 1 (pow.f32 u1 3))))))
(-.f32 (fma.f32 1/2 (.f32 (/.f32 1 u1) (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))))) (fma.f32 1/16 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)) 5))) (/.f32 1 (pow.f32 u1 3))) (+.f32 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))) (fma.f32 1/4 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) (/.f32 1 (.f32 u1 u1))) (.f32 1/6 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) (/.f32 1 (pow.f32 u1 3)))))))) (.f32 1/8 (+.f32 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)) 3))) (/.f32 1 (.f32 u1 u1))) (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)) 3))) (/.f32 1 (pow.f32 u1 3))))))
(+.f32 (fma.f32 1/2 (/.f32 (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) u1) (+.f32 (fma.f32 1/4 (/.f32 (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) (.f32 u1 u1)) (/.f32 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) 1/6) (pow.f32 u1 3))) (fma.f32 1/16 (/.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)) 5))) (pow.f32 u1 3)) (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))))) (.f32 -1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)) 3))) (+.f32 (/.f32 1 (*.f32 u1 u1)) (/.f32 1 (pow.f32 u1 3))))))
(-.f32 (fma.f32 1/2 (/.f32 (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u1)))) u1) (+.f32 (.f32 (sqrt.f32 (/.f32 1 (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u1)))) (+.f32 (/.f32 1/4 (.f32 u1 u1)) (/.f32 1/6 (pow.f32 u1 3)))) (fma.f32 1/16 (/.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u1)) 5))) (pow.f32 u1 3)) (sqrt.f32 (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u1)))))) (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (-.f32 (neg.f32 (log.f32 -1)) (log.f32 u1)) 3))) (+.f32 (/.f32 1/8 (.f32 u1 u1)) (/.f32 1/8 (pow.f32 u1 3)))))
(sqrt.f32 (log.f32 (/.f32 -1 u1)))
(+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 1 u1))) (sqrt.f32 (log.f32 (/.f32 -1 u1))))
(fma.f32 1/2 (*.f32 (/.f32 1 u1) (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) (sqrt.f32 (log.f32 (/.f32 -1 u1))))
(fma.f32 1/2 (/.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) u1) (sqrt.f32 (log.f32 (/.f32 -1 u1))))
(-.f32 (+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 1 u1))) (+.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (.f32 1/4 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 1 (pow.f32 u1 2)))))) (.f32 1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3))) (/.f32 1 (pow.f32 u1 2)))))
(-.f32 (+.f32 (fma.f32 1/2 (.f32 (/.f32 1 u1) (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) (sqrt.f32 (log.f32 (/.f32 -1 u1)))) (.f32 1/4 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 1 (.f32 u1 u1))))) (.f32 1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3))) (/.f32 1 (*.f32 u1 u1)))))
(fma.f32 1/2 (/.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) u1) (+.f32 (fma.f32 1/4 (/.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (.f32 u1 u1)) (sqrt.f32 (log.f32 (/.f32 -1 u1)))) (.f32 (/.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3))) (*.f32 u1 u1)) -1/8)))
(+.f32 (+.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (+.f32 (/.f32 1/4 (.f32 u1 u1)) (/.f32 1/2 u1)))) (.f32 (/.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3))) (.f32 u1 u1)) -1/8))
(-.f32 (+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 1 u1))) (+.f32 (.f32 1/16 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 5))) (/.f32 1 (pow.f32 u1 3)))) (+.f32 (.f32 1/6 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 1 (pow.f32 u1 3)))) (+.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (.f32 1/4 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 1 (pow.f32 u1 2)))))))) (+.f32 (.f32 1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3))) (/.f32 1 (pow.f32 u1 3)))) (.f32 1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3))) (/.f32 1 (pow.f32 u1 2))))))
(-.f32 (fma.f32 1/2 (.f32 (/.f32 1 u1) (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) (fma.f32 1/16 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 5))) (/.f32 1 (pow.f32 u1 3))) (fma.f32 1/6 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 1 (pow.f32 u1 3))) (+.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (.f32 1/4 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 1 (.f32 u1 u1)))))))) (.f32 1/8 (+.f32 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3))) (/.f32 1 (pow.f32 u1 3))) (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3))) (/.f32 1 (.f32 u1 u1))))))
(+.f32 (fma.f32 1/2 (/.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) u1) (fma.f32 1/16 (/.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 5))) (pow.f32 u1 3)) (fma.f32 1/6 (/.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (pow.f32 u1 3)) (fma.f32 1/4 (/.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (.f32 u1 u1)) (sqrt.f32 (log.f32 (/.f32 -1 u1))))))) (.f32 -1/8 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3))) (+.f32 (/.f32 1 (pow.f32 u1 3)) (/.f32 1 (.f32 u1 u1))))))
(-.f32 (fma.f32 1/2 (/.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) u1) (fma.f32 1/16 (/.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 5))) (pow.f32 u1 3)) (+.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (+.f32 (/.f32 1/4 (.f32 u1 u1)) (/.f32 1/6 (pow.f32 u1 3))))))) (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (log.f32 (/.f32 -1 u1)) 3))) (+.f32 (/.f32 1/8 (.f32 u1 u1)) (/.f32 1/8 (pow.f32 u1 3)))))

prune285.0ms (5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	131	13	144
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	133	13	146

Error

0.1b

Counts

146 → 13

Alt Table

Status	Error	Program
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) u2)) 3))))
	0.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (+.f32 (cos.f32 (.f32 (PI.f32) u2)) (sin.f32 (.f32 (PI.f32) u2))) (-.f32 (cos.f32 (.f32 (PI.f32) u2)) (sin.f32 (.f32 (PI.f32) u2)))))
	3.5b	(+.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) (.f32 (pow.f32 (PI.f32) 2) (.f32 (*.f32 u2 u2) -2)))))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (cos.f32 (.f32 (PI.f32) (*.f32 u2 2))))))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (-.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)))
▶	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))
	3.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (-.f32 (+.f32 1 (.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)))) (.f32 2 (*.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2)))))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (fma.f32 (.f32 (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2))) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (pow.f32 (cbrt.f32 (cos.f32 (.f32 (PI.f32) (*.f32 u2 2)))) 3))
	8.9b	(.f32 (pow.f32 (pow.f32 (log1p.f32 u1) 3/2) 1/3) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (-.f32 (exp.f32 (log1p.f32 (cos.f32 (.f32 (PI.f32) (*.f32 u2 2))))) 1))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (fma.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2)) (neg.f32 (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (fma.f32 (neg.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)))))))
	8.3b	(.f32 (.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (log1p.f32 u1)) 2)) (sqrt.f32 (cbrt.f32 (log1p.f32 u1)))) (cos.f32 (.f32 2 (.f32 (PI.f32) u2))))

Compiler

Compiled 5212 to 3279 computations (37.1% saved)

localize63.0ms (1.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(*.f32 (PI.f32) u2)
✓	0.3b	(.f32 (PI.f32) (.f32 u2 2))
✓	0.5b	(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
✓	29.0b	(fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))

series30.0ms (0.5%)

Counts

3 → 32

Calls

9 calls:

Time	Variable		Point	Expression
10.0ms	u2	@	inf	(.f32 (PI.f32) (.f32 u2 2))
9.0ms	u2	@	0	(fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))
6.0ms	u2	@	-inf	(fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))
1.0ms	u2	@	inf	(fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))
1.0ms	u2	@	0	(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)

rewrite62.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

848×	`log1p-expm1-u_binary32`
848×	`expm1-log1p-u_binary32`
111×	`add-sqr-sqrt_binary32`
108×	`pow1_binary32`
107×	`*-un-lft-identity_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	46
1	226	40
2	2677	40

Stop Event

1×	node limit

Counts

3 → 59

Calls

Call 1

Inputs
(fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(.f32 (PI.f32) (.f32 u2 2))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sin.f32 (.f32 (PI.f32) u2)) (+.f32 (sin.f32 (.f32 (PI.f32) u2)) (sin.f32 (.f32 (PI.f32) u2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (pow.f32 (cbrt.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) 2) (cbrt.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (sqrt.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 3) (pow.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 3)) (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4) (-.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4)) (-.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 1/2 (.f32 1/2 (cos.f32 (.f32 u2 (.f32 (PI.f32) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sin.f32 (.f32 (PI.f32) u2)) (sin.f32 (.f32 (PI.f32) u2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 2) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 2) (.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4)) (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (sin.f32 (.f32 (PI.f32) u2))) (.f32 (sqrt.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 -1 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (sqrt.f32 (sin.f32 (.f32 (PI.f32) u2)))) (sqrt.f32 (sin.f32 (.f32 (PI.f32) u2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 2)) (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (cos.f32 (-.f32 (.f32 (PI.f32) u2) (.f32 (PI.f32) u2))) (cos.f32 (+.f32 (.f32 (PI.f32) u2) (.f32 (PI.f32) u2)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 2 (log.f32 (sin.f32 (.f32 (PI.f32) u2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (.f32 2 (log.f32 (sin.f32 (.f32 (PI.f32) u2)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (.f32 u2 (.f32 (PI.f32) 2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (.f32 u2 (.f32 (PI.f32) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (.f32 u2 (.f32 (PI.f32) 2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (.f32 u2 (.f32 (PI.f32) 2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (.f32 u2 (.f32 (PI.f32) 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (.f32 (pow.f32 (.f32 (PI.f32) u2) 2) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (pow.f32 (exp.f32 u2) (PI.f32)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (.f32 u2 (.f32 (PI.f32) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (.f32 u2 (.f32 (PI.f32) 2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 (.f32 u2 2) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 (.f32 u2 2) 3) (pow.f32 (PI.f32) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (.f32 u2 (.f32 (PI.f32) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (.f32 u2 (.f32 (PI.f32) 2))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (.f32 u2 (.f32 (PI.f32) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (.f32 u2 (*.f32 (PI.f32) 2))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sin.f32 (*.f32 (PI.f32) u2)) (+.f32 (sin.f32 (*.f32 (PI.f32) u2)) (sin.f32 (*.f32 (PI.f32) u2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))) (pow.f32 (cbrt.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))) 2) (cbrt.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))) (sqrt.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) 3) (pow.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) 3)) (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4) (-.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4)) (-.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 1/2 (*.f32 1/2 (cos.f32 (*.f32 u2 (*.f32 (PI.f32) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sin.f32 (*.f32 (PI.f32) u2)) (sin.f32 (*.f32 (PI.f32) u2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (sin.f32 (*.f32 (PI.f32) u2))) 2) (cbrt.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (sin.f32 (*.f32 (PI.f32) u2))) 2) (*.f32 (cbrt.f32 (sin.f32 (*.f32 (PI.f32) u2))) (sin.f32 (*.f32 (PI.f32) u2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4)) (pow.f32 (cbrt.f32 (sin.f32 (*.f32 (PI.f32) u2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (sin.f32 (*.f32 (PI.f32) u2))) (*.f32 (sqrt.f32 (sin.f32 (*.f32 (PI.f32) u2))) (sin.f32 (*.f32 (PI.f32) u2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 -1 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (sin.f32 (*.f32 (PI.f32) u2)) (sqrt.f32 (sin.f32 (*.f32 (PI.f32) u2)))) (sqrt.f32 (sin.f32 (*.f32 (PI.f32) u2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (sin.f32 (*.f32 (PI.f32) u2)) (pow.f32 (cbrt.f32 (sin.f32 (*.f32 (PI.f32) u2))) 2)) (cbrt.f32 (sin.f32 (*.f32 (PI.f32) u2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (cos.f32 (-.f32 (*.f32 (PI.f32) u2) (*.f32 (PI.f32) u2))) (cos.f32 (+.f32 (*.f32 (PI.f32) u2) (*.f32 (PI.f32) u2)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 2 (log.f32 (sin.f32 (*.f32 (PI.f32) u2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (*.f32 2 (log.f32 (sin.f32 (*.f32 (PI.f32) u2)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 u2 (*.f32 (PI.f32) 2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 u2 (*.f32 (PI.f32) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 u2 (*.f32 (PI.f32) 2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 u2 (*.f32 (PI.f32) 2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 u2 (*.f32 (PI.f32) 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (*.f32 (pow.f32 (*.f32 (PI.f32) u2) 2) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (pow.f32 (exp.f32 u2) (PI.f32)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 u2 (*.f32 (PI.f32) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 u2 (*.f32 (PI.f32) 2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 (*.f32 u2 2) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (*.f32 u2 2) 3) (pow.f32 (PI.f32) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 u2 (*.f32 (PI.f32) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 u2 (*.f32 (PI.f32) 2))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 u2 (*.f32 (PI.f32) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 u2 (*.f32 (PI.f32) 2))))))))

simplify27.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

631×	`cancel-sign-sub-inv_binary32`
620×	`fma-def_binary32`
448×	`*-commutative_binary32`
365×	`unswap-sqr_binary32`
354×	`fma-neg_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	36	282
1	94	278
2	285	276
3	1472	276

Stop Event

1×	node limit

Counts

91 → 72

Calls

Call 1

Inputs
0
0
0
0
0
0
0
0
0
0
0
0
(*.f32 (pow.f32 (PI.f32) 2) (pow.f32 u2 2))
(-.f32 (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2)) (.f32 1/3 (*.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))))
(-.f32 (+.f32 (.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6))) (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2))) (.f32 1/3 (*.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))))
(-.f32 (+.f32 (.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6))) (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2))) (+.f32 (.f32 1/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))) (.f32 1/315 (*.f32 (pow.f32 u2 8) (pow.f32 (PI.f32) 8)))))
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2)
(.f32 2 (.f32 u2 (PI.f32)))
(.f32 2 (.f32 u2 (PI.f32)))
(.f32 2 (.f32 u2 (PI.f32)))
(.f32 2 (.f32 u2 (PI.f32)))
(.f32 2 (.f32 u2 (PI.f32)))
(.f32 2 (.f32 u2 (PI.f32)))
(.f32 2 (.f32 u2 (PI.f32)))
(.f32 2 (.f32 u2 (PI.f32)))
(.f32 2 (.f32 u2 (PI.f32)))
(.f32 2 (.f32 u2 (PI.f32)))
(.f32 2 (.f32 u2 (PI.f32)))
(.f32 2 (.f32 u2 (PI.f32)))

Outputs
0
0
0
0
0
0
0
0
0
0
0
0
(*.f32 (pow.f32 (PI.f32) 2) (pow.f32 u2 2))
(.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2))
(-.f32 (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2)) (.f32 1/3 (*.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))))
(+.f32 (.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2)) (.f32 -1/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))))
(fma.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2) (.f32 (*.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) -1/3))
(fma.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2) (.f32 (pow.f32 (PI.f32) 4) (*.f32 (pow.f32 u2 4) -1/3)))
(fma.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2) (.f32 (pow.f32 u2 4) (*.f32 (pow.f32 (PI.f32) 4) -1/3)))
(-.f32 (+.f32 (.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6))) (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2))) (.f32 1/3 (*.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))))
(+.f32 (fma.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)) (.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2))) (.f32 -1/3 (*.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))))
(fma.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)) (fma.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2) (.f32 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) -1/3)))
(fma.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2) (fma.f32 (pow.f32 u2 6) (.f32 2/45 (pow.f32 (PI.f32) 6)) (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 u2 4) -1/3))))
(fma.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2) (fma.f32 (pow.f32 u2 4) (.f32 (pow.f32 (PI.f32) 4) -1/3) (.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)))))
(-.f32 (+.f32 (.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6))) (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2))) (+.f32 (.f32 1/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))) (.f32 1/315 (*.f32 (pow.f32 u2 8) (pow.f32 (PI.f32) 8)))))
(-.f32 (fma.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)) (.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2))) (fma.f32 1/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) (.f32 1/315 (.f32 (pow.f32 u2 8) (pow.f32 (PI.f32) 8)))))
(+.f32 (fma.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)) (fma.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2) (.f32 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) -1/3))) (.f32 -1/315 (.f32 (pow.f32 u2 8) (pow.f32 (PI.f32) 8))))
(fma.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2) (fma.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)) (fma.f32 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) -1/3 (.f32 (pow.f32 (PI.f32) 8) (*.f32 (pow.f32 u2 8) -1/315)))))
(fma.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2) (fma.f32 (pow.f32 (PI.f32) 4) (fma.f32 (pow.f32 u2 4) -1/3 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 u2 8) -1/315))) (.f32 2/45 (*.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)))))
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(.f32 2 (.f32 u2 (PI.f32)))
(.f32 2 (.f32 (PI.f32) u2))
(.f32 (PI.f32) (.f32 2 u2))
(.f32 2 (.f32 u2 (PI.f32)))
(.f32 2 (.f32 (PI.f32) u2))
(.f32 (PI.f32) (.f32 2 u2))
(.f32 2 (.f32 u2 (PI.f32)))
(.f32 2 (.f32 (PI.f32) u2))
(.f32 (PI.f32) (.f32 2 u2))
(.f32 2 (.f32 u2 (PI.f32)))
(.f32 2 (.f32 (PI.f32) u2))
(.f32 (PI.f32) (.f32 2 u2))
(.f32 2 (.f32 u2 (PI.f32)))
(.f32 2 (.f32 (PI.f32) u2))
(.f32 (PI.f32) (.f32 2 u2))
(.f32 2 (.f32 u2 (PI.f32)))
(.f32 2 (.f32 (PI.f32) u2))
(.f32 (PI.f32) (.f32 2 u2))
(.f32 2 (.f32 u2 (PI.f32)))
(.f32 2 (.f32 (PI.f32) u2))
(.f32 (PI.f32) (.f32 2 u2))
(.f32 2 (.f32 u2 (PI.f32)))
(.f32 2 (.f32 (PI.f32) u2))
(.f32 (PI.f32) (.f32 2 u2))
(.f32 2 (.f32 u2 (PI.f32)))
(.f32 2 (.f32 (PI.f32) u2))
(.f32 (PI.f32) (.f32 2 u2))
(.f32 2 (.f32 u2 (PI.f32)))
(.f32 2 (.f32 (PI.f32) u2))
(.f32 (PI.f32) (.f32 2 u2))
(.f32 2 (.f32 u2 (PI.f32)))
(.f32 2 (.f32 (PI.f32) u2))
(.f32 (PI.f32) (.f32 2 u2))
(.f32 2 (.f32 u2 (PI.f32)))
(.f32 2 (.f32 (PI.f32) u2))
(.f32 (PI.f32) (.f32 2 u2))

prune385.0ms (6.8%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	112	5	117
Fresh	2	10	12
Picked	1	0	1
Done	0	0	0
Total	115	15	130

Error

0.1b

Counts

130 → 15

Alt Table

Status	Error	Program
	3.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (-.f32 (+.f32 1 (.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)))) (.f32 2 (*.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2)))))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (log.f32 (exp.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))))
	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (expm1.f32 (log1p.f32 (.f32 (PI.f32) u2)))) 2))))
	8.9b	(.f32 (pow.f32 (pow.f32 (log1p.f32 u1) 3/2) 1/3) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) u2)) 3))))
	0.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (+.f32 (cos.f32 (.f32 (PI.f32) u2)) (sin.f32 (.f32 (PI.f32) u2))) (-.f32 (cos.f32 (.f32 (PI.f32) u2)) (sin.f32 (.f32 (PI.f32) u2)))))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (cos.f32 (.f32 (PI.f32) (*.f32 u2 2))))))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (-.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)))
▶	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 2) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4))))))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (fma.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2)) (neg.f32 (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (fma.f32 (neg.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)))))))
	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (pow.f32 (cbrt.f32 (.f32 (PI.f32) u2)) 3)) 2))))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (fma.f32 (.f32 (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2))) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (pow.f32 (cbrt.f32 (cos.f32 (.f32 (PI.f32) (*.f32 u2 2)))) 3))
	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (pow.f32 (sqrt.f32 (.f32 (PI.f32) u2)) 2)) 2))))
	8.3b	(.f32 (.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (log1p.f32 u1)) 2)) (sqrt.f32 (cbrt.f32 (log1p.f32 u1)))) (cos.f32 (.f32 2 (.f32 (PI.f32) u2))))

Compiler

Compiled 4866 to 2237 computations (54% saved)

localize89.0ms (1.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 2) (cbrt.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4)))
✓	0.5b	(pow.f32 (cbrt.f32 (sin.f32 (*.f32 (PI.f32) u2))) 2)
✓	0.9b	(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4)
✓	29.0b	(fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 2) (cbrt.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4))))

series10.0ms (0.2%)

Counts

4 → 40

Calls

12 calls:

Time	Variable		Point	Expression
2.0ms	u2	@	inf	(pow.f32 (cbrt.f32 (sin.f32 (*.f32 (PI.f32) u2))) 2)
2.0ms	u2	@	-inf	(pow.f32 (cbrt.f32 (sin.f32 (*.f32 (PI.f32) u2))) 2)
2.0ms	u2	@	0	(pow.f32 (cbrt.f32 (sin.f32 (*.f32 (PI.f32) u2))) 2)
1.0ms	u2	@	0	(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4)
1.0ms	u2	@	inf	(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4)

rewrite98.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

927×	`log1p-expm1-u_binary32`
927×	`expm1-log1p-u_binary32`
133×	`add-sqr-sqrt_binary32`
130×	`pow1_binary32`
128×	`*-un-lft-identity_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	92
1	283	54
2	3165	54

Stop Event

1×	node limit

Counts

4 → 83

Calls

Call 1

Inputs
(fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 2) (cbrt.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4))))
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4)
(pow.f32 (cbrt.f32 (sin.f32 (*.f32 (PI.f32) u2))) 2)
(.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 2) (cbrt.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4)))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (pow.f32 (cbrt.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) 2) (cbrt.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (sqrt.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 3) (pow.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 3)) (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4) (-.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4)) (-.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (+.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 2) (.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 4) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 4) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 8)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 3) (sin.f32 (.f32 (PI.f32) u2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 8)) (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 2) 4) (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (sqrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 4) (pow.f32 (sqrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 4)) (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 8)) 1) (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 8)) (cbrt.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 8)))) (cbrt.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 8)) (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 2)) (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 8))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 4 (log.f32 (sin.f32 (.f32 (PI.f32) u2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (.f32 4 (log.f32 (sin.f32 (.f32 (PI.f32) u2)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 4)) (pow.f32 (cbrt.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2)))) 2) (cbrt.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2)))) 2) (.f32 (cbrt.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2)))) (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (sin.f32 (.f32 (PI.f32) u2))) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 1/6) (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 1/6) (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (cbrt.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 8)))) (sqrt.f32 (cbrt.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) (pow.f32 (cbrt.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2)))) 2)) (cbrt.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 2 (log.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (.f32 2 (log.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (pow.f32 (cbrt.f32 (sin.f32 (*.f32 (PI.f32) u2))) 2)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 1/2 (.f32 1/2 (cos.f32 (.f32 2 (.f32 (PI.f32) u2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (cos.f32 (-.f32 (.f32 (PI.f32) u2) (.f32 (PI.f32) u2))) (cos.f32 (+.f32 (.f32 (PI.f32) u2) (.f32 (PI.f32) u2)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 2) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (sin.f32 (.f32 (PI.f32) u2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))))

simplify44.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

764×	`fma-neg_binary32`
506×	`distribute-rgt-neg-in_binary32`
500×	`distribute-lft-neg-in_binary32`
421×	`unswap-sqr_binary32`
338×	`associate-r_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	57	496
1	159	488
2	486	484
3	2423	484

Stop Event

1×	node limit

Counts

123 → 104

Calls

Call 1

Inputs
0
0
0
0
0
0
0
0
0
0
0
0
(*.f32 (pow.f32 (PI.f32) 4) (pow.f32 u2 4))
(-.f32 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) (.f32 2/3 (*.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6))))
(-.f32 (+.f32 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) (.f32 1/5 (.f32 (pow.f32 u2 8) (pow.f32 (PI.f32) 8)))) (.f32 2/3 (*.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6))))
(-.f32 (+.f32 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) (.f32 1/5 (.f32 (pow.f32 u2 8) (pow.f32 (PI.f32) 8)))) (+.f32 (.f32 34/945 (.f32 (pow.f32 u2 10) (pow.f32 (PI.f32) 10))) (.f32 2/3 (*.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)))))
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 4)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 4)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 4)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 4)
(pow.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) 1/3)
(pow.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) 1/3)
(pow.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) 1/3)
(pow.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) 1/3)
(pow.f32 (pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2) 1/3)
(pow.f32 (pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2) 1/3)
(pow.f32 (pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2) 1/3)
(pow.f32 (pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2) 1/3)
(*.f32 (pow.f32 (PI.f32) 2) (pow.f32 u2 2))
(-.f32 (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2)) (.f32 1/3 (*.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))))
(-.f32 (+.f32 (.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6))) (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2))) (.f32 1/3 (*.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))))
(-.f32 (+.f32 (.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6))) (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2))) (+.f32 (.f32 1/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))) (.f32 1/315 (*.f32 (pow.f32 u2 8) (pow.f32 (PI.f32) 8)))))
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2)

Outputs
0
0
0
0
0
0
0
0
0
0
0
0
(*.f32 (pow.f32 (PI.f32) 4) (pow.f32 u2 4))
(-.f32 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) (.f32 2/3 (*.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6))))
(+.f32 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 u2 4)) (.f32 -2/3 (*.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6))))
(fma.f32 (pow.f32 (PI.f32) 4) (pow.f32 u2 4) (.f32 (.f32 -2/3 (pow.f32 u2 6)) (pow.f32 (PI.f32) 6)))
(fma.f32 (pow.f32 (PI.f32) 4) (pow.f32 u2 4) (.f32 (pow.f32 (PI.f32) 6) (.f32 (pow.f32 u2 6) -2/3)))
(fma.f32 (pow.f32 (PI.f32) 4) (pow.f32 u2 4) (.f32 (pow.f32 u2 6) (.f32 (pow.f32 (PI.f32) 6) -2/3)))
(-.f32 (+.f32 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) (.f32 1/5 (.f32 (pow.f32 u2 8) (pow.f32 (PI.f32) 8)))) (.f32 2/3 (*.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6))))
(-.f32 (fma.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4) (.f32 1/5 (.f32 (pow.f32 u2 8) (pow.f32 (PI.f32) 8)))) (.f32 2/3 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6))))
(fma.f32 (pow.f32 (PI.f32) 4) (pow.f32 u2 4) (fma.f32 1/5 (.f32 (pow.f32 u2 8) (pow.f32 (PI.f32) 8)) (.f32 (*.f32 -2/3 (pow.f32 u2 6)) (pow.f32 (PI.f32) 6))))
(fma.f32 (pow.f32 (PI.f32) 4) (pow.f32 u2 4) (fma.f32 1/5 (.f32 (pow.f32 u2 8) (pow.f32 (PI.f32) 8)) (.f32 (pow.f32 (PI.f32) 6) (*.f32 (pow.f32 u2 6) -2/3))))
(fma.f32 (pow.f32 (PI.f32) 4) (pow.f32 u2 4) (fma.f32 1/5 (.f32 (pow.f32 u2 8) (pow.f32 (PI.f32) 8)) (.f32 (pow.f32 u2 6) (*.f32 (pow.f32 (PI.f32) 6) -2/3))))
(-.f32 (+.f32 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) (.f32 1/5 (.f32 (pow.f32 u2 8) (pow.f32 (PI.f32) 8)))) (+.f32 (.f32 34/945 (.f32 (pow.f32 u2 10) (pow.f32 (PI.f32) 10))) (.f32 2/3 (*.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)))))
(-.f32 (fma.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4) (.f32 1/5 (.f32 (pow.f32 u2 8) (pow.f32 (PI.f32) 8)))) (fma.f32 34/945 (.f32 (pow.f32 u2 10) (pow.f32 (PI.f32) 10)) (.f32 2/3 (*.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)))))
(-.f32 (fma.f32 (pow.f32 (PI.f32) 4) (pow.f32 u2 4) (.f32 (pow.f32 (PI.f32) 8) (.f32 1/5 (pow.f32 u2 8)))) (fma.f32 34/945 (.f32 (pow.f32 u2 10) (pow.f32 (PI.f32) 10)) (.f32 (pow.f32 u2 6) (*.f32 (pow.f32 (PI.f32) 6) 2/3))))
(fma.f32 (pow.f32 (PI.f32) 4) (pow.f32 u2 4) (fma.f32 1/5 (.f32 (pow.f32 u2 8) (pow.f32 (PI.f32) 8)) (fma.f32 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)) -2/3 (.f32 (pow.f32 (PI.f32) 10) (.f32 (pow.f32 u2 10) -34/945)))))
(fma.f32 (pow.f32 (PI.f32) 4) (pow.f32 u2 4) (fma.f32 1/5 (.f32 (pow.f32 u2 8) (pow.f32 (PI.f32) 8)) (fma.f32 (pow.f32 u2 6) (.f32 (pow.f32 (PI.f32) 6) -2/3) (.f32 (pow.f32 u2 10) (.f32 (pow.f32 (PI.f32) 10) -34/945)))))
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 4)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 4)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 4)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 4)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4)
(pow.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) 1/3)
(cbrt.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))
(pow.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) 1/3)
(cbrt.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))
(pow.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) 1/3)
(cbrt.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))
(pow.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) 1/3)
(cbrt.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))
(pow.f32 (pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2) 1/3)
(cbrt.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))
(pow.f32 (pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2) 1/3)
(cbrt.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))
(pow.f32 (pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2) 1/3)
(cbrt.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))
(pow.f32 (pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2) 1/3)
(cbrt.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))
(*.f32 (pow.f32 (PI.f32) 2) (pow.f32 u2 2))
(.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2))
(.f32 u2 (.f32 u2 (pow.f32 (PI.f32) 2)))
(-.f32 (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2)) (.f32 1/3 (*.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))))
(+.f32 (.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2)) (.f32 -1/3 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 u2 4))))
(fma.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2) (.f32 (*.f32 (pow.f32 (PI.f32) 4) (pow.f32 u2 4)) -1/3))
(fma.f32 u2 (.f32 u2 (pow.f32 (PI.f32) 2)) (.f32 (pow.f32 (PI.f32) 4) (*.f32 (pow.f32 u2 4) -1/3)))
(-.f32 (+.f32 (.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6))) (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2))) (.f32 1/3 (*.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))))
(+.f32 (fma.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)) (.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2))) (.f32 -1/3 (*.f32 (pow.f32 (PI.f32) 4) (pow.f32 u2 4))))
(fma.f32 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)) 2/45 (fma.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2) (.f32 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 u2 4)) -1/3)))
(fma.f32 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 u2 4)) -1/3 (fma.f32 u2 (.f32 u2 (pow.f32 (PI.f32) 2)) (.f32 (pow.f32 u2 6) (.f32 (pow.f32 (PI.f32) 6) 2/45))))
(fma.f32 u2 (.f32 u2 (pow.f32 (PI.f32) 2)) (fma.f32 (pow.f32 u2 6) (.f32 (pow.f32 (PI.f32) 6) 2/45) (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 u2 4) -1/3))))
(-.f32 (+.f32 (.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6))) (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2))) (+.f32 (.f32 1/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))) (.f32 1/315 (*.f32 (pow.f32 u2 8) (pow.f32 (PI.f32) 8)))))
(-.f32 (fma.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)) (.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2))) (fma.f32 1/3 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 u2 4)) (.f32 (.f32 (pow.f32 u2 8) (pow.f32 (PI.f32) 8)) 1/315)))
(+.f32 (fma.f32 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)) 2/45 (fma.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2) (.f32 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 u2 4)) -1/3))) (.f32 -1/315 (.f32 (pow.f32 u2 8) (pow.f32 (PI.f32) 8))))
(fma.f32 u2 (.f32 u2 (pow.f32 (PI.f32) 2)) (fma.f32 (pow.f32 u2 6) (.f32 (pow.f32 (PI.f32) 6) 2/45) (fma.f32 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 u2 4)) -1/3 (.f32 (pow.f32 (PI.f32) 8) (*.f32 (pow.f32 u2 8) -1/315)))))
(fma.f32 u2 (.f32 u2 (pow.f32 (PI.f32) 2)) (fma.f32 (pow.f32 u2 6) (.f32 (pow.f32 (PI.f32) 6) 2/45) (.f32 (pow.f32 (PI.f32) 4) (fma.f32 (pow.f32 u2 4) -1/3 (.f32 (pow.f32 (PI.f32) 4) (*.f32 (pow.f32 u2 8) -1/315))))))
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)

prune372.0ms (6.5%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	104	0	104
Fresh	0	14	14
Picked	0	1	1
Done	0	0	0
Total	104	15	119

Error

0.1b

Counts

119 → 15

Alt Table

Status	Error	Program
	3.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (-.f32 (+.f32 1 (.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)))) (.f32 2 (*.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2)))))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (log.f32 (exp.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))))
▶	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (expm1.f32 (log1p.f32 (.f32 (PI.f32) u2)))) 2))))
	8.9b	(.f32 (pow.f32 (pow.f32 (log1p.f32 u1) 3/2) 1/3) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) u2)) 3))))
	0.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (+.f32 (cos.f32 (.f32 (PI.f32) u2)) (sin.f32 (.f32 (PI.f32) u2))) (-.f32 (cos.f32 (.f32 (PI.f32) u2)) (sin.f32 (.f32 (PI.f32) u2)))))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (cos.f32 (.f32 (PI.f32) (*.f32 u2 2))))))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (-.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)))
✓	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 2) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4))))))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (fma.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2)) (neg.f32 (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (fma.f32 (neg.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)))))))
	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (pow.f32 (cbrt.f32 (.f32 (PI.f32) u2)) 3)) 2))))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (fma.f32 (.f32 (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2))) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (pow.f32 (cbrt.f32 (cos.f32 (.f32 (PI.f32) (*.f32 u2 2)))) 3))
	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (pow.f32 (sqrt.f32 (.f32 (PI.f32) u2)) 2)) 2))))
	8.3b	(.f32 (.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (log1p.f32 u1)) 2)) (sqrt.f32 (cbrt.f32 (log1p.f32 u1)))) (cos.f32 (.f32 2 (.f32 (PI.f32) u2))))

Compiler

Compiled 5079 to 2343 computations (53.9% saved)

localize78.0ms (1.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(*.f32 (PI.f32) u2)
	0.3b	(.f32 (PI.f32) (.f32 u2 2))
✓	0.5b	(pow.f32 (sin.f32 (expm1.f32 (log1p.f32 (*.f32 (PI.f32) u2)))) 2)
✓	29.0b	(fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (expm1.f32 (log1p.f32 (*.f32 (PI.f32) u2)))) 2))

series2.0ms (0%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	u2	@	0	(fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (expm1.f32 (log1p.f32 (*.f32 (PI.f32) u2)))) 2))
0.0ms	u2	@	0	(pow.f32 (sin.f32 (expm1.f32 (log1p.f32 (*.f32 (PI.f32) u2)))) 2)
0.0ms	u2	@	inf	(fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (expm1.f32 (log1p.f32 (*.f32 (PI.f32) u2)))) 2))
0.0ms	u2	@	-inf	(fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (expm1.f32 (log1p.f32 (*.f32 (PI.f32) u2)))) 2))
0.0ms	u2	@	inf	(pow.f32 (sin.f32 (expm1.f32 (log1p.f32 (*.f32 (PI.f32) u2)))) 2)

rewrite45.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

811×	`pow1_binary32`
744×	`expm1-log1p-u_binary32`
743×	`log1p-expm1-u_binary32`
100×	`add-sqr-sqrt_binary32`
96×	`*-un-lft-identity_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	38
1	228	32
2	2387	32

Stop Event

1×	node limit

Counts

2 → 44

Calls

Call 1

Inputs

(fma.f32 (neg.f32 (sin.f32 (*.f32 (PI.f32) u2))) (sin.f32 (*.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (expm1.f32 (log1p.f32 (*.f32 (PI.f32) u2)))) 2))

(pow.f32 (sin.f32 (expm1.f32 (log1p.f32 (*.f32 (PI.f32) u2)))) 2)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sin.f32 (*.f32 (PI.f32) u2)) (+.f32 (sin.f32 (*.f32 (PI.f32) u2)) (sin.f32 (*.f32 (PI.f32) u2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))) (pow.f32 (cbrt.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))) 2) (cbrt.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))) (sqrt.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) 3) (pow.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) 3)) (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4) (-.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4)) (-.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (+.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 1/2 (*.f32 1/2 (cos.f32 (*.f32 2 (*.f32 (PI.f32) u2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sin.f32 (*.f32 (PI.f32) u2)) (sin.f32 (*.f32 (PI.f32) u2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4)) (pow.f32 (cbrt.f32 (sin.f32 (*.f32 (PI.f32) u2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (sin.f32 (*.f32 (PI.f32) u2))) 2) (cbrt.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (sin.f32 (*.f32 (PI.f32) u2))) 2) (*.f32 (cbrt.f32 (sin.f32 (*.f32 (PI.f32) u2))) (sin.f32 (*.f32 (PI.f32) u2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (sin.f32 (*.f32 (PI.f32) u2))) (*.f32 (sqrt.f32 (sin.f32 (*.f32 (PI.f32) u2))) (sin.f32 (*.f32 (PI.f32) u2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 -1 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (sin.f32 (*.f32 (PI.f32) u2)) (sqrt.f32 (sin.f32 (*.f32 (PI.f32) u2)))) (sqrt.f32 (sin.f32 (*.f32 (PI.f32) u2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (sin.f32 (*.f32 (PI.f32) u2)) (pow.f32 (cbrt.f32 (sin.f32 (*.f32 (PI.f32) u2))) 2)) (cbrt.f32 (sin.f32 (*.f32 (PI.f32) u2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (cos.f32 (-.f32 (*.f32 (PI.f32) u2) (*.f32 (PI.f32) u2))) (cos.f32 (+.f32 (*.f32 (PI.f32) u2) (*.f32 (PI.f32) u2)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 2 (log.f32 (sin.f32 (*.f32 (PI.f32) u2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (*.f32 2 (log.f32 (sin.f32 (*.f32 (PI.f32) u2)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)))))))

simplify28.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

631×	`cancel-sign-sub-inv_binary32`
620×	`fma-def_binary32`
438×	`*-commutative_binary32`
365×	`unswap-sqr_binary32`
354×	`fma-neg_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	38	226
1	95	222
2	279	220
3	1447	220

Stop Event

1×	node limit

Counts

68 → 55

Calls

Call 1

Inputs
0
0
0
0
0
0
0
0
0
0
0
0
(*.f32 (pow.f32 (PI.f32) 2) (pow.f32 u2 2))
(-.f32 (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2)) (.f32 1/3 (*.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))))
(-.f32 (+.f32 (.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6))) (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2))) (.f32 1/3 (*.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))))
(-.f32 (+.f32 (.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6))) (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2))) (+.f32 (.f32 1/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))) (.f32 1/315 (*.f32 (pow.f32 u2 8) (pow.f32 (PI.f32) 8)))))
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2)

Outputs
0
0
0
0
0
0
0
0
0
0
0
0
(*.f32 (pow.f32 (PI.f32) 2) (pow.f32 u2 2))
(.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2))
(-.f32 (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2)) (.f32 1/3 (*.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))))
(+.f32 (.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2)) (.f32 -1/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))))
(fma.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2) (.f32 (*.f32 -1/3 (pow.f32 u2 4)) (pow.f32 (PI.f32) 4)))
(fma.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2) (.f32 (pow.f32 u2 4) (*.f32 (pow.f32 (PI.f32) 4) -1/3)))
(-.f32 (+.f32 (.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6))) (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2))) (.f32 1/3 (*.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))))
(+.f32 (fma.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)) (.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2))) (.f32 -1/3 (*.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))))
(fma.f32 (.f32 2/45 (pow.f32 u2 6)) (pow.f32 (PI.f32) 6) (fma.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2) (.f32 (.f32 -1/3 (pow.f32 u2 4)) (pow.f32 (PI.f32) 4))))
(fma.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2) (fma.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)) (.f32 (pow.f32 u2 4) (.f32 (pow.f32 (PI.f32) 4) -1/3))))
(fma.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2) (fma.f32 (pow.f32 u2 4) (.f32 (pow.f32 (PI.f32) 4) -1/3) (.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)))))
(-.f32 (+.f32 (.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6))) (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2))) (+.f32 (.f32 1/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))) (.f32 1/315 (*.f32 (pow.f32 u2 8) (pow.f32 (PI.f32) 8)))))
(-.f32 (fma.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)) (.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2))) (fma.f32 1/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) (.f32 1/315 (.f32 (pow.f32 u2 8) (pow.f32 (PI.f32) 8)))))
(+.f32 (fma.f32 (.f32 2/45 (pow.f32 u2 6)) (pow.f32 (PI.f32) 6) (fma.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2) (.f32 (.f32 -1/3 (pow.f32 u2 4)) (pow.f32 (PI.f32) 4)))) (.f32 -1/315 (.f32 (pow.f32 u2 8) (pow.f32 (PI.f32) 8))))
(fma.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2) (fma.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)) (fma.f32 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) -1/3 (.f32 (pow.f32 (PI.f32) 8) (*.f32 (pow.f32 u2 8) -1/315)))))
(fma.f32 (pow.f32 u2 4) (.f32 (pow.f32 (PI.f32) 4) -1/3) (fma.f32 (pow.f32 (PI.f32) 2) (.f32 u2 u2) (fma.f32 2/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)) (.f32 (pow.f32 (PI.f32) 8) (*.f32 (pow.f32 u2 8) -1/315)))))
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)
(pow.f32 (sin.f32 (*.f32 u2 (PI.f32))) 2)
(pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)

prune365.0ms (6.4%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	117	0	117
Fresh	0	13	13
Picked	0	1	1
Done	0	1	1
Total	117	15	132

Error

0.1b

Counts

132 → 15

Alt Table

Status	Error	Program
	3.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (-.f32 (+.f32 1 (.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)))) (.f32 2 (*.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2)))))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (log.f32 (exp.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))))
✓	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (expm1.f32 (log1p.f32 (.f32 (PI.f32) u2)))) 2))))
	8.9b	(.f32 (pow.f32 (pow.f32 (log1p.f32 u1) 3/2) 1/3) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) u2)) 3))))
	0.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (+.f32 (cos.f32 (.f32 (PI.f32) u2)) (sin.f32 (.f32 (PI.f32) u2))) (-.f32 (cos.f32 (.f32 (PI.f32) u2)) (sin.f32 (.f32 (PI.f32) u2)))))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (cos.f32 (.f32 (PI.f32) (*.f32 u2 2))))))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (-.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)))
✓	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 2) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4))))))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (fma.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2)) (neg.f32 (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (fma.f32 (neg.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2)))))))
	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (pow.f32 (cbrt.f32 (.f32 (PI.f32) u2)) 3)) 2))))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (fma.f32 (.f32 (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2))) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (*.f32 (PI.f32) u2)) 2))))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (pow.f32 (cbrt.f32 (cos.f32 (.f32 (PI.f32) (*.f32 u2 2)))) 3))
	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (pow.f32 (sqrt.f32 (.f32 (PI.f32) u2)) 2)) 2))))
	8.3b	(.f32 (.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (log1p.f32 u1)) 2)) (sqrt.f32 (cbrt.f32 (log1p.f32 u1)))) (cos.f32 (.f32 2 (.f32 (PI.f32) u2))))

Compiler

Compiled 4495 to 1937 computations (56.9% saved)

regimes667.0ms (11.7%)

Accuracy

Total 0.2b remaining (70.7%)

Threshold costs 0.2b (70.7%)

Counts

85 → 1

Compiler

Compiled 1902 to 923 computations (51.5% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary32`
5×	`+-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	24	58
1	39	58
2	45	58
3	48	58

Stop Event

1×

saturated

Calls

Call 1

Inputs

(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (cos.f32 (*.f32 (PI.f32) (*.f32 u2 2))) (fma.f32 (neg.f32 (sin.f32 (*.f32 (PI.f32) u2))) (sin.f32 (*.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (log.f32 (+.f32 1 (expm1.f32 (*.f32 (PI.f32) u2))))) 2))))

Outputs

(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (cos.f32 (*.f32 (PI.f32) (*.f32 u2 2))) (fma.f32 (neg.f32 (sin.f32 (*.f32 (PI.f32) u2))) (sin.f32 (*.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (log.f32 (+.f32 1 (expm1.f32 (*.f32 (PI.f32) u2))))) 2))))

end285.0ms (5%)

Stop Event

1×

fuel

Compiler

Compiled 567 to 383 computations (32.5% saved)

Iter	Nodes	Cost
0	30	88
1	59	84
2	98	84
3	124	84
4	155	84
5	191	84
6	231	84
7	319	84
8	490	84
9	531	84
10	585	84
11	635	84
12	726	84
13	773	84
14	791	84
15	794	84
0	3	3

Iter	Nodes	Cost
0	14	22
1	26	21
2	39	21
3	49	21
4	60	21
5	74	21
6	92	21
7	119	21
8	149	21
9	162	21
10	184	21
11	206	21
12	245	21
13	262	21
14	268	21
15	269	21

Iter	Nodes	Cost
0	30	88
1	59	84
2	98	84
3	124	84
4	155	84
5	191	84
6	231	84
7	319	84
8	490	84
9	531	84
10	585	84
11	635	84
12	726	84
13	773	84
14	791	84
15	794	84
0	3	3

Iter	Nodes	Cost
0	14	22
1	26	21
2	39	21
3	49	21
4	60	21
5	74	21
6	92	21
7	119	21
8	149	21
9	162	21
10	184	21
11	206	21
12	245	21
13	262	21
14	268	21
15	269	21

Details

analyze385.0ms (6.8%)

sample2.1s (36.8%)

preprocess33.0ms (0.6%)

simplify12.0ms (0.2%)

prune4.0ms (0.1%)

localize34.0ms (0.6%)

series51.0ms (0.9%)

rewrite63.0ms (1.1%)

simplify71.0ms (1.2%)

prune285.0ms (5%)

localize63.0ms (1.1%)

series30.0ms (0.5%)

rewrite62.0ms (1.1%)

simplify27.0ms (0.5%)

prune385.0ms (6.8%)

localize89.0ms (1.6%)

series10.0ms (0.2%)

rewrite98.0ms (1.7%)

simplify44.0ms (0.8%)

prune372.0ms (6.5%)

localize78.0ms (1.4%)

series2.0ms (0%)

rewrite45.0ms (0.8%)

simplify28.0ms (0.5%)

prune365.0ms (6.4%)

regimes667.0ms (11.7%)

simplify3.0ms (0.1%)

end285.0ms (5%)

Profiling

Iter	Nodes	Cost
0	30	88
1	59	84
2	98	84
3	124	84
4	155	84
5	191	84
6	231	84
7	319	84
8	490	84
9	531	84
10	585	84
11	635	84
12	726	84
13	773	84
14	791	84
15	794	84
0	3	3

Iter	Nodes	Cost
0	14	22
1	26	21
2	39	21
3	49	21
4	60	21
5	74	21
6	92	21
7	119	21
8	149	21
9	162	21
10	184	21
11	206	21
12	245	21
13	262	21
14	268	21
15	269	21