Details

analyze819.0ms (8.9%)

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)

sample3.7s (40.2%)

Results

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

Compiler

Compiled 94 to 76 computations (19.1% saved)

simplify21.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

prune7.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.5b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 90 to 77 computations (14.4% saved)

localize57.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.2b	(sin.f32 (.f32 2 (.f32 (PI.f32) u2)))
✓	0.3b	(*.f32 (PI.f32) u2)
✓	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (*.f32 (PI.f32) u2))))

series262.0ms (2.9%)

Counts

4 → 32

Calls

4 calls:

240.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (*.f32 (PI.f32) u2))))
13.0ms	(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
4.0ms	(sin.f32 (.f32 2 (.f32 (PI.f32) u2)))
4.0ms	(*.f32 (PI.f32) u2)

rewrite69.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

653×	`prod-diff_binary32`
202×	`expm1-udef_binary32`
202×	`log1p-udef_binary32`
131×	`add-sqr-sqrt_binary32`
123×	`expm1-log1p-u_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	45
1	265	37
2	3249	37

Stop Event

1×	node limit

Counts

4 → 76

Calls

4 calls:

67.0ms	(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
67.0ms	(sin.f32 (.f32 2 (.f32 (PI.f32) u2)))
67.0ms	(*.f32 (PI.f32) u2)
67.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (*.f32 (PI.f32) u2))))

simplify44.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	182	2008
1	588	1830
2	2199	1690

Stop Event

1×	node limit

Counts

108 → 124

prune136.0ms (1.5%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	110	14	124
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	111	15	126

Error

0.1b

Counts

126 → 15

Alt Table

Status	Error	Program
	0.7b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (pow.f32 (sqrt.f32 (*.f32 (PI.f32) u2)) 2))))
	1.4b	(-.f32 (.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 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 4/3 (.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3)) (.f32 8/315 (.f32 (pow.f32 u2 7) (pow.f32 (PI.f32) 7))))))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) u2)) 3))))
	2.0b	(fma.f32 2 (.f32 u2 (.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 4/15 (.f32 (pow.f32 u2 5) (pow.f32 (PI.f32) 5)) (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 u2 3) -4/3)))))
	7.8b	(.f32 (.f32 (cbrt.f32 (log1p.f32 u1)) (cbrt.f32 (sqrt.f32 (log1p.f32 u1)))) (sin.f32 (.f32 2 (.f32 (PI.f32) u2))))
	8.4b	(pow.f32 (sqrt.f32 (.f32 (sqrt.f32 (log1p.f32 u1)) (sin.f32 (.f32 2 (*.f32 (PI.f32) u2))))) 2)
✓	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (*.f32 (PI.f32) u2))))
	1.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (pow.f32 (sqrt.f32 (sin.f32 (.f32 2 (*.f32 (PI.f32) u2)))) 2))
	14.3b	(-.f32 (+.f32 (.f32 2 (.f32 u2 (.f32 (PI.f32) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))))) (.f32 4/15 (.f32 (pow.f32 u2 5) (.f32 (pow.f32 (PI.f32) 5) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))) (.f32 4/3 (.f32 (pow.f32 u2 3) (*.f32 (pow.f32 (PI.f32) 3) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))))))
	8.3b	(sqrt.f32 (.f32 (log1p.f32 u1) (pow.f32 (sin.f32 (.f32 2 (*.f32 (PI.f32) u2))) 2)))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (pow.f32 (cbrt.f32 (sin.f32 (.f32 2 (*.f32 (PI.f32) u2)))) 3))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) u2)))) (pow.f32 (cbrt.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) u2)))) 2)))
	12.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (-.f32 (exp.f32 (log1p.f32 (sin.f32 (.f32 2 (*.f32 (PI.f32) u2))))) 1))
	1.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (exp.f32 (log.f32 (*.f32 (PI.f32) u2))))))
▶	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (cbrt.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3))))))

Compiler

Compiled 4092 to 2791 computations (31.8% saved)

localize46.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series146.0ms (1.6%)

Counts

4 → 32

Calls

4 calls:

132.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (cbrt.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3))))))
9.0ms	(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3))
4.0ms	(sin.f32 (.f32 2 (cbrt.f32 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3)))))
0.0ms	(pow.f32 (PI.f32) 3)

rewrite58.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

469×	`prod-diff_binary32`
251×	`log1p-udef_binary32`
163×	`add-sqr-sqrt_binary32`
155×	`expm1-log1p-u_binary32`
154×	`log1p-expm1-u_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	44
1	349	40
2	4083	40

Stop Event

1×	node limit

Counts

4 → 73

Calls

4 calls:

56.0ms	(sin.f32 (.f32 2 (cbrt.f32 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3)))))
56.0ms	(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3))
56.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (cbrt.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3))))))
56.0ms	(pow.f32 (PI.f32) 3)

simplify45.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

720×	`fma-def_binary32`
573×	`associate-l_binary32`
366×	`cancel-sign-sub-inv_binary32`
160×	`associate-*l/_binary32`
160×	`associate-/r*_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	144	1528
1	428	1418
2	1508	1320

Stop Event

1×	node limit

Counts

105 → 113

prune140.0ms (1.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	112	1	113
Fresh	3	10	13
Picked	1	0	1
Done	1	0	1
Total	117	11	128

Error

0.1b

Counts

128 → 11

Alt Table

Status	Error	Program
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) u2)) 3))))
	2.0b	(fma.f32 2 (.f32 u2 (.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 4/15 (.f32 (pow.f32 u2 5) (pow.f32 (PI.f32) 5)) (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 u2 3) -4/3)))))
	7.8b	(.f32 (.f32 (cbrt.f32 (log1p.f32 u1)) (cbrt.f32 (sqrt.f32 (log1p.f32 u1)))) (sin.f32 (.f32 2 (.f32 (PI.f32) u2))))
	14.3b	(-.f32 (+.f32 (.f32 2 (.f32 u2 (.f32 (PI.f32) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))))) (.f32 4/15 (.f32 (pow.f32 u2 5) (.f32 (pow.f32 (PI.f32) 5) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))) (.f32 4/3 (.f32 (pow.f32 u2 3) (*.f32 (pow.f32 (PI.f32) 3) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))))))
▶	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (cbrt.f32 (.f32 (.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) 3) (PI.f32)) (pow.f32 u2 3))))))
	1.4b	(-.f32 (.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 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 4/3 (.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3)) (.f32 8/315 (.f32 (pow.f32 u2 7) (pow.f32 (PI.f32) 7))))))
	8.3b	(sqrt.f32 (.f32 (log1p.f32 u1) (pow.f32 (sin.f32 (.f32 2 (*.f32 (PI.f32) u2))) 2)))
	1.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (pow.f32 (sqrt.f32 (sin.f32 (.f32 2 (*.f32 (PI.f32) u2)))) 2))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) u2)))) (pow.f32 (cbrt.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) u2)))) 2)))
	12.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (-.f32 (exp.f32 (log1p.f32 (sin.f32 (.f32 2 (*.f32 (PI.f32) u2))))) 1))
	1.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (exp.f32 (log.f32 (*.f32 (PI.f32) u2))))))

Compiler

Compiled 3427 to 2291 computations (33.1% saved)

localize65.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

series158.0ms (1.7%)

Counts

4 → 44

Calls

4 calls:

144.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (cbrt.f32 (.f32 (.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) 3) (PI.f32)) (pow.f32 u2 3))))))
9.0ms	(.f32 (.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) 3) (PI.f32)) (pow.f32 u2 3))
5.0ms	(sin.f32 (.f32 2 (cbrt.f32 (.f32 (*.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) 3) (PI.f32)) (pow.f32 u2 3)))))
0.0ms	(pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) 3)

rewrite69.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

469×	`prod-diff_binary32`
185×	`add-sqr-sqrt_binary32`
181×	`expm1-log1p-u_binary32`
180×	`log1p-expm1-u_binary32`
177×	`add-cbrt-cube_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	77
1	411	40
2	4746	40

Stop Event

1×	node limit

Counts

4 → 77

Calls

4 calls:

68.0ms	(sin.f32 (.f32 2 (cbrt.f32 (.f32 (*.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) 3) (PI.f32)) (pow.f32 u2 3)))))
68.0ms	(.f32 (.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) 3) (PI.f32)) (pow.f32 u2 3))
68.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (cbrt.f32 (.f32 (.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) 3) (PI.f32)) (pow.f32 u2 3))))))
68.0ms	(pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) 3)

simplify50.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

712×	`fma-def_binary32`
574×	`associate-l_binary32`
366×	`cancel-sign-sub-inv_binary32`
160×	`associate-*l/_binary32`
160×	`associate-/r*_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	145	1660
1	428	1550
2	1508	1452

Stop Event

1×	node limit

Counts

121 → 117

prune120.0ms (1.3%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	116	1	117
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	116	12	128

Error

0.1b

Counts

128 → 12

Alt Table

Status	Error	Program
	2.0b	(fma.f32 2 (.f32 (PI.f32) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) u2)) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 4/15 (.f32 (pow.f32 u2 5) (pow.f32 (PI.f32) 5)) (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 u2 3) -4/3)))))
	2.0b	(fma.f32 2 (.f32 u2 (.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 4/15 (.f32 (pow.f32 u2 5) (pow.f32 (PI.f32) 5)) (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 u2 3) -4/3)))))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) u2)) 3))))
	7.8b	(.f32 (.f32 (cbrt.f32 (log1p.f32 u1)) (cbrt.f32 (sqrt.f32 (log1p.f32 u1)))) (sin.f32 (.f32 2 (.f32 (PI.f32) u2))))
	14.3b	(-.f32 (+.f32 (.f32 2 (.f32 u2 (.f32 (PI.f32) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))))) (.f32 4/15 (.f32 (pow.f32 u2 5) (.f32 (pow.f32 (PI.f32) 5) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))) (.f32 4/3 (.f32 (pow.f32 u2 3) (*.f32 (pow.f32 (PI.f32) 3) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))))))
✓	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (cbrt.f32 (.f32 (.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) 3) (PI.f32)) (pow.f32 u2 3))))))
	1.4b	(-.f32 (.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 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 4/3 (.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3)) (.f32 8/315 (.f32 (pow.f32 u2 7) (pow.f32 (PI.f32) 7))))))
	8.3b	(sqrt.f32 (.f32 (log1p.f32 u1) (pow.f32 (sin.f32 (.f32 2 (*.f32 (PI.f32) u2))) 2)))
	1.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (pow.f32 (sqrt.f32 (sin.f32 (.f32 2 (*.f32 (PI.f32) u2)))) 2))
▶	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) u2)))) (pow.f32 (cbrt.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) u2)))) 2)))
	12.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (-.f32 (exp.f32 (log1p.f32 (sin.f32 (.f32 2 (*.f32 (PI.f32) u2))))) 1))
	1.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (exp.f32 (log.f32 (*.f32 (PI.f32) u2))))))

Compiler

Compiled 3665 to 2433 computations (33.6% saved)

localize49.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series307.0ms (3.4%)

Counts

3 → 44

Calls

3 calls:

163.0ms

(pow.f32 (cbrt.f32 (sin.f32 (*.f32 2 (*.f32 (PI.f32) u2)))) 2)

140.0ms

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

3.0ms

(*.f32 (cbrt.f32 (sin.f32 (*.f32 2 (*.f32 (PI.f32) u2)))) (pow.f32 (cbrt.f32 (sin.f32 (*.f32 2 (*.f32 (PI.f32) u2)))) 2))

rewrite53.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

653×	`prod-diff_binary32`
227×	`log1p-udef_binary32`
149×	`add-sqr-sqrt_binary32`
144×	`associate-r_binary32`
141×	`expm1-log1p-u_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	46
1	330	42
2	3754	42

Stop Event

1×	node limit

Counts

3 → 47

Calls

3 calls:

52.0ms

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

52.0ms

(*.f32 (cbrt.f32 (sin.f32 (*.f32 2 (*.f32 (PI.f32) u2)))) (pow.f32 (cbrt.f32 (sin.f32 (*.f32 2 (*.f32 (PI.f32) u2)))) 2))

52.0ms

(pow.f32 (cbrt.f32 (sin.f32 (*.f32 2 (*.f32 (PI.f32) u2)))) 2)

simplify45.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

785×	`fma-def_binary32`
449×	`cancel-sign-sub-inv_binary32`
208×	`distribute-rgt-neg-in_binary32`
197×	`distribute-lft-neg-in_binary32`
183×	`fma-neg_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	172	1910
1	528	1822
2	1875	1621

Stop Event

1×	node limit

Counts

91 → 92

prune137.0ms (1.5%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	118	4	122
Fresh	2	8	10
Picked	1	0	1
Done	0	1	1
Total	121	13	134

Error

0.0b

Counts

134 → 13

Alt Table

Status	Error	Program
	2.0b	(fma.f32 2 (.f32 (PI.f32) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) u2)) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 4/15 (.f32 (pow.f32 u2 5) (pow.f32 (PI.f32) 5)) (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 u2 3) -4/3)))))
	2.0b	(fma.f32 2 (.f32 u2 (.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 4/15 (.f32 (pow.f32 u2 5) (pow.f32 (PI.f32) 5)) (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 u2 3) -4/3)))))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) u2)))) (pow.f32 (cbrt.f32 (sin.f32 (.f32 2 (pow.f32 (sqrt.f32 (.f32 (PI.f32) u2)) 2)))) 2)))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) u2)) 3))))
	2.0b	(fma.f32 4/15 (.f32 (pow.f32 u2 5) (.f32 (pow.f32 (PI.f32) 5) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 2 (.f32 (PI.f32) u2) (.f32 (.f32 -4/3 (pow.f32 (PI.f32) 3)) (pow.f32 u2 3)))))
	7.8b	(.f32 (.f32 (cbrt.f32 (log1p.f32 u1)) (cbrt.f32 (sqrt.f32 (log1p.f32 u1)))) (sin.f32 (.f32 2 (.f32 (PI.f32) u2))))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) u2)))) (pow.f32 (cbrt.f32 (sin.f32 (.f32 2 (cbrt.f32 (.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3)))))) 2)))
	12.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (-.f32 (exp.f32 (log1p.f32 (sin.f32 (.f32 2 (*.f32 (PI.f32) u2))))) 1))
	1.4b	(-.f32 (.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 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 4/3 (.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3)) (.f32 8/315 (.f32 (pow.f32 u2 7) (pow.f32 (PI.f32) 7))))))
✓	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (cbrt.f32 (.f32 (.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) 3) (PI.f32)) (pow.f32 u2 3))))))
	8.3b	(sqrt.f32 (.f32 (log1p.f32 u1) (pow.f32 (sin.f32 (.f32 2 (*.f32 (PI.f32) u2))) 2)))
	1.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (exp.f32 (log.f32 (*.f32 (PI.f32) u2))))))
	1.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) u2)))) (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) (.f32 u2 2))) 1/6) (sqrt.f32 (sin.f32 (.f32 (PI.f32) (*.f32 u2 2)))))))

Compiler

Compiled 4065 to 2653 computations (34.7% saved)

regimes2.3s (25.5%)

Accuracy

Total 0.4b remaining (80.7%)

Threshold costs 0.4b (80.7%)

Counts

192 → 1

Compiler

Compiled 45178 to 38434 computations (14.9% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`*-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	39
1	33	39
2	37	39
3	39	39

Stop Event

1×

saturated

end234.0ms (2.6%)

Compiler: Compiled 417 to 335 computations (19.7% saved)

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	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

analyze819.0ms (8.9%)

sample3.7s (40.2%)

simplify21.0ms (0.2%)

prune7.0ms (0.1%)

localize57.0ms (0.6%)

series262.0ms (2.9%)

rewrite69.0ms (0.7%)

simplify44.0ms (0.5%)

prune136.0ms (1.5%)

localize46.0ms (0.5%)

series146.0ms (1.6%)

rewrite58.0ms (0.6%)

simplify45.0ms (0.5%)

prune140.0ms (1.5%)

localize65.0ms (0.7%)

series158.0ms (1.7%)

rewrite69.0ms (0.8%)

simplify50.0ms (0.5%)

prune120.0ms (1.3%)

localize49.0ms (0.5%)

series307.0ms (3.4%)

rewrite53.0ms (0.6%)

simplify45.0ms (0.5%)

prune137.0ms (1.5%)

regimes2.3s (25.5%)

simplify3.0ms (0%)

end234.0ms (2.6%)

Profiling

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