Details

analyze126.0ms (2%)

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)

sample2.0s (30.4%)

Results

1.8s

8256×

body

128

valid

Compiler

Compiled 81 to 61 computations (24.7% saved)

simplify160.0ms (2.5%)

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.1b

Counts

3 → 2

Alt Table

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

localize44.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

series488.0ms (7.6%)

Counts

4 → 80

Calls

4 calls:

237.0ms	(.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))))))
176.0ms	(log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))
71.0ms	(+.f32 1 (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))
2.0ms	(exp.f32 (/.f32 -2 v))

rewrite19.0ms (0.3%)

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:

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

simplify130.0ms (2%)

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

prune266.0ms (4.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	238	5	243
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	239	6	245

Error

0.0b

Counts

245 → 6

Alt Table

Status	Error	Program
	1.6b	(exp.f32 (log.f32 (+.f32 1 (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))))
	0.1b	(+.f32 1 (.f32 (sqrt.f32 v) (.f32 (log.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u)) (sqrt.f32 v))))
	30.5b	(+.f32 1 (-.f32 (fma.f32 1/3 (/.f32 (.f32 v (pow.f32 u 3)) (pow.f32 (exp.f32 (/.f32 -2 v)) 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 2 (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 (/.f32 (pow.f32 u 3) (pow.f32 v 3))))))) (fma.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 3)) (+.f32 (fma.f32 4 (.f32 (/.f32 u v) (/.f32 u v)) (.f32 14/3 (/.f32 (.f32 u u) (pow.f32 v 3)))) (fma.f32 2 (/.f32 (*.f32 u u) v) 1))))
▶	0.1b	(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)
	30.5b	(-.f32 (fma.f32 1/3 (/.f32 (.f32 v (pow.f32 u 3)) (pow.f32 (exp.f32 (/.f32 -2 v)) 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 (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))))) 1)))

Compiler

Compiled 8257 to 6004 computations (27.3% saved)

localize33.0ms (0.5%)

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

series259.0ms (4%)

Counts

3 → 72

Calls

3 calls:

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

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`*-un-lft-identity_binary32`
4×	`add-sqr-sqrt_binary32`
4×	`add-cube-cbrt_binary32`
4×	`add-exp-log_binary32`
4×	`pow1_binary32`

Counts

3 → 34

Calls

3 calls:

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)

simplify89.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

615×	`cancel-sign-sub-inv_binary32`
428×	`sub-neg_binary32`
252×	`fma-def_binary32`
229×	`+-commutative_binary32`
219×	`times-frac_binary32`

Counts

106 → 141

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	295	3756
1	939	3579
2	3672	3369
3	5204	3369

prune184.0ms (2.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	173	2	175
Fresh	2	3	5
Picked	0	1	1
Done	0	0	0
Total	175	6	181

Error

0.0b

Counts

181 → 6

Alt Table

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

Compiler

Compiled 5431 to 3881 computations (28.5% saved)

localize46.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

series397.0ms (6.2%)

Counts

3 → 53

Calls

3 calls:

251.0ms

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

76.0ms

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

69.0ms

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

rewrite15.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary32`
11×	`pow1_binary32`
10×	`associate-l_binary32`
10×	`add-cbrt-cube_binary32`
10×	`add-exp-log_binary32`

Counts

3 → 64

Calls

3 calls:

5.0ms

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

4.0ms

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

2.0ms

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

simplify112.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

429×	`sub-neg_binary32`
385×	`fma-neg_binary32`
288×	`fma-def_binary32`
224×	`+-commutative_binary32`
216×	`times-frac_binary32`

Counts

117 → 180

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	335	4732
1	1069	4252
2	4123	4203
3	4987	4203

prune265.0ms (4.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	212	2	214
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	214	6	220

Error

0.0b

Counts

220 → 6

Alt Table

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

Compiler

Compiled 7738 to 5227 computations (32.5% saved)

localize56.0ms (0.9%)

Local error

Found 4 expressions with local error:

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

series566.0ms (8.8%)

Counts

4 → 60

Calls

4 calls:

252.0ms	(.f32 (sqrt.f32 v) (.f32 (*.f32 (log.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u)) (sqrt.f32 (sqrt.f32 v))) (sqrt.f32 (sqrt.f32 v))))
226.0ms	(*.f32 (log.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u)) (sqrt.f32 (sqrt.f32 v)))
67.0ms	(.f32 (.f32 (log.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u)) (sqrt.f32 (sqrt.f32 v))) (sqrt.f32 (sqrt.f32 v)))
20.0ms	(sqrt.f32 (sqrt.f32 v))

rewrite32.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

34×	`sqrt-prod_binary32`
23×	`add-sqr-sqrt_binary32`
23×	`pow1_binary32`
20×	`add-cbrt-cube_binary32`
20×	`add-exp-log_binary32`

Counts

4 → 102

Calls

4 calls:

12.0ms	(.f32 (sqrt.f32 v) (.f32 (*.f32 (log.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u)) (sqrt.f32 (sqrt.f32 v))) (sqrt.f32 (sqrt.f32 v))))
7.0ms	(.f32 (.f32 (log.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u)) (sqrt.f32 (sqrt.f32 v))) (sqrt.f32 (sqrt.f32 v)))
5.0ms	(*.f32 (log.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u)) (sqrt.f32 (sqrt.f32 v)))
1.0ms	(sqrt.f32 (sqrt.f32 v))

simplify105.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

445×	`fma-def_binary32`
393×	`associate-r_binary32`
380×	`associate-l_binary32`
244×	`times-frac_binary32`
184×	`associate-/r*_binary32`

Counts

162 → 210

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	443	5868
1	1417	5188
2	5002	5188

prune332.0ms (5.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	232	0	232
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	232	6	238

Error

0.0b

Counts

238 → 6

Alt Table

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

Compiler

Compiled 9198 to 5826 computations (36.7% saved)

regimes598.0ms (9.3%)

Accuracy

Total 0.1b remaining (72%)

Threshold costs 0.1b (72%)

Counts

112 → 1

Compiler

Compiled 15223 to 10839 computations (28.8% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary32`
4×	`*-commutative_binary32`
2×	`sub-neg_binary32`
1×	`*-lft-identity_binary32`
1×	`neg-sub0_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	23
1	23	23
2	27	23
3	29	23
4	30	23
5	29	23

end162.0ms (2.5%)

Compiler: Compiled 317 to 211 computations (33.4% saved)

Details

analyze126.0ms (2%)

sample2.0s (30.4%)

simplify160.0ms (2.5%)

prune4.0ms (0.1%)

localize44.0ms (0.7%)

series488.0ms (7.6%)

rewrite19.0ms (0.3%)

simplify130.0ms (2%)

prune266.0ms (4.1%)

localize33.0ms (0.5%)

series259.0ms (4%)

rewrite3.0ms (0%)

simplify89.0ms (1.4%)

prune184.0ms (2.9%)

localize46.0ms (0.7%)

series397.0ms (6.2%)

rewrite15.0ms (0.2%)

simplify112.0ms (1.7%)

prune265.0ms (4.1%)

localize56.0ms (0.9%)

series566.0ms (8.8%)

rewrite32.0ms (0.5%)

simplify105.0ms (1.6%)

prune332.0ms (5.1%)

regimes598.0ms (9.3%)

simplify2.0ms (0%)

end162.0ms (2.5%)

Profiling