Details

analyze256.0ms (1.1%)

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)

sample3.5s (15.3%)

Results

3.3s

8256×

body

128

valid

Compiler

Compiled 81 to 61 computations (24.7% saved)

simplify186.0ms (0.8%)

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

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

localize86.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series926.0ms (4%)

Counts

4 → 80

Calls

4 calls:

416.0ms	(.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))))))
383.0ms	(log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))
122.0ms	(+.f32 1 (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))
4.0ms	(exp.f32 (/.f32 -2 v))

rewrite36.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-sqr-sqrt_binary32`
19×	`*-un-lft-identity_binary32`
19×	`add-cube-cbrt_binary32`
15×	`log-prod_binary32`
13×	`exp-prod_binary32`

Counts

4 → 88

Calls

4 calls:

10.0ms	(.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))))))
9.0ms	(+.f32 1 (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))
4.0ms	(exp.f32 (/.f32 -2 v))
4.0ms	(log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))

simplify211.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

415×	`fma-neg_binary32`
305×	`fma-def_binary32`
276×	`+-commutative_binary32`
243×	`times-frac_binary32`
203×	`associate-+r+_binary32`

Counts

168 → 243

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	406	5800
1	1208	5365
2	4704	5361
3	5032	5361

prune535.0ms (2.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	236	7	243
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	238	7	245

Error

0.0b

Counts

245 → 7

Alt Table

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

Compiler

Compiled 8113 to 5938 computations (26.8% saved)

localize93.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series4.3s (18.7%)

Counts

3 → 48

Calls

3 calls:

1.7s

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

1.6s

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

996.0ms

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

rewrite45.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`associate-r_binary32`
25×	`log-pow_binary32`
23×	`pow1_binary32`
18×	`*-un-lft-identity_binary32`
14×	`add-sqr-sqrt_binary32`

Counts

3 → 84

Calls

3 calls:

20.0ms

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

6.0ms

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

2.0ms

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

simplify450.0ms (2%)

Algorithm

1×	egg-herbie

Rules

511×	`cancel-sign-sub-inv_binary32`
378×	`fma-neg_binary32`
330×	`sub-neg_binary32`
264×	`fma-def_binary32`
228×	`neg-mul-1_binary32`

Counts

132 → 156

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	299	4363
1	854	4228
2	3190	4075
3	4755	4060
4	5052	4060

prune731.0ms (3.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	261	2	263
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	263	7	270

Error

0.0b

Counts

270 → 7

Alt Table

Status	Error	Program
✓	0.2b	(+.f32 1 (*.f32 v (+.f32 (log.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u))) (log.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u))))))
	29.2b	(-.f32 (fma.f32 2/3 (/.f32 u (pow.f32 v 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))))))) (fma.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 3)) (+.f32 1 (fma.f32 2 (.f32 u (/.f32 u v)) (fma.f32 (.f32 (/.f32 u v) (/.f32 u v)) 4 (.f32 (/.f32 (*.f32 u u) (pow.f32 v 3)) 14/3))))))
	30.3b	(-.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 (.f32 1/2 (/.f32 (.f32 v (.f32 u u)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2))) (fma.f32 v u 1))))
	1.9b	(exp.f32 (log1p.f32 (*.f32 v (log.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u)))))
▶	0.2b	(+.f32 (fma.f32 v (log.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u))) 1) (*.f32 (log.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u))) v))
	1.0b	(log.f32 (*.f32 (pow.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u) v) (E.f32)))
	0.3b	(expm1.f32 (log1p.f32 (+.f32 1 (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))))

Compiler

Compiled 10644 to 7759 computations (27.1% saved)

localize106.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series5.4s (23.7%)

Counts

3 → 48

Calls

3 calls:

2.4s

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

1.6s

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

1.5s

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

rewrite19.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary32`
7×	`pow1_binary32`
6×	`associate-l_binary32`
6×	`*-un-lft-identity_binary32`
6×	`add-cube-cbrt_binary32`

Counts

3 → 50

Calls

3 calls:

7.0ms

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

5.0ms

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

1.0ms

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

simplify199.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

687×	`times-frac_binary32`
516×	`cancel-sign-sub-inv_binary32`
424×	`fma-neg_binary32`
304×	`sub-neg_binary32`
245×	`fma-def_binary32`

Counts

98 → 127

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	250	4011
1	774	3834
2	2846	3611
3	4961	3611
4	5123	3611

prune624.0ms (2.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	201	4	205
Fresh	3	2	5
Picked	1	0	1
Done	0	1	1
Total	205	7	212

Error

0.0b

Counts

212 → 7

Alt Table

Status	Error	Program
▶	0.2b	(+.f32 (fma.f32 v (log.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u))) 1) (*.f32 (+.f32 (log.f32 (sqrt.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u)))) (log.f32 (sqrt.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u))))) v))
	29.2b	(-.f32 (fma.f32 2/3 (/.f32 u (pow.f32 v 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))))))) (fma.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 3)) (+.f32 1 (fma.f32 2 (.f32 u (/.f32 u v)) (fma.f32 (.f32 (/.f32 u v) (/.f32 u v)) 4 (.f32 (/.f32 (*.f32 u u) (pow.f32 v 3)) 14/3))))))
✓	0.2b	(+.f32 1 (*.f32 v (+.f32 (log.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u))) (log.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u))))))
	1.1b	(log.f32 (.f32 (.f32 (pow.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u)) v) (E.f32)) (pow.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u)) v)))
	0.3b	(expm1.f32 (log1p.f32 (fma.f32 v (log.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u))) (fma.f32 v (log.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u))) 1))))
	0.3b	(+.f32 (fma.f32 v (log.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u))) 1) (.f32 (.f32 (log.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u))) (*.f32 (cbrt.f32 v) (cbrt.f32 v))) (cbrt.f32 v)))
	0.3b	(expm1.f32 (log1p.f32 (+.f32 1 (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))))

Compiler

Compiled 9596 to 6746 computations (29.7% saved)

localize139.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

series1.8s (8%)

Counts

2 → 48

Calls

2 calls:

1.0s

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

814.0ms

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

rewrite48.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

39×	`log-pow_binary32`
32×	`associate-l_binary32`
29×	`pow1_binary32`
28×	`sqrt-pow1_binary32`
17×	`*-un-lft-identity_binary32`

Counts

2 → 75

Calls

2 calls:

24.0ms

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

4.0ms

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

simplify202.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

404×	`fma-neg_binary32`
371×	`sub-neg_binary32`
278×	`fma-def_binary32`
243×	`times-frac_binary32`
202×	`associate-r_binary32`

Counts

123 → 161

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	361	4378
1	1084	4194
2	4367	4147
3	5197	4147

prune1.1s (5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	290	1	291
Fresh	1	4	5
Picked	1	0	1
Done	0	1	1
Total	292	6	298

Error

0.0b

Counts

298 → 6

Alt Table

Status	Error	Program
	0.3b	(expm1.f32 (log1p.f32 (+.f32 1 (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))))
	0.3b	(+.f32 (fma.f32 v (log.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u))) 1) (.f32 (.f32 (*.f32 2 (log.f32 (sqrt.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u))))) (sqrt.f32 v)) (sqrt.f32 v)))
✓	0.2b	(+.f32 1 (*.f32 v (+.f32 (log.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u))) (log.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u))))))
	29.2b	(-.f32 (fma.f32 2/3 (/.f32 u (pow.f32 v 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))))))) (fma.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 3)) (+.f32 1 (fma.f32 2 (.f32 u (/.f32 u v)) (fma.f32 (.f32 (/.f32 u v) (/.f32 u v)) 4 (.f32 (/.f32 (*.f32 u u) (pow.f32 v 3)) 14/3))))))
	1.1b	(log.f32 (.f32 (.f32 (pow.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u)) v) (E.f32)) (pow.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u)) v)))
	0.3b	(expm1.f32 (log1p.f32 (fma.f32 v (log.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u))) (fma.f32 v (log.f32 (sqrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u))) 1))))

Compiler

Compiled 16934 to 12513 computations (26.1% saved)

regimes1.5s (6.5%)

Accuracy

Total 0.1b remaining (70.3%)

Threshold costs 0.1b (70.3%)

Counts

139 → 1

Compiler

Compiled 19605 to 14389 computations (26.6% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	21
1	24	21
2	28	21
3	30	21
4	31	21
5	28	21

end313.0ms (1.4%)

Compiler: Compiled 254 to 179 computations (29.5% saved)

Details

analyze256.0ms (1.1%)

sample3.5s (15.3%)

simplify186.0ms (0.8%)

prune7.0ms (0%)

localize86.0ms (0.4%)

series926.0ms (4%)

rewrite36.0ms (0.2%)

simplify211.0ms (0.9%)

prune535.0ms (2.3%)

localize93.0ms (0.4%)

series4.3s (18.7%)

rewrite45.0ms (0.2%)

simplify450.0ms (2%)

prune731.0ms (3.2%)

localize106.0ms (0.5%)

series5.4s (23.7%)

rewrite19.0ms (0.1%)

simplify199.0ms (0.9%)

prune624.0ms (2.7%)

localize139.0ms (0.6%)

series1.8s (8%)

rewrite48.0ms (0.2%)

simplify202.0ms (0.9%)

prune1.1s (5%)

regimes1.5s (6.5%)

simplify5.0ms (0%)

end313.0ms (1.4%)

Profiling