Details

analyze476.0ms (6.3%)

Algorithm

1×

Search

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

Compiler

Compiled 39 to 31 computations (20.5% saved)

sample2.5s (32.6%)

Results

2.4s	8256×	body	128	valid
1.0ms	3×	body	128	invalid

Compiler

Compiled 94 to 76 computations (19.1% saved)

simplify16.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

40×	`fma-neg_binary32`
22×	`sub-neg_binary32`
17×	`cancel-sign-sub-inv_binary32`
15×	`fma-def_binary32`
11×	`*-commutative_binary32`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	22
1	26	21
2	38	21
3	46	21
4	56	21
5	67	21
6	82	21
7	106	21
8	119	21
9	125	21
10	144	21
11	140	21
12	167	21
13	180	21
14	184	21
15	185	21
16	163	21

prune5.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.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	13.6b	(.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)

localize65.0ms (0.9%)

Local error

Found 4 expressions with local error:

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

series210.0ms (2.8%)

Counts

4 → 52

Calls

4 calls:

193.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
10.0ms	(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
3.0ms	(cos.f32 (.f32 (.f32 2 (PI.f32)) u2))
3.0ms	(.f32 (.f32 2 (PI.f32)) u2)

rewrite90.0ms (1.2%)

Algorithm

2×	batch-egg-rewrite

Rules

89× egg-rr

Counts

4 → 89

Calls

2 calls:

88.0ms

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

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	48
1	260	40
2	2527	40
3	4948	40
4	5058	40
0	0	0
1	0	0

simplify80.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

532×	`cancel-sign-sub-inv_binary32`
440×	`fma-neg_binary32`
324×	`times-frac_binary32`
279×	`associate-*r/_binary32`
258×	`associate-*l/_binary32`

Counts

141 → 140

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	178	2124
1	558	1958
2	1873	1812
3	4541	1806
4	4992	1806

prune232.0ms (3.1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	128	12	140
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	130	12	142

Error

0.1b

Counts

142 → 12

Alt Table

Status	Error	Program
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (pow.f32 (cbrt.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2))) 3))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (expm1.f32 (log1p.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	1.0b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (log.f32 (sqrt.f32 (exp.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (log.f32 (sqrt.f32 (exp.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2)) (neg.f32 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (sin.f32 (.f32 (PI.f32) u2))))))
	1.2b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (log.f32 (.f32 (cbrt.f32 (exp.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (exp.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))))) (log.f32 (cbrt.f32 (exp.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))))))
▶	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (cbrt.f32 (.f32 (pow.f32 (*.f32 2 (PI.f32)) 3) (pow.f32 u2 3)))))
	8.6b	(.f32 (pow.f32 (pow.f32 (log1p.f32 u1) 3/2) 1/3) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	8.1b	(pow.f32 (cbrt.f32 (.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)) (sqrt.f32 (log1p.f32 u1)))) 3)
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (-.f32 (.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2))) (.f32 (sin.f32 (.f32 (PI.f32) u2)) (sin.f32 (*.f32 (PI.f32) u2)))))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (-.f32 (exp.f32 (log1p.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))) 1))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (.f32 (cos.f32 (exp.f32 (log1p.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cos.f32 1)) (.f32 (sin.f32 (exp.f32 (log1p.f32 (.f32 (*.f32 2 (PI.f32)) u2)))) (sin.f32 1))))

Compiler

Compiled 4258 to 2914 computations (31.6% saved)

localize89.0ms (1.2%)

Local error

Found 4 expressions with local error:

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

series194.0ms (2.6%)

Counts

4 → 44

Calls

4 calls:

176.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (cbrt.f32 (.f32 (pow.f32 (*.f32 2 (PI.f32)) 3) (pow.f32 u2 3)))))
14.0ms	(.f32 (pow.f32 (.f32 2 (PI.f32)) 3) (pow.f32 u2 3))
4.0ms	(cos.f32 (cbrt.f32 (.f32 (pow.f32 (.f32 2 (PI.f32)) 3) (pow.f32 u2 3))))
0.0ms	(pow.f32 (*.f32 2 (PI.f32)) 3)

rewrite124.0ms (1.6%)

Algorithm

2×	batch-egg-rewrite

Rules

87× egg-rr

Counts

4 → 87

Calls

2 calls:

121.0ms

((pow.f32 (*.f32 2 (PI.f32)) 3) (*.f32 (pow.f32 (*.f32 2 (PI.f32)) 3) (pow.f32 u2 3)) (cos.f32 (cbrt.f32 (*.f32 (pow.f32 (*.f32 2 (PI.f32)) 3) (pow.f32 u2 3)))) (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (cbrt.f32 (*.f32 (pow.f32 (*.f32 2 (PI.f32)) 3) (pow.f32 u2 3))))))

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	50
1	345	46
2	3273	46
3	4868	46
4	4965	46
5	4946	46
0	0	0
1	0	0

simplify49.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

676×	`associate-l_binary32`
638×	`associate-r_binary32`
567×	`fma-def_binary32`
335×	`cancel-sign-sub-inv_binary32`
172×	`associate-/r*_binary32`

Counts

131 → 126

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	145	1628
1	416	1506
2	1367	1414
3	5283	1414

prune146.0ms (1.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	124	2	126
Fresh	3	8	11
Picked	1	0	1
Done	0	0	0
Total	128	10	138

Error

0.1b

Counts

138 → 10

Alt Table

Status	Error	Program
▶	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (cbrt.f32 (.f32 (expm1.f32 (log1p.f32 (pow.f32 (*.f32 2 (PI.f32)) 3))) (pow.f32 u2 3)))))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (pow.f32 (cbrt.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2))) 3))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2)) (neg.f32 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (sin.f32 (.f32 (PI.f32) u2))))))
	1.2b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (log.f32 (.f32 (cbrt.f32 (exp.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (exp.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))))) (log.f32 (cbrt.f32 (exp.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))))))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 (cos.f32 (exp.f32 (log1p.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cos.f32 1) (.f32 (sin.f32 (exp.f32 (log1p.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (sin.f32 1))))
	8.6b	(.f32 (pow.f32 (pow.f32 (log1p.f32 u1) 3/2) 1/3) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	8.1b	(pow.f32 (cbrt.f32 (.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)) (sqrt.f32 (log1p.f32 u1)))) 3)
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (-.f32 (exp.f32 (log1p.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))) 1))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (.f32 (cos.f32 (exp.f32 (log1p.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cos.f32 1)) (.f32 (sin.f32 (exp.f32 (log1p.f32 (.f32 (*.f32 2 (PI.f32)) u2)))) (sin.f32 1))))

Compiler

Compiled 3691 to 2385 computations (35.4% saved)

localize67.0ms (0.9%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(cos.f32 (cbrt.f32 (.f32 (expm1.f32 (log1p.f32 (pow.f32 (.f32 2 (PI.f32)) 3))) (pow.f32 u2 3))))
✓	0.3b	(.f32 (expm1.f32 (log1p.f32 (pow.f32 (.f32 2 (PI.f32)) 3))) (pow.f32 u2 3))
	1.0b	(pow.f32 (*.f32 2 (PI.f32)) 3)
✓	1.6b	(expm1.f32 (log1p.f32 (pow.f32 (*.f32 2 (PI.f32)) 3)))

series18.0ms (0.2%)

Counts

3 → 24

Calls

3 calls:

14.0ms

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

4.0ms

(cos.f32 (cbrt.f32 (*.f32 (expm1.f32 (log1p.f32 (pow.f32 (*.f32 2 (PI.f32)) 3))) (pow.f32 u2 3))))

0.0ms

(expm1.f32 (log1p.f32 (pow.f32 (*.f32 2 (PI.f32)) 3)))

rewrite111.0ms (1.5%)

Algorithm

2×	batch-egg-rewrite

Rules

85× egg-rr

Counts

3 → 85

Calls

2 calls:

110.0ms

((expm1.f32 (log1p.f32 (pow.f32 (*.f32 2 (PI.f32)) 3))) (*.f32 (expm1.f32 (log1p.f32 (pow.f32 (*.f32 2 (PI.f32)) 3))) (pow.f32 u2 3)) (cos.f32 (cbrt.f32 (*.f32 (expm1.f32 (log1p.f32 (pow.f32 (*.f32 2 (PI.f32)) 3))) (pow.f32 u2 3)))))

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	32
1	243	29
2	2510	29
3	4947	29
4	4829	29
5	5325	29
0	0	0
1	0	0

simplify110.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

682×	`fma-neg_binary32`
632×	`cancel-sign-sub-inv_binary32`
551×	`unswap-sqr_binary32`
531×	`fma-def_binary32`
367×	`distribute-rgt-neg-in_binary32`

Counts

109 → 98

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	42	362
1	112	350
2	350	346
3	1574	344
4	4180	308
5	4961	308

prune180.0ms (2.4%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	124	1	125
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	124	11	135

Error

0.1b

Counts

135 → 11

Alt Table

Status	Error	Program
✓	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (cbrt.f32 (.f32 (expm1.f32 (log1p.f32 (pow.f32 (*.f32 2 (PI.f32)) 3))) (pow.f32 u2 3)))))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (pow.f32 (cbrt.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2))) 3))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2)) (neg.f32 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (sin.f32 (.f32 (PI.f32) u2))))))
	1.2b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (log.f32 (.f32 (cbrt.f32 (exp.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (exp.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))))) (log.f32 (cbrt.f32 (exp.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))))))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 (cos.f32 (exp.f32 (log1p.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cos.f32 1) (.f32 (sin.f32 (exp.f32 (log1p.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (sin.f32 1))))
	8.6b	(.f32 (pow.f32 (pow.f32 (log1p.f32 u1) 3/2) 1/3) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	8.1b	(pow.f32 (cbrt.f32 (.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)) (sqrt.f32 (log1p.f32 u1)))) 3)
	1.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (cbrt.f32 (+.f32 (log.f32 (.f32 (cbrt.f32 (exp.f32 (pow.f32 (.f32 (.f32 2 (PI.f32)) u2) 3))) (cbrt.f32 (exp.f32 (pow.f32 (.f32 (.f32 2 (PI.f32)) u2) 3))))) (log.f32 (cbrt.f32 (exp.f32 (pow.f32 (.f32 (.f32 2 (PI.f32)) u2) 3))))))))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (-.f32 (exp.f32 (log1p.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))) 1))
▶	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (.f32 (cos.f32 (exp.f32 (log1p.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cos.f32 1)) (.f32 (sin.f32 (exp.f32 (log1p.f32 (.f32 (*.f32 2 (PI.f32)) u2)))) (sin.f32 1))))

Compiler

Compiled 3234 to 2132 computations (34.1% saved)

localize53.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

series194.0ms (2.6%)

Counts

2 → 32

Calls

2 calls:

188.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
6.0ms	(expm1.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))

rewrite54.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

44× egg-rr

Counts

2 → 44

Calls

2 calls:

53.0ms	((expm1.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2))))))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	33
1	279	29
2	2717	29
3	5204	29
0	0	0
1	0	0

simplify50.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

633×	`fma-def_binary32`
588×	`associate-l_binary32`
563×	`associate-r_binary32`
384×	`cancel-sign-sub-inv_binary32`
173×	`associate-/r*_binary32`

Counts

76 → 80

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	142	1474
1	427	1400
2	1391	1300
3	5069	1300

prune199.0ms (2.6%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	130	3	133
Fresh	2	7	9
Picked	0	1	1
Done	0	1	1
Total	132	12	144

Error

0.1b

Counts

144 → 12

Alt Table

Status	Error	Program
	1.0b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (.f32 (cbrt.f32 (expm1.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (pow.f32 (cbrt.f32 (expm1.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))) 2))))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (-.f32 (exp.f32 (log1p.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))) 1))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (+.f32 (log.f32 (sqrt.f32 (exp.f32 (expm1.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))))) (log.f32 (sqrt.f32 (exp.f32 (expm1.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))))))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2)) (neg.f32 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (sin.f32 (.f32 (PI.f32) u2))))))
	1.2b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (log.f32 (.f32 (cbrt.f32 (exp.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (exp.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))))) (log.f32 (cbrt.f32 (exp.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))))))
✓	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (cbrt.f32 (.f32 (expm1.f32 (log1p.f32 (pow.f32 (*.f32 2 (PI.f32)) 3))) (pow.f32 u2 3)))))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 (cos.f32 (exp.f32 (log1p.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cos.f32 1) (.f32 (sin.f32 (exp.f32 (log1p.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (sin.f32 1))))
	8.6b	(.f32 (pow.f32 (pow.f32 (log1p.f32 u1) 3/2) 1/3) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	8.1b	(pow.f32 (cbrt.f32 (.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)) (sqrt.f32 (log1p.f32 u1)))) 3)
	1.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (cbrt.f32 (+.f32 (log.f32 (.f32 (cbrt.f32 (exp.f32 (pow.f32 (.f32 (.f32 2 (PI.f32)) u2) 3))) (cbrt.f32 (exp.f32 (pow.f32 (.f32 (.f32 2 (PI.f32)) u2) 3))))) (log.f32 (cbrt.f32 (exp.f32 (pow.f32 (.f32 (.f32 2 (PI.f32)) u2) 3))))))))
✓	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (+.f32 (log.f32 (.f32 (cbrt.f32 (exp.f32 (expm1.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (exp.f32 (expm1.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))))) (log.f32 (cbrt.f32 (exp.f32 (expm1.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))))))))

Compiler

Compiled 3761 to 2483 computations (34% saved)

regimes2.1s (27.1%)

Accuracy

Total 0.2b remaining (67.3%)

Threshold costs 0.2b (67.3%)

Counts

157 → 1

Compiler

Compiled 36989 to 31737 computations (14.2% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	25
1	22	25
2	26	25
3	28	25
4	28	25

end237.0ms (3.1%)

Compiler: Compiled 363 to 306 computations (15.7% saved)

Iter	Nodes	Cost
0	14	22
1	26	21
2	38	21
3	46	21
4	56	21
5	67	21
6	82	21
7	106	21
8	119	21
9	125	21
10	144	21
11	140	21
12	167	21
13	180	21
14	184	21
15	185	21
16	163	21

Iter	Nodes	Cost
0	14	22
1	26	21
2	38	21
3	46	21
4	56	21
5	67	21
6	82	21
7	106	21
8	119	21
9	125	21
10	144	21
11	140	21
12	167	21
13	180	21
14	184	21
15	185	21
16	163	21

Details

analyze476.0ms (6.3%)

sample2.5s (32.6%)

simplify16.0ms (0.2%)

prune5.0ms (0.1%)

localize65.0ms (0.9%)

series210.0ms (2.8%)

rewrite90.0ms (1.2%)

simplify80.0ms (1.1%)

prune232.0ms (3.1%)

localize89.0ms (1.2%)

series194.0ms (2.6%)

rewrite124.0ms (1.6%)

simplify49.0ms (0.7%)

prune146.0ms (1.9%)

localize67.0ms (0.9%)

series18.0ms (0.2%)

rewrite111.0ms (1.5%)

simplify110.0ms (1.4%)

prune180.0ms (2.4%)

localize53.0ms (0.7%)

series194.0ms (2.6%)

rewrite54.0ms (0.7%)

simplify50.0ms (0.7%)

prune199.0ms (2.6%)

regimes2.1s (27.1%)

simplify3.0ms (0%)

end237.0ms (3.1%)

Profiling

Iter	Nodes	Cost
0	14	22
1	26	21
2	38	21
3	46	21
4	56	21
5	67	21
6	82	21
7	106	21
8	119	21
9	125	21
10	144	21
11	140	21
12	167	21
13	180	21
14	184	21
15	185	21
16	163	21