Details

analyze121.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.9s (23.6%)

Results

1.8s

8256×

body

128

valid

Compiler

Compiled 81 to 61 computations (24.7% saved)

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

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

series251.0ms (3%)

Counts

4 → 80

Calls

4 calls:

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

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

simplify99.0ms (1.2%)

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

prune199.0ms (2.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	166	7	173
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	168	7	175

Error

0.0b

Counts

175 → 7

Alt Table

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

Compiler

Compiled 5358 to 3842 computations (28.3% saved)

localize35.0ms (0.4%)

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

series285.0ms (3.5%)

Counts

4 → 84

Calls

4 calls:

166.0ms	(log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u))
65.0ms	(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)) 1)
52.0ms	(fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)
3.0ms	(pow.f32 (E.f32) (/.f32 -2 v))

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

3.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 v (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)) 1)
0.0ms	(fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)

simplify126.0ms (1.5%)

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

prune226.0ms (2.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	183	3	186
Fresh	3	3	6
Picked	0	1	1
Done	0	0	0
Total	186	7	193

Error

0.0b

Counts

193 → 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)) (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.1b	(+.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u))) 1)
	1.5b	(-.f32 (+.f32 1 (+.f32 (/.f32 (.f32 v (exp.f32 (/.f32 -2 v))) (-.f32 u (.f32 (exp.f32 (/.f32 -2 v)) u))) (.f32 v (+.f32 (log1p.f32 (neg.f32 (exp.f32 (/.f32 -2 v)))) (log.f32 u))))) (.f32 1/2 (.f32 (/.f32 v (.f32 (*.f32 u u) (pow.f32 (-.f32 1 (exp.f32 (/.f32 -2 v))) 2))) (pow.f32 (E.f32) (/.f32 -4 v)))))
	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)))
	1.0b	(log.f32 (*.f32 (E.f32) (pow.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u) v)))
✓	0.1b	(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)) 1)
	30.3b	(-.f32 (fma.f32 1/3 (/.f32 v (pow.f32 (/.f32 (exp.f32 (/.f32 -2 v)) u) 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)))))) (+.f32 (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 (E.f32) (/.f32 -4 v))) (/.f32 (.f32 v (pow.f32 u 3)) (pow.f32 (E.f32) (/.f32 -4 v)))))) (fma.f32 (.f32 v (.f32 u u)) 1/2 1)))

Compiler

Compiled 5729 to 4029 computations (29.7% saved)

localize39.0ms (0.5%)

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

series288.0ms (3.5%)

Counts

2 → 48

Calls

2 calls:

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

rewrite10.0ms (0.1%)

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:

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

simplify114.0ms (1.4%)

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

prune322.0ms (3.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	236	3	239
Fresh	3	2	5
Picked	1	0	1
Done	0	1	1
Total	240	6	246

Error

0.0b

Counts

246 → 6

Alt Table

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

Compiler

Compiled 7911 to 5562 computations (29.7% saved)

localize60.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 (fma.f32 (.f32 v v) (.f32 (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)) (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u))) -1) (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.5b	(*.f32 (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)) (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)))

series841.0ms (10.2%)

Counts

2 → 48

Calls

2 calls:

642.0ms

(/.f32 (fma.f32 (*.f32 v v) (*.f32 (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)) (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u))) -1) (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)) -1))

197.0ms

(*.f32 (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)) (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)))

rewrite14.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`*-un-lft-identity_binary32`
18×	`add-sqr-sqrt_binary32`
16×	`add-cube-cbrt_binary32`
15×	`pow1_binary32`
9×	`times-frac_binary32`

Counts

2 → 67

Calls

2 calls:

4.0ms

(*.f32 (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)) (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)))

3.0ms

(/.f32 (fma.f32 (*.f32 v v) (*.f32 (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)) (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u))) -1) (fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (pow.f32 (E.f32) (/.f32 -2 v)) u)) -1))

simplify283.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

386×	`+-commutative_binary32`
341×	`*-commutative_binary32`
331×	`associate-+r+_binary32`
274×	`fma-def_binary32`
199×	`associate-/r*_binary32`

Counts

115 → 145

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1202	21339
1	4208	20198
2	4996	20198

prune1.3s (15.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	459	1	460
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	460	6	466

Error

Counts

466 → 6

Alt Table

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

Compiler

Compiled 44822 to 31963 computations (28.7% saved)

regimes1.3s (16.2%)

Accuracy

Total 0.1b remaining (72.8%)

Threshold costs 0.1b (72.8%)

Counts

232 → 1

Compiler

Compiled 36488 to 26100 computations (28.5% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary32`
2×	`sub-neg_binary32`
1×	`*-commutative_binary32`
1×	`neg-sub0_binary32`
1×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	21
1	17	21
2	21	21
3	23	21
4	24	21
5	23	21

end160.0ms (1.9%)

Compiler: Compiled 317 to 216 computations (31.9% saved)

Details

analyze121.0ms (1.5%)

sample1.9s (23.6%)

simplify157.0ms (1.9%)

prune4.0ms (0%)

localize37.0ms (0.4%)

series251.0ms (3%)

rewrite6.0ms (0.1%)

simplify99.0ms (1.2%)

prune199.0ms (2.4%)

localize35.0ms (0.4%)

series285.0ms (3.5%)

rewrite7.0ms (0.1%)

simplify126.0ms (1.5%)

prune226.0ms (2.8%)

localize39.0ms (0.5%)

series288.0ms (3.5%)

rewrite10.0ms (0.1%)

simplify114.0ms (1.4%)

prune322.0ms (3.9%)

localize60.0ms (0.7%)

series841.0ms (10.2%)

rewrite14.0ms (0.2%)

simplify283.0ms (3.4%)

prune1.3s (15.4%)

regimes1.3s (16.2%)

simplify2.0ms (0%)

end160.0ms (1.9%)

Profiling