Details

analyze118.0ms (2.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)

sample1.8s (32%)

Infinites

0% of outputs are infinite.

Results

1.6s

8256×

body

128

valid

Compiler

Compiled 81 to 61 computations (24.7% saved)

simplify155.0ms (2.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

prune4.0ms (0.1%)

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)

localize33.0ms (0.6%)

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.0b	(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.2b	(exp.f32 (/.f32 -2 v))

series277.0ms (5%)

Counts

4 → 80

Calls

4 calls:

195.0ms	(log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))
69.0ms	(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)
10.0ms	(fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)
2.0ms	(exp.f32 (/.f32 -2 v))

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`exp-prod_binary32`
12×	`*-un-lft-identity_binary32`
12×	`add-sqr-sqrt_binary32`
12×	`add-cube-cbrt_binary32`
9×	`times-frac_binary32`

Counts

4 → 57

Calls

4 calls:

2.0ms	(exp.f32 (/.f32 -2 v))
1.0ms	(log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))
1.0ms	(fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)
0.0ms	(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)

simplify94.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

631×	`cancel-sign-sub-inv_binary32`
440×	`sub-neg_binary32`
256×	`fma-def_binary32`
234×	`+-commutative_binary32`
225×	`fma-neg_binary32`

Counts

137 → 173

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	339	4060
1	1013	3883
2	3816	3673
3	5369	3673

prune220.0ms (4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	164	9	173
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	166	9	175

Error

0.0b

Counts

175 → 9

Alt Table

Status	Error	Program
	0.2b	(log1p.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))
	28.8b	(-.f32 (fma.f32 2 (/.f32 u v) (fma.f32 8/3 (/.f32 (pow.f32 u 3) (.f32 v v)) (fma.f32 2 u (.f32 4/3 (/.f32 u (.f32 v v)))))) (fma.f32 4 (.f32 (/.f32 u v) (/.f32 u v)) (fma.f32 2 (/.f32 (*.f32 u u) v) 1)))
	2.1b	(+.f32 (fma.f32 (/.f32 v (-.f32 1 (exp.f32 (/.f32 -2 v)))) (/.f32 (exp.f32 (/.f32 -2 v)) u) (fma.f32 v (log1p.f32 (neg.f32 (exp.f32 (/.f32 -2 v)))) (.f32 1/3 (.f32 (/.f32 v (pow.f32 (-.f32 1 (exp.f32 (/.f32 -2 v))) 3)) (pow.f32 (/.f32 (exp.f32 (/.f32 -2 v)) u) 3))))) (+.f32 1 (-.f32 (.f32 v (log.f32 u)) (.f32 1/2 (/.f32 (.f32 v (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (.f32 (*.f32 u u) (pow.f32 (-.f32 1 (exp.f32 (/.f32 -2 v))) 2)))))))
	0.2b	(+.f32 (.f32 v (log.f32 (-.f32 (+.f32 (exp.f32 (/.f32 -2 v)) u) (.f32 (exp.f32 (/.f32 -2 v)) u)))) 1)
	0.3b	(.f32 (.f32 (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1))) (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))
	30.2b	(-.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)))))))
▶	0.2b	(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)) 1)
	1.0b	(log.f32 (*.f32 (E.f32) (pow.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u) v)))
	1.0b	(log.f32 (exp.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))

Compiler

Compiled 5406 to 3890 computations (28% saved)

localize35.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

series305.0ms (5.5%)

Counts

4 → 84

Calls

4 calls:

179.0ms	(log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u))
69.0ms	(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)) 1)
54.0ms	(fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)
3.0ms	(pow.f32 (E.f32) (/.f32 -2 v))

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`pow-unpow_binary32`
13×	`*-un-lft-identity_binary32`
13×	`add-sqr-sqrt_binary32`
13×	`add-cube-cbrt_binary32`
9×	`times-frac_binary32`

Counts

4 → 64

Calls

4 calls:

2.0ms	(pow.f32 (E.f32) (/.f32 -2 v))
1.0ms	(log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u))
0.0ms	(fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)
0.0ms	(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)) 1)

simplify124.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

440×	`sub-neg_binary32`
360×	`fma-neg_binary32`
256×	`fma-def_binary32`
234×	`+-commutative_binary32`
220×	`times-frac_binary32`

Counts

148 → 186

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	353	4305
1	1079	4000
2	4007	3790
3	4932	3790
4	5011	3790

prune345.0ms (6.2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	184	2	186
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	187	8	195

Error

0.0b

Counts

195 → 8

Alt Table

Status	Error	Program
	0.3b	(.f32 (.f32 (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)) (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1))) (cbrt.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))
	30.2b	(-.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)))))))
	28.8b	(-.f32 (fma.f32 2 (/.f32 u v) (fma.f32 8/3 (/.f32 (pow.f32 u 3) (.f32 v v)) (fma.f32 2 u (.f32 4/3 (/.f32 u (.f32 v v)))))) (fma.f32 4 (.f32 (/.f32 u v) (/.f32 u v)) (fma.f32 2 (/.f32 (*.f32 u u) v) 1)))
▶	0.2b	(+.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u))) 1)
	0.2b	(log1p.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)) 1)))
	2.1b	(+.f32 (fma.f32 (/.f32 v (-.f32 1 (exp.f32 (/.f32 -2 v)))) (/.f32 (exp.f32 (/.f32 -2 v)) u) (fma.f32 v (log1p.f32 (neg.f32 (exp.f32 (/.f32 -2 v)))) (.f32 1/3 (.f32 (/.f32 v (pow.f32 (-.f32 1 (exp.f32 (/.f32 -2 v))) 3)) (pow.f32 (/.f32 (exp.f32 (/.f32 -2 v)) u) 3))))) (+.f32 1 (-.f32 (.f32 v (log.f32 u)) (.f32 1/2 (/.f32 (.f32 v (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (.f32 (*.f32 u u) (pow.f32 (-.f32 1 (exp.f32 (/.f32 -2 v))) 2)))))))
	1.0b	(log.f32 (*.f32 (E.f32) (pow.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u) v)))
	1.0b	(log.f32 (exp.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)))

Compiler

Compiled 5685 to 4011 computations (29.4% saved)

localize39.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

series320.0ms (5.8%)

Counts

2 → 48

Calls

2 calls:

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

rewrite11.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`log-prod_binary32`
10×	`add-sqr-sqrt_binary32`
8×	`*-un-lft-identity_binary32`
8×	`add-cube-cbrt_binary32`
6×	`associate-+l+_binary32`

Counts

2 → 47

Calls

2 calls:

5.0ms	(+.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u))) 1)
3.0ms	(*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)))

simplify121.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

519×	`cancel-sign-sub-inv_binary32`
504×	`fma-neg_binary32`
324×	`sub-neg_binary32`
241×	`neg-sub0_binary32`
238×	`neg-mul-1_binary32`

Counts

95 → 134

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	259	3815
1	782	3651
2	3076	3613
3	4398	3613
4	5023	3613

prune313.0ms (5.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	237	2	239
Fresh	3	4	7
Picked	0	1	1
Done	0	0	0
Total	240	7	247

Error

0.0b

Counts

247 → 7

Alt Table

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

Compiler

Compiled 7902 to 5563 computations (29.6% saved)

localize44.0ms (0.8%)

Local error

Found 4 expressions with local error:

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

series159.0ms (2.9%)

Counts

2 → 48

Calls

2 calls:

91.0ms	(expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)) 1))
68.0ms	(log1p.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)) 1)))

rewrite2.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`log1p-expm1-u_binary32`
2×	`*-un-lft-identity_binary32`
2×	`add-sqr-sqrt_binary32`
2×	`add-cube-cbrt_binary32`
2×	`add-cbrt-cube_binary32`

Counts

2 → 22

Calls

2 calls:

0.0ms	(expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)) 1))
0.0ms	(log1p.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)) 1)))

simplify90.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

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

Counts

70 → 104

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	412	5152
1	1417	4876
2	4986	4876

prune309.0ms (5.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	201	1	202
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	202	7	209

Error

0.0b

Counts

209 → 7

Alt Table

Status	Error	Program
	28.7b	(log1p.f32 (expm1.f32 (-.f32 (/.f32 (*.f32 v u) (exp.f32 (/.f32 -2 v))) (fma.f32 v u 1))))
	0.2b	(+.f32 (.f32 (log.f32 (.f32 (cbrt.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)) (cbrt.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)))) v) (+.f32 (*.f32 (log.f32 (cbrt.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u))) v) 1))
	0.3b	(/.f32 (+.f32 (pow.f32 (.f32 v (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u))) 3) (pow.f32 1 3)) (+.f32 (.f32 (.f32 v (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u))) (.f32 v (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)))) (-.f32 (.f32 1 1) (.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u))) 1))))
	30.2b	(-.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)))))))
✓	0.2b	(+.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u))) 1)
✓	0.2b	(log1p.f32 (expm1.f32 (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)) 1)))
	1.0b	(log.f32 (*.f32 (E.f32) (pow.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u) v)))

Compiler

Compiled 8913 to 6550 computations (26.5% saved)

regimes508.0ms (9.1%)

Accuracy

Total 0.1b remaining (65.6%)

Threshold costs 0.1b (65.6%)

Counts

99 → 1

Compiler

Compiled 10550 to 7758 computations (26.5% saved)

simplify3.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	13	23
1	20	23
2	24	23
3	26	23
4	27	23
5	26	23

end140.0ms (2.5%)

Compiler: Compiled 264 to 187 computations (29.2% saved)

Details

analyze118.0ms (2.1%)

sample1.8s (32%)

simplify155.0ms (2.8%)

prune4.0ms (0.1%)

localize33.0ms (0.6%)

series277.0ms (5%)

rewrite6.0ms (0.1%)

simplify94.0ms (1.7%)

prune220.0ms (4%)

localize35.0ms (0.6%)

series305.0ms (5.5%)

rewrite6.0ms (0.1%)

simplify124.0ms (2.2%)

prune345.0ms (6.2%)

localize39.0ms (0.7%)

series320.0ms (5.8%)

rewrite11.0ms (0.2%)

simplify121.0ms (2.2%)

prune313.0ms (5.6%)

localize44.0ms (0.8%)

series159.0ms (2.9%)

rewrite2.0ms (0%)

simplify90.0ms (1.6%)

prune309.0ms (5.5%)

regimes508.0ms (9.1%)

simplify3.0ms (0%)

end140.0ms (2.5%)

Profiling