Details

analyze116.0ms (1.5%)

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.7s (22.3%)

Results

1.7s

8256×

body

128

valid

Compiler

Compiled 81 to 61 computations (24.7% saved)

simplify80.0ms (1%)

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

Compiler

Compiled 94 to 70 computations (25.5% saved)

localize31.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	(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))

series187.0ms (2.4%)

Counts

4 → 80

Calls

4 calls:

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

rewrite54.0ms (0.7%)

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:

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

simplify63.0ms (0.8%)

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

prune237.0ms (3%)

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

Compiler

Compiled 5963 to 4338 computations (27.3% saved)

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

series213.0ms (2.7%)

Counts

2 → 48

Calls

2 calls:

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

rewrite48.0ms (0.6%)

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:

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

simplify50.0ms (0.6%)

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

prune270.0ms (3.5%)

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	(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 (*.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))))))
	1.9b	(exp.f32 (log1p.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))))
	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)))))))
	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)))
	1.0b	(log.f32 (exp.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))
	0.2b	(+.f32 1 (log1p.f32 (-.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) v) 1)))
	0.2b	(+.f32 1 (log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) v)))
	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))))))

Compiler

Compiled 7092 to 5216 computations (26.5% saved)

localize54.0ms (0.7%)

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

series1.3s (16.4%)

Counts

4 → 64

Calls

4 calls:

512.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)))))
384.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))))
209.0ms	(log.f32 (cbrt.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 2)))
174.0ms	(log.f32 (cbrt.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))

rewrite75.0ms (1%)

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:

73.0ms	(log.f32 (cbrt.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 2)))
73.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))))
73.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)))))
73.0ms	(log.f32 (cbrt.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))

simplify74.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

855×	`fma-def_binary32`
416×	`associate-r_binary32`
259×	`associate-l_binary32`
183×	`associate--l+_binary32`
178×	`+-commutative_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	456	6637
1	1709	6363

Stop Event

1×	node limit

Counts

165 → 181

prune317.0ms (4.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	180	1	181
Fresh	3	5	8
Picked	0	1	1
Done	0	0	0
Total	183	7	190

Error

0.0b

Counts

190 → 7

Alt Table

Status	Error	Program
	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))))))
	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)))
▶	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))))))
	0.2b	(+.f32 1 (log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) v)))
	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))))))

Compiler

Compiled 11295 to 8773 computations (22.3% saved)

localize60.0ms (0.8%)

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

series1.6s (20.4%)

Counts

4 → 80

Calls

4 calls:

637.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)))))
523.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))))
292.0ms	(log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6))
133.0ms	(pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6)

rewrite42.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:

40.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))))
40.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)))))
40.0ms	(pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6)
40.0ms	(log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) 1/6))

simplify74.0ms (1%)

Algorithm

1×	egg-herbie

Rules

747×	`fma-def_binary32`
280×	`times-frac_binary32`
224×	`associate-/r*_binary32`
211×	`associate-l_binary32`
206×	`associate-/l*_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	526	6053
1	1907	5908

Stop Event

1×	node limit

Counts

189 → 216

prune452.0ms (5.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	319	0	319
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	319	7	326

Error

0.0b

Counts

326 → 7

Alt Table

Status	Error	Program
	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))))))
	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)))
✓	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))))))
	0.2b	(+.f32 1 (log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) v)))
	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))))))

Compiler

Compiled 18687 to 14974 computations (19.9% saved)

regimes459.0ms (5.9%)

Accuracy

Total 0.2b remaining (80.1%)

Threshold costs 0.2b (80.1%)

Counts

92 → 1

Compiler

Compiled 12540 to 9020 computations (28.1% 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

end186.0ms (2.4%)

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

Details

analyze116.0ms (1.5%)

sample1.7s (22.3%)

simplify80.0ms (1%)

prune3.0ms (0%)

localize31.0ms (0.4%)

series187.0ms (2.4%)

rewrite54.0ms (0.7%)

simplify63.0ms (0.8%)

prune237.0ms (3%)

localize34.0ms (0.4%)

series213.0ms (2.7%)

rewrite48.0ms (0.6%)

simplify50.0ms (0.6%)

prune270.0ms (3.5%)

localize54.0ms (0.7%)

series1.3s (16.4%)

rewrite75.0ms (1%)

simplify74.0ms (0.9%)

prune317.0ms (4.1%)

localize60.0ms (0.8%)

series1.6s (20.4%)

rewrite42.0ms (0.5%)

simplify74.0ms (1%)

prune452.0ms (5.8%)

regimes459.0ms (5.9%)

simplify3.0ms (0%)

end186.0ms (2.4%)

Profiling