Details

analyze122.0ms (1.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0.9%	99.1%	0
0%	0.9%	99.1%	1
0%	0.9%	99.1%	2
0.4%	0.4%	99.1%	3
0.4%	0.4%	99.1%	4
0.6%	0.2%	99.1%	5
0.6%	0.2%	99.1%	6
0.7%	0.1%	99.1%	7
0.7%	0.1%	99.1%	8
0.8%	0.1%	99.1%	9
0.8%	0.1%	99.1%	10
0.8%	0%	99.1%	11
0.8%	0%	99.1%	12
0.8%	0%	99.1%	13
0.8%	0%	99.1%	14

Compiler

Compiled 32 to 24 computations (25% saved)

sample2.2s (23.2%)

Results

2.0s

8256×

body

128

valid

Compiler

Compiled 81 to 61 computations (24.7% saved)

simplify181.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

2879×	`fma-def_binary32`
2626×	`associate-+l+_binary32`
362×	`distribute-rgt-in_binary32`
324×	`associate-+r+_binary32`
323×	`distribute-rgt-out_binary32`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	23
1	21	19
2	35	19
3	54	19
4	110	19
5	173	19
6	247	19
7	405	19
8	505	19
9	563	19
10	613	19
11	636	19
12	672	19
13	781	19
14	959	19
15	1218	19
16	1550	19
17	1556	19
18	1548	19
19	1896	19
20	2113	19
21	2208	19
22	2307	19
23	2275	19
24	2275	19
25	2275	19
26	4265	19
27	4265	19
28	4265	19
29	4265	19
30	5619	19

prune4.0ms (0%)

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.1b

Counts

3 → 2

Alt Table

Status	Error	Program
	0.2b	(+.f32 1 (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))
▶	0.2b	(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)

Compiler

Compiled 94 to 70 computations (25.5% saved)

localize34.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)
✓	0.1b	(log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))
✓	0.1b	(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)
✓	0.1b	(exp.f32 (/.f32 -2 v))

series268.0ms (2.8%)

Counts

4 → 80

Calls

4 calls:

182.0ms	(log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))
74.0ms	(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)
9.0ms	(fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)
2.0ms	(exp.f32 (/.f32 -2 v))

rewrite303.0ms (3.2%)

Algorithm

4×	egg-rewrite

Rules

60×	`egg`
36×	`egg`
27×	`egg`
23×	`egg`

Counts

4 → 146

Calls

4 calls:

86.0ms	(exp.f32 (/.f32 -2 v))
84.0ms	(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)
80.0ms	(log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))
49.0ms	(fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	6
1	103	6
2	1171	6
3	4853	6
4	6220	6
0	11	19
1	224	19
2	2618	19
3	4872	19
4	4988	19
0	10	15
1	203	15
2	2355	15
3	4944	15
4	5051	15
0	9	13
1	187	13
2	2184	13
3	5528	13

simplify96.0ms (1%)

Algorithm

1×	egg-herbie

Rules

629×	`cancel-sign-sub-inv_binary32`
438×	`sub-neg_binary32`
254×	`fma-def_binary32`
231×	`+-commutative_binary32`
225×	`fma-neg_binary32`

Counts

226 → 232

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	263	3048
1	912	2982
2	3630	2942
3	5157	2942

prune316.0ms (3.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	225	7	232
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	227	7	234

Error

0.0b

Counts

234 → 7

Alt Table

Status	Error	Program
	29.9b	(fma.f32 v (-.f32 (+.f32 (/.f32 (pow.f32 u 3) (exp.f32 (/.f32 -2 v))) (+.f32 (.f32 1/3 (/.f32 (pow.f32 u 3) (pow.f32 (exp.f32 (/.f32 -2 v)) 3))) (+.f32 (/.f32 (pow.f32 u 2) (exp.f32 (/.f32 -2 v))) (/.f32 u (exp.f32 (/.f32 -2 v)))))) (+.f32 (.f32 1/2 (/.f32 (pow.f32 u 2) (pow.f32 (exp.f32 (/.f32 -2 v)) 2))) (+.f32 (.f32 1/3 (pow.f32 u 3)) (+.f32 (.f32 1/2 (pow.f32 u 2)) (+.f32 (/.f32 (pow.f32 u 3) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (+.f32 u (*.f32 2 (/.f32 1 v)))))))) 1)
	28.8b	(-.f32 (fma.f32 2/3 (/.f32 u (pow.f32 v 3)) (fma.f32 2 (+.f32 u (/.f32 u v)) (fma.f32 4/3 (/.f32 u (.f32 v v)) (fma.f32 8/3 (/.f32 (pow.f32 u 3) (.f32 v v)) (.f32 8 (pow.f32 (/.f32 u v) 3)))))) (fma.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 3)) (+.f32 1 (fma.f32 2 (/.f32 (.f32 u u) v) (fma.f32 4 (.f32 (/.f32 u v) (/.f32 u v)) (.f32 14/3 (/.f32 (*.f32 u u) (pow.f32 v 3))))))))
	0.3b	(*.f32 (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) (pow.f32 (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) 2))
▶	0.2b	(log1p.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))
	29.9b	(-.f32 (+.f32 (.f32 1/3 (/.f32 (.f32 v (pow.f32 u 3)) (pow.f32 (exp.f32 (/.f32 -2 v)) 3))) (+.f32 (/.f32 (.f32 v u) (exp.f32 (/.f32 -2 v))) (+.f32 (/.f32 (.f32 v (pow.f32 u 2)) (exp.f32 (/.f32 -2 v))) (/.f32 (.f32 v (pow.f32 u 3)) (exp.f32 (/.f32 -2 v)))))) (+.f32 (.f32 1/2 (.f32 v (pow.f32 u 2))) (+.f32 1 (+.f32 (.f32 1/3 (.f32 v (pow.f32 u 3))) (+.f32 (.f32 v u) (+.f32 (/.f32 (.f32 v (pow.f32 u 3)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (.f32 1/2 (/.f32 (*.f32 v (pow.f32 u 2)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)))))))))
	29.9b	(-.f32 (+.f32 (/.f32 (.f32 v u) (exp.f32 (/.f32 -2 v))) (/.f32 (.f32 v (.f32 u u)) (exp.f32 (/.f32 -2 v)))) (fma.f32 (.f32 v (.f32 u u)) 1/2 (+.f32 1 (fma.f32 v u (.f32 1/2 (/.f32 (.f32 v (.f32 u u)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)))))))
	2.8b	(exp.f32 (log1p.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))))

Compiler

Compiled 6830 to 4995 computations (26.9% saved)

localize45.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)
✓	0.1b	(log1p.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))
	0.1b	(exp.f32 (/.f32 -2 v))
✓	0.8b	(expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1))

series172.0ms (1.8%)

Counts

2 → 48

Calls

2 calls:

103.0ms	(expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1))
68.0ms	(log1p.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))

rewrite139.0ms (1.5%)

Algorithm

2×	egg-rewrite

Rules

38×	`egg`
27×	`egg`

Counts

2 → 65

Calls

2 calls:

79.0ms	(expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1))
58.0ms	(log1p.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	21
1	241	21
2	2799	21
3	5095	21
0	13	19
1	243	19
2	2808	19
3	5138	19

simplify292.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

565×	`times-frac_binary32`
364×	`associate-/l*_binary32`
360×	`fma-def_binary32`
334×	`associate-/r*_binary32`
289×	`associate-r_binary32`

Counts

113 → 138

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	386	4531
1	1381	4345
2	4945	4334
3	4994	4334

prune471.0ms (5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	269	5	274
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	272	9	281

Error

Counts

281 → 9

Alt Table

Status	Error	Program
	29.9b	(fma.f32 v (-.f32 (+.f32 (/.f32 (pow.f32 u 3) (exp.f32 (/.f32 -2 v))) (+.f32 (.f32 1/3 (/.f32 (pow.f32 u 3) (pow.f32 (exp.f32 (/.f32 -2 v)) 3))) (+.f32 (/.f32 (pow.f32 u 2) (exp.f32 (/.f32 -2 v))) (/.f32 u (exp.f32 (/.f32 -2 v)))))) (+.f32 (.f32 1/2 (/.f32 (pow.f32 u 2) (pow.f32 (exp.f32 (/.f32 -2 v)) 2))) (+.f32 (.f32 1/3 (pow.f32 u 3)) (+.f32 (.f32 1/2 (pow.f32 u 2)) (+.f32 (/.f32 (pow.f32 u 3) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (+.f32 u (*.f32 2 (/.f32 1 v)))))))) 1)
	28.8b	(-.f32 (fma.f32 2/3 (/.f32 u (pow.f32 v 3)) (fma.f32 2 (+.f32 u (/.f32 u v)) (fma.f32 4/3 (/.f32 u (.f32 v v)) (fma.f32 8/3 (/.f32 (pow.f32 u 3) (.f32 v v)) (.f32 8 (pow.f32 (/.f32 u v) 3)))))) (fma.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 3)) (+.f32 1 (fma.f32 2 (/.f32 (.f32 u u) v) (fma.f32 4 (.f32 (/.f32 u v) (/.f32 u v)) (.f32 14/3 (/.f32 (*.f32 u u) (pow.f32 v 3))))))))
	0.3b	(log1p.f32 (fma.f32 (exp.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))) (E.f32) -1))
	0.3b	(log1p.f32 (+.f32 (log.f32 (sqrt.f32 (exp.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1))))) (log.f32 (sqrt.f32 (exp.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))))))
	0.3b	(*.f32 (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) (pow.f32 (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) 2))
	0.3b	(log1p.f32 (+.f32 (log.f32 (*.f32 (cbrt.f32 (exp.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))) (cbrt.f32 (exp.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))))) (log.f32 (cbrt.f32 (exp.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))))))
▶	0.2b	(+.f32 0 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1))
	29.9b	(-.f32 (+.f32 (/.f32 (.f32 v u) (exp.f32 (/.f32 -2 v))) (/.f32 (.f32 v (.f32 u u)) (exp.f32 (/.f32 -2 v)))) (fma.f32 (.f32 v (.f32 u u)) 1/2 (+.f32 1 (fma.f32 v u (.f32 1/2 (/.f32 (.f32 v (.f32 u u)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)))))))
	29.9b	(-.f32 (fma.f32 1/3 (/.f32 (.f32 v (pow.f32 u 3)) (pow.f32 (exp.f32 (/.f32 -2 v)) 3)) (+.f32 (/.f32 (.f32 v u) (exp.f32 (/.f32 -2 v))) (+.f32 (/.f32 (.f32 v (.f32 u u)) (exp.f32 (/.f32 -2 v))) (/.f32 (.f32 v (pow.f32 u 3)) (exp.f32 (/.f32 -2 v)))))) (fma.f32 1/2 (.f32 v (.f32 u u)) (+.f32 1 (fma.f32 1/3 (.f32 v (pow.f32 u 3)) (fma.f32 v u (fma.f32 1/2 (/.f32 (.f32 v (.f32 u u)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (/.f32 (*.f32 v (pow.f32 u 3)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2))))))))

Compiler

Compiled 11382 to 8485 computations (25.5% saved)

localize42.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)
	0.1b	(log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))
	0.1b	(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)
	0.1b	(exp.f32 (/.f32 -2 v))

prune361.0ms (3.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	232	0	232
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	232	9	241

Error

Counts

241 → 9

Alt Table

Status	Error	Program
	29.9b	(fma.f32 v (-.f32 (+.f32 (/.f32 (pow.f32 u 3) (exp.f32 (/.f32 -2 v))) (+.f32 (.f32 1/3 (/.f32 (pow.f32 u 3) (pow.f32 (exp.f32 (/.f32 -2 v)) 3))) (+.f32 (/.f32 (pow.f32 u 2) (exp.f32 (/.f32 -2 v))) (/.f32 u (exp.f32 (/.f32 -2 v)))))) (+.f32 (.f32 1/2 (/.f32 (pow.f32 u 2) (pow.f32 (exp.f32 (/.f32 -2 v)) 2))) (+.f32 (.f32 1/3 (pow.f32 u 3)) (+.f32 (.f32 1/2 (pow.f32 u 2)) (+.f32 (/.f32 (pow.f32 u 3) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (+.f32 u (*.f32 2 (/.f32 1 v)))))))) 1)
	28.8b	(-.f32 (fma.f32 2/3 (/.f32 u (pow.f32 v 3)) (fma.f32 2 (+.f32 u (/.f32 u v)) (fma.f32 4/3 (/.f32 u (.f32 v v)) (fma.f32 8/3 (/.f32 (pow.f32 u 3) (.f32 v v)) (.f32 8 (pow.f32 (/.f32 u v) 3)))))) (fma.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 3)) (+.f32 1 (fma.f32 2 (/.f32 (.f32 u u) v) (fma.f32 4 (.f32 (/.f32 u v) (/.f32 u v)) (.f32 14/3 (/.f32 (*.f32 u u) (pow.f32 v 3))))))))
	0.3b	(log1p.f32 (fma.f32 (exp.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))) (E.f32) -1))
▶	0.3b	(log1p.f32 (+.f32 (log.f32 (sqrt.f32 (exp.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1))))) (log.f32 (sqrt.f32 (exp.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))))))
	0.3b	(*.f32 (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) (pow.f32 (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) 2))
	0.3b	(log1p.f32 (+.f32 (log.f32 (*.f32 (cbrt.f32 (exp.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))) (cbrt.f32 (exp.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))))) (log.f32 (cbrt.f32 (exp.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))))))
✓	0.2b	(+.f32 0 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1))
	29.9b	(-.f32 (+.f32 (/.f32 (.f32 v u) (exp.f32 (/.f32 -2 v))) (/.f32 (.f32 v (.f32 u u)) (exp.f32 (/.f32 -2 v)))) (fma.f32 (.f32 v (.f32 u u)) 1/2 (+.f32 1 (fma.f32 v u (.f32 1/2 (/.f32 (.f32 v (.f32 u u)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)))))))
	29.9b	(-.f32 (fma.f32 1/3 (/.f32 (.f32 v (pow.f32 u 3)) (pow.f32 (exp.f32 (/.f32 -2 v)) 3)) (+.f32 (/.f32 (.f32 v u) (exp.f32 (/.f32 -2 v))) (+.f32 (/.f32 (.f32 v (.f32 u u)) (exp.f32 (/.f32 -2 v))) (/.f32 (.f32 v (pow.f32 u 3)) (exp.f32 (/.f32 -2 v)))))) (fma.f32 1/2 (.f32 v (.f32 u u)) (+.f32 1 (fma.f32 1/3 (.f32 v (pow.f32 u 3)) (fma.f32 v u (fma.f32 1/2 (/.f32 (.f32 v (.f32 u u)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (/.f32 (*.f32 v (pow.f32 u 3)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2))))))))

Compiler

Compiled 7459 to 5576 computations (25.2% saved)

localize61.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(log1p.f32 (+.f32 (log.f32 (sqrt.f32 (exp.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1))))) (log.f32 (sqrt.f32 (exp.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))))))
	0.1b	(exp.f32 (/.f32 -2 v))
✓	0.2b	(log.f32 (sqrt.f32 (exp.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))))
	0.8b	(expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1))

series1.1s (11.6%)

Counts

2 → 48

Calls

2 calls:

735.0ms

(log1p.f32 (+.f32 (log.f32 (sqrt.f32 (exp.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1))))) (log.f32 (sqrt.f32 (exp.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))))))

353.0ms

(log.f32 (sqrt.f32 (exp.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))))

rewrite157.0ms (1.7%)

Algorithm

2×	egg-rewrite

Rules

25×	`egg`
24×	`egg`

Counts

2 → 49

Calls

2 calls:

93.0ms

(log.f32 (sqrt.f32 (exp.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))))

63.0ms

(log1p.f32 (+.f32 (log.f32 (sqrt.f32 (exp.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1))))) (log.f32 (sqrt.f32 (exp.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))))))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	27
1	292	24
2	3330	24
3	4934	24
4	4965	24
0	17	19
1	307	6
2	3406	6
3	4998	6

simplify322.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

814×	`fma-def_binary32`
341×	`*-commutative_binary32`
227×	`+-commutative_binary32`
172×	`associate-+r+_binary32`
149×	`associate-/l*_binary32`

Counts

97 → 132

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	867	14917
1	3229	13522
2	4949	13522
3	4975	13522

prune1.3s (13.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	464	0	464
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	464	9	473

Error

Counts

473 → 9

Alt Table

Status	Error	Program
	29.9b	(fma.f32 v (-.f32 (+.f32 (/.f32 (pow.f32 u 3) (exp.f32 (/.f32 -2 v))) (+.f32 (.f32 1/3 (/.f32 (pow.f32 u 3) (pow.f32 (exp.f32 (/.f32 -2 v)) 3))) (+.f32 (/.f32 (pow.f32 u 2) (exp.f32 (/.f32 -2 v))) (/.f32 u (exp.f32 (/.f32 -2 v)))))) (+.f32 (.f32 1/2 (/.f32 (pow.f32 u 2) (pow.f32 (exp.f32 (/.f32 -2 v)) 2))) (+.f32 (.f32 1/3 (pow.f32 u 3)) (+.f32 (.f32 1/2 (pow.f32 u 2)) (+.f32 (/.f32 (pow.f32 u 3) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (+.f32 u (*.f32 2 (/.f32 1 v)))))))) 1)
	28.8b	(-.f32 (fma.f32 2/3 (/.f32 u (pow.f32 v 3)) (fma.f32 2 (+.f32 u (/.f32 u v)) (fma.f32 4/3 (/.f32 u (.f32 v v)) (fma.f32 8/3 (/.f32 (pow.f32 u 3) (.f32 v v)) (.f32 8 (pow.f32 (/.f32 u v) 3)))))) (fma.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 3)) (+.f32 1 (fma.f32 2 (/.f32 (.f32 u u) v) (fma.f32 4 (.f32 (/.f32 u v) (/.f32 u v)) (.f32 14/3 (/.f32 (*.f32 u u) (pow.f32 v 3))))))))
	0.3b	(log1p.f32 (fma.f32 (exp.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))) (E.f32) -1))
✓	0.3b	(log1p.f32 (+.f32 (log.f32 (sqrt.f32 (exp.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1))))) (log.f32 (sqrt.f32 (exp.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))))))
	0.3b	(*.f32 (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) (pow.f32 (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) 2))
	0.3b	(log1p.f32 (+.f32 (log.f32 (*.f32 (cbrt.f32 (exp.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))) (cbrt.f32 (exp.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))))) (log.f32 (cbrt.f32 (exp.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))))))
✓	0.2b	(+.f32 0 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1))
	29.9b	(-.f32 (+.f32 (/.f32 (.f32 v u) (exp.f32 (/.f32 -2 v))) (/.f32 (.f32 v (.f32 u u)) (exp.f32 (/.f32 -2 v)))) (fma.f32 (.f32 v (.f32 u u)) 1/2 (+.f32 1 (fma.f32 v u (.f32 1/2 (/.f32 (.f32 v (.f32 u u)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)))))))
	29.9b	(-.f32 (fma.f32 1/3 (/.f32 (.f32 v (pow.f32 u 3)) (pow.f32 (exp.f32 (/.f32 -2 v)) 3)) (+.f32 (/.f32 (.f32 v u) (exp.f32 (/.f32 -2 v))) (+.f32 (/.f32 (.f32 v (.f32 u u)) (exp.f32 (/.f32 -2 v))) (/.f32 (.f32 v (pow.f32 u 3)) (exp.f32 (/.f32 -2 v)))))) (fma.f32 1/2 (.f32 v (.f32 u u)) (+.f32 1 (fma.f32 1/3 (.f32 v (pow.f32 u 3)) (fma.f32 v u (fma.f32 1/2 (/.f32 (.f32 v (.f32 u u)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (/.f32 (*.f32 v (pow.f32 u 3)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2))))))))

Compiler

Compiled 45111 to 36044 computations (20.1% saved)

regimes1.2s (12.7%)

Accuracy

Total 0.1b remaining (79.2%)

Threshold costs 0.1b (79.2%)

Counts

241 → 1

Compiler

Compiled 25964 to 19724 computations (24% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary32`
3×	`*-commutative_binary32`
2×	`sub-neg_binary32`
1×	`+-lft-identity_binary32`
1×	`neg-sub0_binary32`

Iterations

Useful iterations: 0 (0.0ms)

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

end262.0ms (2.8%)

Compiler: Compiled 502 to 360 computations (28.3% saved)

Details

analyze122.0ms (1.3%)

sample2.2s (23.2%)

simplify181.0ms (1.9%)

prune4.0ms (0%)

localize34.0ms (0.4%)

series268.0ms (2.8%)

rewrite303.0ms (3.2%)

simplify96.0ms (1%)

prune316.0ms (3.3%)

localize45.0ms (0.5%)

series172.0ms (1.8%)

rewrite139.0ms (1.5%)

simplify292.0ms (3.1%)

prune471.0ms (5%)

localize42.0ms (0.4%)

prune361.0ms (3.8%)

localize61.0ms (0.6%)

series1.1s (11.6%)

rewrite157.0ms (1.7%)

simplify322.0ms (3.4%)

prune1.3s (13.8%)

regimes1.2s (12.7%)

simplify3.0ms (0%)

end262.0ms (2.8%)

Profiling