Details

analyze418.0ms (5.1%)

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)

sample98.0ms (1.2%)

Algorithm

1×

intervals

Results

34.0ms	256×	body	128	valid
11.0ms	256×	pre	128	true

Compiler

Compiled 58 to 48 computations (17.2% 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.6b

Counts

3 → 2

Alt Table

Status	Error	Program
	14.1b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
▶	0.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))

Compiler

Compiled 90 to 77 computations (14.4% saved)

localize34.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series209.0ms (2.5%)

Counts

4 → 52

Calls

4 calls:

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

rewrite18.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`sqrt-prod_binary32`
18×	`add-sqr-sqrt_binary32`
14×	`associate-l_binary32`
13×	`*-un-lft-identity_binary32`
13×	`add-cube-cbrt_binary32`

Counts

4 → 82

Calls

4 calls:

7.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
4.0ms	(.f32 (.f32 2 (PI.f32)) u2)
2.0ms	(sin.f32 (.f32 (.f32 2 (PI.f32)) u2))
1.0ms	(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))

simplify119.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

553×	`cancel-sign-sub-inv_binary32`
510×	`fma-neg_binary32`
360×	`times-frac_binary32`
236×	`associate-l_binary32`
224×	`fma-def_binary32`

Counts

134 → 166

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	286	3674
1	776	3341
2	2559	3238
3	4483	3212
4	5079	3212

prune202.0ms (2.5%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	149	17	166
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	151	17	168

Error

0.1b

Counts

168 → 17

Alt Table

Status	Error	Program
	1.6b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (sqrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))
	0.8b	(.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))
	1.0b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cbrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2))))
	1.0b	(.f32 (.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2))))
	2.8b	(exp.f32 (log.f32 (.f32 (sin.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	0.6b	(.f32 (cbrt.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	2.8b	(fma.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 2 (.f32 u2 (PI.f32)) (.f32 4/15 (.f32 (pow.f32 u2 5) (pow.f32 (PI.f32) 5)))) (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (pow.f32 (.f32 u2 (PI.f32)) 3)) -4/3))
	1.3b	(.f32 (exp.f32 (log.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (cbrt.f32 (.f32 (.f32 2 (PI.f32)) u2)) (cbrt.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cbrt.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (expm1.f32 (log1p.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	1.0b	(.f32 (.f32 (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.7b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))
	0.8b	(.f32 (.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.7b	(.f32 (sqrt.f32 (.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2))))
▶	0.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (.f32 2 (PI.f32))) (.f32 2 (PI.f32))) (.f32 (*.f32 u2 u2) u2)))))
	0.6b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	11.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))

Compiler

Compiled 5410 to 3307 computations (38.9% saved)

localize55.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

series189.0ms (2.3%)

Counts

4 → 44

Calls

4 calls:

174.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (.f32 2 (PI.f32))) (.f32 2 (PI.f32))) (.f32 (*.f32 u2 u2) u2)))))
12.0ms	(.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (.f32 2 (PI.f32))) (.f32 2 (PI.f32))) (.f32 (.f32 u2 u2) u2))
2.0ms	(.f32 (.f32 u2 u2) u2)
0.0ms	(.f32 (.f32 2 (PI.f32)) (*.f32 2 (PI.f32)))

rewrite113.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

817×	`pow1_binary32`
401×	`pow-prod-down_binary32`
218×	`add-cbrt-cube_binary32`
215×	`add-exp-log_binary32`
213×	`pow-prod-up_binary32`

Counts

4 → 312

Calls

4 calls:

33.0ms	(.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (.f32 2 (PI.f32))) (.f32 2 (PI.f32))) (.f32 (.f32 u2 u2) u2))
8.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (.f32 2 (PI.f32))) (.f32 2 (PI.f32))) (.f32 (*.f32 u2 u2) u2)))))
6.0ms	(.f32 (.f32 2 (PI.f32)) (*.f32 2 (PI.f32)))
4.0ms	(.f32 (.f32 u2 u2) u2)

simplify221.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

658×	`fma-def_binary32`
486×	`associate-l_binary32`
416×	`associate-r_binary32`
289×	`cancel-sign-sub-inv_binary32`
246×	`times-frac_binary32`

Counts

356 → 227

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	334	8080
1	709	5417
2	2752	5379
3	4306	5370
4	4931	5370
5	4949	5370

prune303.0ms (3.7%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	223	4	227
Fresh	6	10	16
Picked	1	0	1
Done	0	0	0
Total	230	14	244

Error

0.1b

Counts

244 → 14

Alt Table

Status	Error	Program
	0.6b	(.f32 (cbrt.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	2.8b	(fma.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 2 (.f32 u2 (PI.f32)) (.f32 4/15 (.f32 (pow.f32 u2 5) (pow.f32 (PI.f32) 5)))) (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (pow.f32 (.f32 u2 (PI.f32)) 3)) -4/3))
	11.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	1.6b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (sin.f32 (cbrt.f32 (.f32 8 (.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))))))) (sqrt.f32 (sin.f32 (cbrt.f32 (.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (.f32 2 (PI.f32))) (.f32 2 (PI.f32))) (.f32 (.f32 u2 u2) u2))))))
	1.0b	(.f32 (.f32 (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.7b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))
	0.7b	(.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (sin.f32 (cbrt.f32 (.f32 8 (.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))))) (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	2.8b	(exp.f32 (log.f32 (.f32 (sin.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	0.8b	(.f32 (.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.7b	(.f32 (sqrt.f32 (.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2))))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (cbrt.f32 (.f32 (.f32 2 (PI.f32)) u2)) (cbrt.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cbrt.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
▶	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (.f32 (.f32 (expm1.f32 (log1p.f32 (.f32 (PI.f32) (.f32 (PI.f32) 4)))) (.f32 2 (PI.f32))) (.f32 (.f32 u2 u2) u2)))))
	0.6b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.9b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (sin.f32 (cbrt.f32 (.f32 8 (.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3)))))) (cbrt.f32 (sin.f32 (cbrt.f32 (.f32 8 (.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3)))))))) (cbrt.f32 (sin.f32 (cbrt.f32 (.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (.f32 2 (PI.f32))) (.f32 2 (PI.f32))) (.f32 (*.f32 u2 u2) u2))))))

Compiler

Compiled 8918 to 5022 computations (43.7% saved)

localize81.0ms (1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(.f32 (.f32 u2 u2) u2)
✓	0.3b	(.f32 (.f32 (expm1.f32 (log1p.f32 (.f32 (PI.f32) (.f32 (PI.f32) 4)))) (.f32 2 (PI.f32))) (.f32 (*.f32 u2 u2) u2))
✓	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (.f32 (.f32 (expm1.f32 (log1p.f32 (.f32 (PI.f32) (.f32 (PI.f32) 4)))) (.f32 2 (PI.f32))) (.f32 (.f32 u2 u2) u2)))))
✓	1.0b	(.f32 (PI.f32) (.f32 (PI.f32) 4))

series192.0ms (2.3%)

Counts

3 → 32

Calls

3 calls:

179.0ms

(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (*.f32 (*.f32 (expm1.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 (PI.f32) 4)))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) u2)))))

12.0ms

(*.f32 (*.f32 (expm1.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 (PI.f32) 4)))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) u2))

0.0ms

(*.f32 (PI.f32) (*.f32 (PI.f32) 4))

rewrite43.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

46×	`add-cbrt-cube_binary32`
46×	`add-exp-log_binary32`
46×	`pow1_binary32`
31×	`cbrt-unprod_binary32`
31×	`prod-exp_binary32`

Counts

3 → 90

Calls

3 calls:

9.0ms

(*.f32 (*.f32 (expm1.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 (PI.f32) 4)))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) u2))

7.0ms

(*.f32 (PI.f32) (*.f32 (PI.f32) 4))

6.0ms

(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (*.f32 (*.f32 (expm1.f32 (log1p.f32 (*.f32 (PI.f32) (*.f32 (PI.f32) 4)))) (*.f32 2 (PI.f32))) (*.f32 (*.f32 u2 u2) u2)))))

simplify117.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

637×	`fma-def_binary32`
394×	`associate-l_binary32`
345×	`associate-r_binary32`
289×	`cancel-sign-sub-inv_binary32`
275×	`fma-neg_binary32`

Counts

122 → 137

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	280	4368
1	694	3239
2	2340	3110
3	4692	3108
4	4979	3108

prune230.0ms (2.8%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	165	3	168
Fresh	1	12	13
Picked	1	0	1
Done	0	0	0
Total	167	15	182

Error

0.1b

Counts

182 → 15

Alt Table

Status	Error	Program
▶	0.5b	(expm1.f32 (log1p.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (.f32 (.f32 (expm1.f32 (log1p.f32 (.f32 (PI.f32) (.f32 (PI.f32) 4)))) (.f32 2 (PI.f32))) (.f32 (.f32 u2 u2) u2)))))))
	2.8b	(exp.f32 (log.f32 (.f32 (sin.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	0.6b	(.f32 (cbrt.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	2.8b	(fma.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 2 (.f32 u2 (PI.f32)) (.f32 4/15 (.f32 (pow.f32 u2 5) (pow.f32 (PI.f32) 5)))) (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (pow.f32 (.f32 u2 (PI.f32)) 3)) -4/3))
	11.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	1.6b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (sin.f32 (cbrt.f32 (.f32 8 (.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))))))) (sqrt.f32 (sin.f32 (cbrt.f32 (.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (.f32 2 (PI.f32))) (.f32 2 (PI.f32))) (.f32 (.f32 u2 u2) u2))))))
	1.0b	(.f32 (.f32 (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.7b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))
	1.0b	(.f32 (.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (cbrt.f32 (.f32 (.f32 (expm1.f32 (log1p.f32 (.f32 (PI.f32) (.f32 (PI.f32) 4)))) (.f32 2 (PI.f32))) (.f32 (.f32 u2 u2) u2))))))
	0.7b	(.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (sin.f32 (cbrt.f32 (.f32 8 (.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))))) (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	0.8b	(.f32 (.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.7b	(.f32 (sqrt.f32 (.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (sin.f32 (cbrt.f32 (.f32 8 (*.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (cbrt.f32 (.f32 (.f32 2 (PI.f32)) u2)) (cbrt.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cbrt.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.6b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.9b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (sin.f32 (cbrt.f32 (.f32 8 (.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3)))))) (cbrt.f32 (sin.f32 (cbrt.f32 (.f32 8 (.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3)))))))) (cbrt.f32 (sin.f32 (cbrt.f32 (.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (.f32 2 (PI.f32))) (.f32 2 (PI.f32))) (.f32 (*.f32 u2 u2) u2))))))

Compiler

Compiled 6808 to 4024 computations (40.9% saved)

localize81.0ms (1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(.f32 (.f32 u2 u2) u2)
	0.3b	(.f32 (.f32 (expm1.f32 (log1p.f32 (.f32 (PI.f32) (.f32 (PI.f32) 4)))) (.f32 2 (PI.f32))) (.f32 (*.f32 u2 u2) u2))
	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (.f32 (.f32 (expm1.f32 (log1p.f32 (.f32 (PI.f32) (.f32 (PI.f32) 4)))) (.f32 2 (PI.f32))) (.f32 (.f32 u2 u2) u2)))))
	1.0b	(.f32 (PI.f32) (.f32 (PI.f32) 4))

prune234.0ms (2.8%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	167	1	168
Fresh	2	12	14
Picked	0	1	1
Done	0	0	0
Total	169	14	183

Error

0.1b

Counts

183 → 14

Alt Table

Status	Error	Program
✓	0.5b	(expm1.f32 (log1p.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (.f32 (.f32 (expm1.f32 (log1p.f32 (.f32 (PI.f32) (.f32 (PI.f32) 4)))) (.f32 2 (PI.f32))) (.f32 (.f32 u2 u2) u2)))))))
	2.8b	(exp.f32 (log.f32 (.f32 (sin.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	0.6b	(.f32 (cbrt.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	2.8b	(fma.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 2 (.f32 u2 (PI.f32)) (.f32 4/15 (.f32 (pow.f32 u2 5) (pow.f32 (PI.f32) 5)))) (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (pow.f32 (.f32 u2 (PI.f32)) 3)) -4/3))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (cbrt.f32 (.f32 (.f32 2 (PI.f32)) u2)) (cbrt.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cbrt.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	1.5b	(expm1.f32 (log1p.f32 (.f32 (sqrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (.f32 8 (.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))))))) (sqrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (.f32 8 (*.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))))))))))
	1.0b	(.f32 (.f32 (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.7b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))
	1.0b	(.f32 (.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (cbrt.f32 (.f32 (.f32 (expm1.f32 (log1p.f32 (.f32 (PI.f32) (.f32 (PI.f32) 4)))) (.f32 2 (PI.f32))) (.f32 (.f32 u2 u2) u2))))))
	0.7b	(.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (sin.f32 (cbrt.f32 (.f32 8 (.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))))) (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	0.8b	(.f32 (.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.7b	(.f32 (sqrt.f32 (.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (sin.f32 (cbrt.f32 (.f32 8 (*.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))))
	11.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.9b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (sin.f32 (cbrt.f32 (.f32 8 (.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3)))))) (cbrt.f32 (sin.f32 (cbrt.f32 (.f32 8 (.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3)))))))) (cbrt.f32 (sin.f32 (cbrt.f32 (.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (.f32 2 (PI.f32))) (.f32 2 (PI.f32))) (.f32 (*.f32 u2 u2) u2))))))

Compiler

Compiled 6616 to 3985 computations (39.8% saved)

regimes2.7s (32.9%)

Accuracy

Total 0.4b remaining (83.5%)

Threshold costs 0.4b (83.5%)

Counts

193 → 1

Compiler

Compiled 53149 to 42549 computations (19.9% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

8×	`*-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	22	41
1	34	41
2	38	41
3	40	41
4	40	41

end1.0ms (0%)

Compiler: Compiled 26 to 22 computations (15.4% saved)

sample2.5s (30.9%)

Algorithm

1×

intervals

Results

1.4s	8000×	body	128	valid
299.0ms	8000×	pre	128	true
0.0ms	2×	pre	128	false

Compiler

Compiled 512 to 377 computations (26.4% 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

analyze418.0ms (5.1%)

sample98.0ms (1.2%)

simplify16.0ms (0.2%)

prune5.0ms (0.1%)

localize34.0ms (0.4%)

series209.0ms (2.5%)

rewrite18.0ms (0.2%)

simplify119.0ms (1.4%)

prune202.0ms (2.5%)

localize55.0ms (0.7%)

series189.0ms (2.3%)

rewrite113.0ms (1.4%)

simplify221.0ms (2.7%)

prune303.0ms (3.7%)

localize81.0ms (1%)

series192.0ms (2.3%)

rewrite43.0ms (0.5%)

simplify117.0ms (1.4%)

prune230.0ms (2.8%)

localize81.0ms (1%)

prune234.0ms (2.8%)

regimes2.7s (32.9%)

simplify3.0ms (0%)

end1.0ms (0%)

sample2.5s (30.9%)

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