Details

analyze119.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)

sample1.8s (19.1%)

Results

1.7s

8256×

body

128

valid

Compiler

Compiled 81 to 61 computations (24.7% saved)

simplify78.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

2871×	`fma-def_binary32`
361×	`distribute-rgt-in_binary32`
327×	`distribute-rgt-out_binary32`
316×	`associate-+r+_binary32`
188×	`fma-neg_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	23
1	21	19
2	35	19
3	62	19
4	129	19
5	218	19
6	337	19
7	517	19
8	846	19
9	966	19
10	1043	19
11	1072	19
12	1113	19
13	1241	19
14	1509	19
15	1854	19
16	2273	19
17	2373	19
18	2379	19
19	2731	19
20	3090	19
21	3310	19
22	3550	19
23	3550	19
24	3550	19
25	3550	19

Stop Event

1×	node limit

Counts

1 → 2

prune3.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.2b

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)

localize30.0ms (0.3%)

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	(exp.f32 (/.f32 -2 v))
✓	0.1b	(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)
✓	0.1b	(log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))

series186.0ms (2%)

Counts

4 → 80

Calls

4 calls:

129.0ms	(log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))
46.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))

rewrite52.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

481×	`log-prod_binary32`
205×	`prod-diff_binary32`
198×	`expm1-udef_binary32`
197×	`log1p-udef_binary32`
172×	`log-pow_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	53
1	226	53
2	2721	53

Stop Event

1×	node limit

Counts

4 → 106

Calls

4 calls:

50.0ms	(fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)
50.0ms	(exp.f32 (/.f32 -2 v))
50.0ms	(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)
50.0ms	(log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))

simplify65.0ms (0.7%)

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`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	263	3048
1	926	2982
2	3789	2942

Stop Event

1×	node limit

Counts

186 → 194

prune226.0ms (2.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	185	9	194
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	187	9	196

Error

0.1b

Counts

196 → 9

Alt Table

Status	Error	Program
	1.0b	(log.f32 (exp.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))
	28.2b	(fma.f32 v (-.f32 (exp.f32 (log1p.f32 (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))) 1) 1)
	30.4b	(fma.f32 v (+.f32 (/.f32 (pow.f32 u 3) (exp.f32 (/.f32 -2 v))) (+.f32 (fma.f32 1/3 (pow.f32 (/.f32 u (exp.f32 (/.f32 -2 v))) 3) (/.f32 u (/.f32 (exp.f32 (/.f32 -2 v)) u))) (-.f32 (/.f32 u (exp.f32 (/.f32 -2 v))) (fma.f32 1/2 (/.f32 (.f32 u u) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (fma.f32 (pow.f32 u 3) 1/3 (+.f32 (+.f32 u (/.f32 2 v)) (fma.f32 (.f32 u u) 1/2 (/.f32 (pow.f32 u 3) (pow.f32 (exp.f32 (/.f32 -2 v)) 2))))))))) 1)
▶	0.2b	(+.f32 1 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))))
	29.5b	(-.f32 (fma.f32 (/.f32 u (pow.f32 v 3)) 2/3 (fma.f32 2 (+.f32 u (/.f32 u v)) (fma.f32 (/.f32 u (.f32 v v)) 4/3 (fma.f32 (pow.f32 (/.f32 u v) 3) 8 (.f32 8/3 (/.f32 (pow.f32 u 3) (.f32 v v))))))) (+.f32 (fma.f32 2 (/.f32 u (/.f32 v u)) (fma.f32 (.f32 (/.f32 u v) (/.f32 u v)) 4 (*.f32 (/.f32 u (/.f32 (pow.f32 v 3) u)) 14/3))) (fma.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 3)) 1)))
	0.2b	(fma.f32 v (*.f32 2 (log.f32 (sqrt.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))) 1)
	1.9b	(exp.f32 (log1p.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))))
	0.2b	(fma.f32 v (+.f32 (log.f32 (cbrt.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 2))) (log.f32 (cbrt.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))) 1)
	30.4b	(+.f32 (fma.f32 1/3 (/.f32 v (pow.f32 (/.f32 (exp.f32 (/.f32 -2 v)) u) 3)) (.f32 (/.f32 v (exp.f32 (/.f32 -2 v))) u)) (-.f32 (+.f32 (/.f32 (.f32 v (.f32 u u)) (exp.f32 (/.f32 -2 v))) (.f32 (/.f32 v (exp.f32 (/.f32 -2 v))) (pow.f32 u 3))) (+.f32 (fma.f32 1/3 (.f32 v (pow.f32 u 3)) (fma.f32 v u (fma.f32 1/2 (.f32 (/.f32 v (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (.f32 u u)) (.f32 (/.f32 v (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (pow.f32 u 3))))) (fma.f32 1/2 (.f32 v (.f32 u u)) 1))))

Compiler

Compiled 5963 to 4338 computations (27.3% saved)

localize37.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(exp.f32 (/.f32 -2 v))
✓	0.1b	(+.f32 1 (*.f32 v (log.f32 (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.3b	(*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))

series207.0ms (2.2%)

Counts

2 → 48

Calls

2 calls:

159.0ms	(*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))
48.0ms	(+.f32 1 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))))

rewrite49.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

523×	`prod-diff_binary32`
222×	`expm1-udef_binary32`
221×	`log1p-udef_binary32`
154×	`fma-neg_binary32`
125×	`add-sqr-sqrt_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	39
1	254	37
2	3185	37

Stop Event

1×	node limit

Counts

2 → 54

Calls

2 calls:

48.0ms	(+.f32 1 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))))
48.0ms	(*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))

simplify48.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

460×	`cancel-sign-sub-inv_binary32`
315×	`sub-neg_binary32`
202×	`distribute-neg-in_binary32`
201×	`distribute-rgt-in_binary32`
174×	`fma-neg_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	182	2505
1	640	2422
2	2621	2227

Stop Event

1×	node limit

Counts

102 → 122

prune265.0ms (2.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	206	6	212
Fresh	5	3	8
Picked	1	0	1
Done	0	0	0
Total	212	9	221

Error

0.0b

Counts

221 → 9

Alt Table

Status	Error	Program
	0.2b	(+.f32 1 (.f32 v (-.f32 (log.f32 (+.f32 (pow.f32 (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))) 3) (pow.f32 u 3))) (log.f32 (fma.f32 (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))) (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))) (-.f32 (.f32 u u) (.f32 (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))) u)))))))
	0.2b	(+.f32 1 (log1p.f32 (-.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) v) 1)))
	0.2b	(fma.f32 v (*.f32 2 (log.f32 (sqrt.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))) 1)
	0.2b	(+.f32 1 (log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) v)))
	1.9b	(exp.f32 (log1p.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))))
	1.0b	(log.f32 (exp.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))
	30.4b	(-.f32 (-.f32 (+.f32 (.f32 (/.f32 v (exp.f32 (/.f32 -2 v))) (+.f32 (.f32 u u) u)) (.f32 (+.f32 (/.f32 1/3 (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) 1) (.f32 (/.f32 v (exp.f32 (/.f32 -2 v))) (pow.f32 u 3)))) (fma.f32 (.f32 u (.f32 v u)) 1/2 1)) (fma.f32 1/3 (.f32 v (pow.f32 u 3)) (fma.f32 v u (fma.f32 1/2 (/.f32 (.f32 u (*.f32 v u)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (/.f32 (pow.f32 u 3) (/.f32 (pow.f32 (exp.f32 (/.f32 -2 v)) 2) v))))))
	29.5b	(-.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)) (.f32 (/.f32 (pow.f32 u 3) (.f32 v v)) (+.f32 8/3 (/.f32 8 v)))))) (+.f32 (fma.f32 2 (/.f32 u (/.f32 v u)) (.f32 (*.f32 (/.f32 u v) (/.f32 u v)) (+.f32 4 (/.f32 14/3 v)))) (fma.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 3)) 1)))
▶	0.2b	(+.f32 1 (*.f32 v (+.f32 (log.f32 (cbrt.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))) (log.f32 (cbrt.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 2))))))

Compiler

Compiled 7092 to 5216 computations (26.5% saved)

localize54.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(log.f32 (cbrt.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 2)))
✓	0.2b	(+.f32 (log.f32 (cbrt.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))) (log.f32 (cbrt.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 2))))
✓	0.3b	(*.f32 v (+.f32 (log.f32 (cbrt.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))) (log.f32 (cbrt.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 2)))))
✓	0.4b	(log.f32 (cbrt.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))

series2.1s (22.2%)

Counts

4 → 96

Calls

4 calls:

816.0ms	(*.f32 v (+.f32 (log.f32 (cbrt.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))) (log.f32 (cbrt.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 2)))))
632.0ms	(+.f32 (log.f32 (cbrt.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))) (log.f32 (cbrt.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 2))))
359.0ms	(log.f32 (cbrt.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 2)))
278.0ms	(log.f32 (cbrt.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))

rewrite78.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

909×	`prod-diff_binary32`
166×	`add-sqr-sqrt_binary32`
161×	`log1p-expm1-u_binary32`
161×	`expm1-log1p-u_binary32`
160×	`add-cbrt-cube_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	114
1	356	70
2	4390	70

Stop Event

1×	node limit

Counts

4 → 101

Calls

4 calls:

76.0ms	(log.f32 (cbrt.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 2)))
76.0ms	(+.f32 (log.f32 (cbrt.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))) (log.f32 (cbrt.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 2))))
76.0ms	(*.f32 v (+.f32 (log.f32 (cbrt.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))) (log.f32 (cbrt.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 2)))))
76.0ms	(log.f32 (cbrt.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))

simplify97.0ms (1%)

Algorithm

1×	egg-herbie

Rules

665×	`times-frac_binary32`
412×	`associate-/l*_binary32`
268×	`+-commutative_binary32`
248×	`fma-def_binary32`
211×	`sub-neg_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	673	8826
1	2590	8677

Stop Event

1×	node limit

Counts

197 → 244

prune444.0ms (4.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	243	1	244
Fresh	3	5	8
Picked	0	1	1
Done	0	0	0
Total	246	7	253

Error

0.0b

Counts

253 → 7

Alt Table

Status	Error	Program
▶	0.2b	(+.f32 1 (*.f32 v (+.f32 (+.f32 (log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6)) (log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6))) (log.f32 (cbrt.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 2))))))
	30.4b	(-.f32 (-.f32 (+.f32 (.f32 (/.f32 v (exp.f32 (/.f32 -2 v))) (+.f32 (.f32 u u) u)) (.f32 (+.f32 (/.f32 1/3 (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) 1) (.f32 (/.f32 v (exp.f32 (/.f32 -2 v))) (pow.f32 u 3)))) (fma.f32 (.f32 u (.f32 v u)) 1/2 1)) (fma.f32 1/3 (.f32 v (pow.f32 u 3)) (fma.f32 v u (fma.f32 1/2 (/.f32 (.f32 u (*.f32 v u)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (/.f32 (pow.f32 u 3) (/.f32 (pow.f32 (exp.f32 (/.f32 -2 v)) 2) v))))))
	0.2b	(+.f32 1 (log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) v)))
	1.9b	(exp.f32 (log1p.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))))
	1.0b	(log.f32 (exp.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))
	29.5b	(-.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)) (.f32 (/.f32 (pow.f32 u 3) (.f32 v v)) (+.f32 8/3 (/.f32 8 v)))))) (+.f32 (fma.f32 2 (/.f32 u (/.f32 v u)) (.f32 (*.f32 (/.f32 u v) (/.f32 u v)) (+.f32 4 (/.f32 14/3 v)))) (fma.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 3)) 1)))
✓	0.2b	(+.f32 1 (*.f32 v (+.f32 (log.f32 (cbrt.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))) (log.f32 (cbrt.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 2))))))

Compiler

Compiled 15896 to 12381 computations (22.1% saved)

localize61.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(+.f32 (+.f32 (log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6)) (log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6))) (log.f32 (cbrt.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 2))))
✓	0.3b	(*.f32 v (+.f32 (+.f32 (log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6)) (log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6))) (log.f32 (cbrt.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 2)))))
✓	0.3b	(pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6)
✓	0.7b	(log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6))

series2.0s (21.1%)

Counts

4 → 96

Calls

4 calls:

925.0ms	(*.f32 v (+.f32 (+.f32 (log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6)) (log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6))) (log.f32 (cbrt.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 2)))))
663.0ms	(+.f32 (+.f32 (log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6)) (log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6))) (log.f32 (cbrt.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 2))))
275.0ms	(log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6))
126.0ms	(pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6)

rewrite43.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

194×	`add-sqr-sqrt_binary32`
190×	`log1p-expm1-u_binary32`
190×	`expm1-log1p-u_binary32`
187×	`add-cbrt-cube_binary32`
184×	`add-log-exp_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	123
1	414	43

Stop Event

1×	node limit

Counts

4 → 109

Calls

4 calls:

41.0ms	(+.f32 (+.f32 (log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6)) (log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6))) (log.f32 (cbrt.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 2))))
41.0ms	(*.f32 v (+.f32 (+.f32 (log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6)) (log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6))) (log.f32 (cbrt.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 2)))))
41.0ms	(pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6)
41.0ms	(log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6))

simplify98.0ms (1%)

Algorithm

1×	egg-herbie

Rules

885×	`fma-def_binary32`
727×	`times-frac_binary32`
232×	`+-commutative_binary32`
196×	`*-commutative_binary32`
188×	`sub-neg_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	668	8164
1	2502	8042

Stop Event

1×	node limit

Counts

205 → 248

prune587.0ms (6.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	351	0	351
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	351	7	358

Error

0.0b

Counts

358 → 7

Alt Table

Status	Error	Program
✓	0.2b	(+.f32 1 (*.f32 v (+.f32 (+.f32 (log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6)) (log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6))) (log.f32 (cbrt.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 2))))))
	30.4b	(-.f32 (-.f32 (+.f32 (.f32 (/.f32 v (exp.f32 (/.f32 -2 v))) (+.f32 (.f32 u u) u)) (.f32 (+.f32 (/.f32 1/3 (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) 1) (.f32 (/.f32 v (exp.f32 (/.f32 -2 v))) (pow.f32 u 3)))) (fma.f32 (.f32 u (.f32 v u)) 1/2 1)) (fma.f32 1/3 (.f32 v (pow.f32 u 3)) (fma.f32 v u (fma.f32 1/2 (/.f32 (.f32 u (*.f32 v u)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (/.f32 (pow.f32 u 3) (/.f32 (pow.f32 (exp.f32 (/.f32 -2 v)) 2) v))))))
	0.2b	(+.f32 1 (log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) v)))
	1.9b	(exp.f32 (log1p.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))))
	1.0b	(log.f32 (exp.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))
	29.5b	(-.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)) (.f32 (/.f32 (pow.f32 u 3) (.f32 v v)) (+.f32 8/3 (/.f32 8 v)))))) (+.f32 (fma.f32 2 (/.f32 u (/.f32 v u)) (.f32 (*.f32 (/.f32 u v) (/.f32 u v)) (+.f32 4 (/.f32 14/3 v)))) (fma.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 3)) 1)))
✓	0.2b	(+.f32 1 (*.f32 v (+.f32 (log.f32 (cbrt.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))) (log.f32 (cbrt.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 2))))))

Compiler

Compiled 22015 to 17609 computations (20% saved)

regimes518.0ms (5.5%)

Accuracy

Total 0.2b remaining (80.1%)

Threshold costs 0.2b (80.1%)

Counts

103 → 1

Compiler

Compiled 14444 to 10408 computations (27.9% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`+-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	20	66
1	27	66
2	31	66
3	33	66
4	34	66

Stop Event

1×

saturated

end189.0ms (2%)

Compiler: Compiled 365 to 266 computations (27.1% saved)

Details

analyze119.0ms (1.3%)

sample1.8s (19.1%)

simplify78.0ms (0.8%)

prune3.0ms (0%)

localize30.0ms (0.3%)

series186.0ms (2%)

rewrite52.0ms (0.6%)

simplify65.0ms (0.7%)

prune226.0ms (2.4%)

localize37.0ms (0.4%)

series207.0ms (2.2%)

rewrite49.0ms (0.5%)

simplify48.0ms (0.5%)

prune265.0ms (2.8%)

localize54.0ms (0.6%)

series2.1s (22.2%)

rewrite78.0ms (0.8%)

simplify97.0ms (1%)

prune444.0ms (4.7%)

localize61.0ms (0.7%)

series2.0s (21.1%)

rewrite43.0ms (0.5%)

simplify98.0ms (1%)

prune587.0ms (6.2%)

regimes518.0ms (5.5%)

simplify3.0ms (0%)

end189.0ms (2%)

Profiling