Details

analyze419.0ms (6.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 37 to 28 computations (24.3% saved)

sample2.0s (28.6%)

Results

1.9s	8256×	body	128	valid
1.0ms	4×	body	128	invalid

Compiler

Compiled 74 to 56 computations (24.3% saved)

preprocess22.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

33×	`sub-neg_binary32`
24×	`fma-def_binary32`
21×	`+-commutative_binary32`
13×	`*-commutative_binary32`
12×	`div-sub_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	68
1	40	68
2	50	68
3	66	68
4	86	68
5	112	68
6	143	68
7	190	68
8	231	68
9	240	68
10	243	68
0	3	3

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 14 to 11 computations (21.4% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

11×	`sub-neg_binary32`
7×	`+-commutative_binary32`
6×	`fma-def_binary32`
4×	`*-commutative_binary32`
4×	`div-sub_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	17
1	17	17
2	21	17
3	27	17
4	35	17
5	45	17
6	58	17
7	76	17
8	88	17
9	91	17
10	92	17

Stop Event

1×

saturated

Counts

1 → 1

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.5b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 314159265359/50000000000 u2)))

Compiler

Compiled 42 to 33 computations (21.4% saved)

localize28.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f32 (/.f32 u1 (-.f32 1 u1)))
✓	0.2b	(sin.f32 (*.f32 314159265359/50000000000 u2))
✓	0.3b	(*.f32 314159265359/50000000000 u2)
✓	0.3b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 314159265359/50000000000 u2)))

series33.0ms (0.5%)

Counts

4 → 24

Calls

15 calls:

6.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 314159265359/50000000000 u2)))	u1	0
4.0ms	(*.f32 314159265359/50000000000 u2)	u2	-inf
3.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 314159265359/50000000000 u2)))	u1	inf
3.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 314159265359/50000000000 u2)))	u1	-inf
3.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 314159265359/50000000000 u2)))	u2	-inf

rewrite50.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

532×	`log-prod_binary32`
271×	`prod-diff_binary32`
196×	`expm1-udef_binary32`
195×	`log1p-udef_binary32`
173×	`log-pow_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	36
1	229	36
2	2843	36

Stop Event

1×	node limit

Counts

4 → 92

simplify35.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

405×	`fma-def_binary32`
399×	`associate-/r*_binary32`
225×	`associate-+l+_binary32`
201×	`associate--r+_binary32`
196×	`cancel-sign-sub-inv_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	102	1054
1	324	986
2	1105	868

Stop Event

1×	node limit

Counts

116 → 121

prune129.0ms (1.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	110	11	121
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	111	11	122

Error

0.0b

Counts

122 → 11

Alt Table

Status	Error	Program
▶	0.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (sqrt.f32 (.f32 (*.f32 u2 u2) 98696044010906577398881/2500000000000000000000))))
	0.6b	(/.f32 (.f32 (sqrt.f32 u1) (sin.f32 (.f32 314159265359/50000000000 u2))) (sqrt.f32 (-.f32 1 u1)))
	13.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (log.f32 (exp.f32 (sin.f32 (.f32 314159265359/50000000000 u2)))))
	0.9b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (pow.f32 (cbrt.f32 (.f32 314159265359/50000000000 u2)) 3)))
	0.7b	(.f32 (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 1/4) (pow.f32 (/.f32 u1 (-.f32 1 u1)) 1/4)) (sin.f32 (*.f32 314159265359/50000000000 u2)))
	14.9b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (+.f32 (log.f32 (.f32 (cbrt.f32 (exp.f32 (sin.f32 (.f32 314159265359/50000000000 u2)))) (cbrt.f32 (exp.f32 (sin.f32 (.f32 314159265359/50000000000 u2)))))) (log.f32 (cbrt.f32 (exp.f32 (sin.f32 (*.f32 314159265359/50000000000 u2)))))))
	0.8b	(pow.f32 (cbrt.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 314159265359/50000000000 u2)))) 3)
	1.6b	(-.f32 (+.f32 (.f32 314159265359/50000000000 (.f32 u2 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (.f32 3060196847853821555298148281676017575122444629042460390799/37500000000000000000000000000000000000000000000000000000 (.f32 (pow.f32 u2 5) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))))) (+.f32 (.f32 302029322777818351566783844332719832329455959975176141755859165754785028165295919/3937500000000000000000000000000000000000000000000000000000000000000000000000000 (.f32 (pow.f32 u2 7) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (.f32 31006276680305942139213528068663279/750000000000000000000000000000000 (.f32 (pow.f32 u2 3) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))))))
	0.5b	(.f32 (.f32 (sqrt.f32 u1) (sqrt.f32 (/.f32 1 (-.f32 1 u1)))) (sin.f32 (*.f32 314159265359/50000000000 u2)))
	0.5b	(cbrt.f32 (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) (pow.f32 (sin.f32 (.f32 314159265359/50000000000 u2)) 3)))
	6.5b	(.f32 (-.f32 (exp.f32 (log1p.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) 1) (sin.f32 (.f32 314159265359/50000000000 u2)))

Compiler

Compiled 2798 to 2220 computations (20.7% saved)

localize38.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(sqrt.f32 (/.f32 u1 (-.f32 1 u1)))
✓	0.2b	(sin.f32 (sqrt.f32 (.f32 (.f32 u2 u2) 98696044010906577398881/2500000000000000000000)))
✓	0.3b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (sqrt.f32 (.f32 (*.f32 u2 u2) 98696044010906577398881/2500000000000000000000))))
✓	0.4b	(.f32 (.f32 u2 u2) 98696044010906577398881/2500000000000000000000)

series24.0ms (0.4%)

Counts

3 → 44

Calls

12 calls:

4.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (sqrt.f32 (.f32 (*.f32 u2 u2) 98696044010906577398881/2500000000000000000000))))	u1	0
3.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (sqrt.f32 (.f32 (*.f32 u2 u2) 98696044010906577398881/2500000000000000000000))))	u1	inf
3.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (sqrt.f32 (.f32 (*.f32 u2 u2) 98696044010906577398881/2500000000000000000000))))	u1	-inf
3.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (sqrt.f32 (.f32 (*.f32 u2 u2) 98696044010906577398881/2500000000000000000000))))	u2	0
3.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (sqrt.f32 (.f32 (*.f32 u2 u2) 98696044010906577398881/2500000000000000000000))))	u2	-inf

rewrite53.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

346×	`prod-diff_binary32`
222×	`expm1-udef_binary32`
221×	`log1p-udef_binary32`
202×	`log-pow_binary32`
138×	`fma-def_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	40
1	272	30
2	3328	30

Stop Event

1×	node limit

Counts

3 → 50

simplify47.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

687×	`fma-neg_binary32`
332×	`fma-def_binary32`
258×	`sub-neg_binary32`
217×	`associate-/r*_binary32`
202×	`unswap-sqr_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	88	1012
1	257	956
2	839	844
3	3872	844

Stop Event

1×	node limit

Counts

94 → 84

prune124.0ms (1.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	123	2	125
Fresh	2	8	10
Picked	0	1	1
Done	0	0	0
Total	125	11	136

Error

0.0b

Counts

136 → 11

Alt Table

Status	Error	Program
	0.8b	(pow.f32 (cbrt.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 314159265359/50000000000 u2)))) 3)
	1.5b	(.f32 (pow.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) 1/3) (sin.f32 (sqrt.f32 (.f32 (*.f32 u2 u2) 98696044010906577398881/2500000000000000000000))))
	0.6b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (.f32 u2 (*.f32 u2 98696044010906577398881/2500000000000000000000))) 3))))
✓	0.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (sqrt.f32 (.f32 (*.f32 u2 u2) 98696044010906577398881/2500000000000000000000))))
	0.6b	(/.f32 (.f32 (sqrt.f32 u1) (sin.f32 (.f32 314159265359/50000000000 u2))) (sqrt.f32 (-.f32 1 u1)))
	13.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (log.f32 (exp.f32 (sin.f32 (.f32 314159265359/50000000000 u2)))))
	1.6b	(-.f32 (+.f32 (.f32 314159265359/50000000000 (.f32 u2 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (.f32 3060196847853821555298148281676017575122444629042460390799/37500000000000000000000000000000000000000000000000000000 (.f32 (pow.f32 u2 5) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))))) (+.f32 (.f32 302029322777818351566783844332719832329455959975176141755859165754785028165295919/3937500000000000000000000000000000000000000000000000000000000000000000000000000 (.f32 (pow.f32 u2 7) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (.f32 31006276680305942139213528068663279/750000000000000000000000000000000 (.f32 (pow.f32 u2 3) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))))))
	14.9b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (+.f32 (log.f32 (.f32 (cbrt.f32 (exp.f32 (sin.f32 (.f32 314159265359/50000000000 u2)))) (cbrt.f32 (exp.f32 (sin.f32 (.f32 314159265359/50000000000 u2)))))) (log.f32 (cbrt.f32 (exp.f32 (sin.f32 (*.f32 314159265359/50000000000 u2)))))))
	0.5b	(.f32 (.f32 (sqrt.f32 u1) (sqrt.f32 (/.f32 1 (-.f32 1 u1)))) (sin.f32 (*.f32 314159265359/50000000000 u2)))
▶	0.5b	(cbrt.f32 (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) (pow.f32 (sin.f32 (.f32 314159265359/50000000000 u2)) 3)))
	6.5b	(.f32 (-.f32 (exp.f32 (log1p.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) 1) (sin.f32 (.f32 314159265359/50000000000 u2)))

Compiler

Compiled 2877 to 2222 computations (22.8% saved)

localize40.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2)
	0.3b	(*.f32 314159265359/50000000000 u2)
✓	0.4b	(.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) (pow.f32 (sin.f32 (.f32 314159265359/50000000000 u2)) 3))
✓	0.7b	(pow.f32 (sin.f32 (*.f32 314159265359/50000000000 u2)) 3)

series66.0ms (1%)

Counts

3 → 36

Calls

12 calls:

17.0ms	(.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) (pow.f32 (sin.f32 (.f32 314159265359/50000000000 u2)) 3))	u2	inf
16.0ms	(.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) (pow.f32 (sin.f32 (.f32 314159265359/50000000000 u2)) 3))	u2	-inf
7.0ms	(.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) (pow.f32 (sin.f32 (.f32 314159265359/50000000000 u2)) 3))	u1	-inf
6.0ms	(.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) (pow.f32 (sin.f32 (.f32 314159265359/50000000000 u2)) 3))	u1	0
6.0ms	(.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) (pow.f32 (sin.f32 (.f32 314159265359/50000000000 u2)) 3))	u2	0

rewrite49.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

271×	`prod-diff_binary32`
240×	`expm1-udef_binary32`
239×	`log1p-udef_binary32`
139×	`add-sqr-sqrt_binary32`
134×	`log1p-expm1-u_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	40
1	297	40
2	3492	40

Stop Event

1×	node limit

Counts

3 → 54

simplify38.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

533×	`associate-/l*_binary32`
412×	`fma-def_binary32`
337×	`associate-/r*_binary32`
317×	`associate-r_binary32`
289×	`associate-l_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	115	1366
1	332	1280
2	1260	1072

Stop Event

1×	node limit

Counts

90 → 94

prune152.0ms (2.2%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	108	2	110
Fresh	3	6	9
Picked	0	1	1
Done	0	1	1
Total	111	10	121

Error

0.0b

Counts

121 → 10

Alt Table

Status	Error	Program
✓	0.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (sqrt.f32 (.f32 (*.f32 u2 u2) 98696044010906577398881/2500000000000000000000))))
▶	0.6b	(/.f32 (.f32 (sqrt.f32 u1) (sin.f32 (.f32 314159265359/50000000000 u2))) (sqrt.f32 (-.f32 1 u1)))
	2.9b	(cbrt.f32 (-.f32 (.f32 31006276680305942139213528068663279/125000000000000000000000000000000 (.f32 (pow.f32 u2 3) (sqrt.f32 (/.f32 (pow.f32 u1 3) (pow.f32 (-.f32 1 u1) 3))))) (.f32 3060196847853821555298148281676017575122444629042460390799/625000000000000000000000000000000000000000000000000000 (.f32 (pow.f32 u2 5) (sqrt.f32 (/.f32 (pow.f32 u1 3) (pow.f32 (-.f32 1 u1) 3)))))))
	1.6b	(-.f32 (+.f32 (.f32 314159265359/50000000000 (.f32 u2 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (.f32 3060196847853821555298148281676017575122444629042460390799/37500000000000000000000000000000000000000000000000000000 (.f32 (pow.f32 u2 5) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))))) (+.f32 (.f32 302029322777818351566783844332719832329455959975176141755859165754785028165295919/3937500000000000000000000000000000000000000000000000000000000000000000000000000 (.f32 (pow.f32 u2 7) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (.f32 31006276680305942139213528068663279/750000000000000000000000000000000 (.f32 (pow.f32 u2 3) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))))))
	2.2b	(cbrt.f32 (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) (fma.f32 31006276680305942139213528068663279/125000000000000000000000000000000 (pow.f32 u2 3) (fma.f32 3926381196111638570368189976325357820282927479677289842826169154812205366148846947/93750000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f32 u2 7) (.f32 (pow.f32 u2 5) -3060196847853821555298148281676017575122444629042460390799/625000000000000000000000000000000000000000000000000000)))))
✓	0.5b	(cbrt.f32 (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) (pow.f32 (sin.f32 (.f32 314159265359/50000000000 u2)) 3)))
	1.5b	(.f32 (pow.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) 1/3) (sin.f32 (sqrt.f32 (.f32 (*.f32 u2 u2) 98696044010906577398881/2500000000000000000000))))
	13.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (log.f32 (exp.f32 (sin.f32 (.f32 314159265359/50000000000 u2)))))
	14.9b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (+.f32 (log.f32 (.f32 (cbrt.f32 (exp.f32 (sin.f32 (.f32 314159265359/50000000000 u2)))) (cbrt.f32 (exp.f32 (sin.f32 (.f32 314159265359/50000000000 u2)))))) (log.f32 (cbrt.f32 (exp.f32 (sin.f32 (*.f32 314159265359/50000000000 u2)))))))
	6.5b	(.f32 (-.f32 (exp.f32 (log1p.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) 1) (sin.f32 (.f32 314159265359/50000000000 u2)))

Compiler

Compiled 2973 to 2458 computations (17.3% saved)

localize34.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(sqrt.f32 (-.f32 1 u1))
✓	0.2b	(/.f32 (.f32 (sqrt.f32 u1) (sin.f32 (.f32 314159265359/50000000000 u2))) (sqrt.f32 (-.f32 1 u1)))
	0.3b	(*.f32 314159265359/50000000000 u2)
✓	0.3b	(.f32 (sqrt.f32 u1) (sin.f32 (.f32 314159265359/50000000000 u2)))

series43.0ms (0.6%)

Counts

3 → 32

Calls

15 calls:

8.0ms	(/.f32 (.f32 (sqrt.f32 u1) (sin.f32 (.f32 314159265359/50000000000 u2))) (sqrt.f32 (-.f32 1 u1)))	u1	0
7.0ms	(/.f32 (.f32 (sqrt.f32 u1) (sin.f32 (.f32 314159265359/50000000000 u2))) (sqrt.f32 (-.f32 1 u1)))	u1	-inf
4.0ms	(/.f32 (.f32 (sqrt.f32 u1) (sin.f32 (.f32 314159265359/50000000000 u2))) (sqrt.f32 (-.f32 1 u1)))	u2	-inf
3.0ms	(/.f32 (.f32 (sqrt.f32 u1) (sin.f32 (.f32 314159265359/50000000000 u2))) (sqrt.f32 (-.f32 1 u1)))	u1	inf
3.0ms	(/.f32 (.f32 (sqrt.f32 u1) (sin.f32 (.f32 314159265359/50000000000 u2))) (sqrt.f32 (-.f32 1 u1)))	u2	inf

rewrite52.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

303×	`prod-diff_binary32`
212×	`expm1-udef_binary32`
211×	`log1p-udef_binary32`
192×	`log-pow_binary32`
136×	`fma-def_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	36
1	250	36
2	3144	36

Stop Event

1×	node limit

Counts

3 → 84

simplify51.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

982×	`fma-neg_binary32`
415×	`fma-def_binary32`
238×	`associate-r_binary32`
228×	`associate-l_binary32`
218×	`associate-/r*_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	96	808
1	291	750
2	1006	659
3	4595	659

Stop Event

1×	node limit

Counts

116 → 119

prune144.0ms (2.1%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	133	2	135
Fresh	1	6	7
Picked	0	1	1
Done	0	2	2
Total	134	11	145

Error

0.0b

Counts

145 → 11

Alt Table

Status	Error	Program
✓	0.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (sqrt.f32 (.f32 (*.f32 u2 u2) 98696044010906577398881/2500000000000000000000))))
✓	0.6b	(/.f32 (.f32 (sqrt.f32 u1) (sin.f32 (.f32 314159265359/50000000000 u2))) (sqrt.f32 (-.f32 1 u1)))
	2.9b	(cbrt.f32 (-.f32 (.f32 31006276680305942139213528068663279/125000000000000000000000000000000 (.f32 (pow.f32 u2 3) (sqrt.f32 (/.f32 (pow.f32 u1 3) (pow.f32 (-.f32 1 u1) 3))))) (.f32 3060196847853821555298148281676017575122444629042460390799/625000000000000000000000000000000000000000000000000000 (.f32 (pow.f32 u2 5) (sqrt.f32 (/.f32 (pow.f32 u1 3) (pow.f32 (-.f32 1 u1) 3)))))))
	1.6b	(-.f32 (+.f32 (.f32 314159265359/50000000000 (.f32 u2 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (.f32 3060196847853821555298148281676017575122444629042460390799/37500000000000000000000000000000000000000000000000000000 (.f32 (pow.f32 u2 5) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))))) (+.f32 (.f32 302029322777818351566783844332719832329455959975176141755859165754785028165295919/3937500000000000000000000000000000000000000000000000000000000000000000000000000 (.f32 (pow.f32 u2 7) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (.f32 31006276680305942139213528068663279/750000000000000000000000000000000 (.f32 (pow.f32 u2 3) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))))))
	2.2b	(cbrt.f32 (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) (fma.f32 31006276680305942139213528068663279/125000000000000000000000000000000 (pow.f32 u2 3) (fma.f32 3926381196111638570368189976325357820282927479677289842826169154812205366148846947/93750000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f32 u2 7) (.f32 (pow.f32 u2 5) -3060196847853821555298148281676017575122444629042460390799/625000000000000000000000000000000000000000000000000000)))))
✓	0.5b	(cbrt.f32 (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) (pow.f32 (sin.f32 (.f32 314159265359/50000000000 u2)) 3)))
	0.7b	(pow.f32 (/.f32 (sqrt.f32 (-.f32 1 u1)) (.f32 (sqrt.f32 u1) (sin.f32 (.f32 314159265359/50000000000 u2)))) -1)
	0.9b	(pow.f32 (cbrt.f32 (.f32 (/.f32 (sqrt.f32 u1) (sqrt.f32 (-.f32 1 u1))) (sin.f32 (.f32 314159265359/50000000000 u2)))) 3)
	13.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (log.f32 (exp.f32 (sin.f32 (.f32 314159265359/50000000000 u2)))))
	14.9b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (+.f32 (log.f32 (.f32 (cbrt.f32 (exp.f32 (sin.f32 (.f32 314159265359/50000000000 u2)))) (cbrt.f32 (exp.f32 (sin.f32 (.f32 314159265359/50000000000 u2)))))) (log.f32 (cbrt.f32 (exp.f32 (sin.f32 (*.f32 314159265359/50000000000 u2)))))))
	6.5b	(.f32 (-.f32 (exp.f32 (log1p.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) 1) (sin.f32 (.f32 314159265359/50000000000 u2)))

Compiler

Compiled 2760 to 2055 computations (25.5% saved)

regimes3.0s (44%)

Accuracy

Total 0.4b remaining (85.3%)

Threshold costs 0.4b (85.3%)

Counts

264 → 1

Compiler

Compiled 52813 to 43135 computations (18.3% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	28
1	23	28
2	27	28
3	29	28
4	30	28

Stop Event

1×

saturated

end182.0ms (2.7%)

Stop Event

1×

fuel

Compiler

Compiled 309 to 251 computations (18.8% saved)

Iter	Nodes	Cost
0	25	68
1	40	68
2	50	68
3	66	68
4	86	68
5	112	68
6	143	68
7	190	68
8	231	68
9	240	68
10	243	68
0	3	3

Iter	Nodes	Cost
0	25	68
1	40	68
2	50	68
3	66	68
4	86	68
5	112	68
6	143	68
7	190	68
8	231	68
9	240	68
10	243	68
0	3	3

Details

analyze419.0ms (6.1%)

sample2.0s (28.6%)

preprocess22.0ms (0.3%)

simplify9.0ms (0.1%)

prune2.0ms (0%)

localize28.0ms (0.4%)

series33.0ms (0.5%)

rewrite50.0ms (0.7%)

simplify35.0ms (0.5%)

prune129.0ms (1.9%)

localize38.0ms (0.6%)

series24.0ms (0.4%)

rewrite53.0ms (0.8%)

simplify47.0ms (0.7%)

prune124.0ms (1.8%)

localize40.0ms (0.6%)

series66.0ms (1%)

rewrite49.0ms (0.7%)

simplify38.0ms (0.6%)

prune152.0ms (2.2%)

localize34.0ms (0.5%)

series43.0ms (0.6%)

rewrite52.0ms (0.8%)

simplify51.0ms (0.7%)

prune144.0ms (2.1%)

regimes3.0s (44%)

simplify2.0ms (0%)

end182.0ms (2.7%)

Profiling

Iter	Nodes	Cost
0	25	68
1	40	68
2	50	68
3	66	68
4	86	68
5	112	68
6	143	68
7	190	68
8	231	68
9	240	68
10	243	68
0	3	3