Details

analyze144.0ms (1.7%)

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 (22.1%)

Results

1.7s

8256×

body

128

valid

Compiler

Compiled 81 to 61 computations (24.7% saved)

simplify156.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.2b	(+.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)

localize55.0ms (0.7%)

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

series341.0ms (4.1%)

Counts

4 → 80

Calls

4 calls:

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

simplify105.0ms (1.3%)

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

prune193.0ms (2.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	168	5	173
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	170	5	175

Error

0.0b

Counts

175 → 5

Alt Table

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

Compiler

Compiled 5156 to 3698 computations (28.3% saved)

localize35.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series270.0ms (3.2%)

Counts

3 → 72

Calls

3 calls:

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

rewrite26.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 51

Calls

3 calls:

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

simplify126.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

459×	`sub-neg_binary32`
350×	`fma-neg_binary32`
274×	`fma-def_binary32`
242×	`+-commutative_binary32`
219×	`times-frac_binary32`

Counts

123 → 164

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	343	4035
1	1051	3871
2	4006	3690
3	4995	3690
4	5060	3690

prune192.0ms (2.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	197	0	197
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	197	5	202

Error

0.0b

Counts

202 → 5

Alt Table

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

Compiler

Compiled 5847 to 4222 computations (27.8% saved)

localize38.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series488.0ms (5.9%)

Counts

3 → 65

Calls

3 calls:

245.0ms

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

177.0ms

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

66.0ms

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

rewrite31.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`log-prod_binary32`
12×	`add-sqr-sqrt_binary32`
10×	`*-un-lft-identity_binary32`
10×	`add-cube-cbrt_binary32`
7×	`pow1_binary32`

Counts

3 → 63

Calls

3 calls:

10.0ms

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

9.0ms

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

8.0ms

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

simplify123.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

357×	`fma-neg_binary32`
296×	`fma-def_binary32`
268×	`+-commutative_binary32`
242×	`times-frac_binary32`
209×	`associate-+r+_binary32`

Counts

128 → 184

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	354	5741
1	1119	5471
2	4528	5420
3	5006	5420

prune269.0ms (3.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	247	3	250
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	248	7	255

Error

0.0b

Counts

255 → 7

Alt Table

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

Compiler

Compiled 8957 to 6485 computations (27.6% saved)

localize59.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

series1.9s (22.9%)

Counts

4 → 96

Calls

4 calls:

680.0ms	(.f32 (log.f32 (.f32 (cbrt.f32 (-.f32 (+.f32 (exp.f32 (/.f32 -2 v)) u) (.f32 (exp.f32 (/.f32 -2 v)) u))) (cbrt.f32 (-.f32 (+.f32 (exp.f32 (/.f32 -2 v)) u) (.f32 (exp.f32 (/.f32 -2 v)) u))))) v)
546.0ms	(log.f32 (.f32 (cbrt.f32 (-.f32 (+.f32 (exp.f32 (/.f32 -2 v)) u) (.f32 (exp.f32 (/.f32 -2 v)) u))) (cbrt.f32 (-.f32 (+.f32 (exp.f32 (/.f32 -2 v)) u) (*.f32 (exp.f32 (/.f32 -2 v)) u)))))
392.0ms	(log.f32 (cbrt.f32 (-.f32 (+.f32 (exp.f32 (/.f32 -2 v)) u) (*.f32 (exp.f32 (/.f32 -2 v)) u))))
292.0ms	(.f32 (cbrt.f32 (-.f32 (+.f32 (exp.f32 (/.f32 -2 v)) u) (.f32 (exp.f32 (/.f32 -2 v)) u))) (cbrt.f32 (-.f32 (+.f32 (exp.f32 (/.f32 -2 v)) u) (*.f32 (exp.f32 (/.f32 -2 v)) u))))

rewrite76.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`pow1_binary32`
26×	`cbrt-div_binary32`
26×	`add-sqr-sqrt_binary32`
20×	`log-pow_binary32`
19×	`cbrt-prod_binary32`

Counts

4 → 128

Calls

4 calls:

19.0ms	(.f32 (log.f32 (.f32 (cbrt.f32 (-.f32 (+.f32 (exp.f32 (/.f32 -2 v)) u) (.f32 (exp.f32 (/.f32 -2 v)) u))) (cbrt.f32 (-.f32 (+.f32 (exp.f32 (/.f32 -2 v)) u) (.f32 (exp.f32 (/.f32 -2 v)) u))))) v)
18.0ms	(.f32 (cbrt.f32 (-.f32 (+.f32 (exp.f32 (/.f32 -2 v)) u) (.f32 (exp.f32 (/.f32 -2 v)) u))) (cbrt.f32 (-.f32 (+.f32 (exp.f32 (/.f32 -2 v)) u) (*.f32 (exp.f32 (/.f32 -2 v)) u))))
15.0ms	(log.f32 (.f32 (cbrt.f32 (-.f32 (+.f32 (exp.f32 (/.f32 -2 v)) u) (.f32 (exp.f32 (/.f32 -2 v)) u))) (cbrt.f32 (-.f32 (+.f32 (exp.f32 (/.f32 -2 v)) u) (*.f32 (exp.f32 (/.f32 -2 v)) u)))))
8.0ms	(log.f32 (cbrt.f32 (-.f32 (+.f32 (exp.f32 (/.f32 -2 v)) u) (*.f32 (exp.f32 (/.f32 -2 v)) u))))

simplify219.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

974×	`fma-def_binary32`
784×	`times-frac_binary32`
257×	`*-commutative_binary32`
231×	`+-commutative_binary32`
193×	`sub-neg_binary32`

Counts

224 → 314

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	835	15302
1	2853	14617
2	4978	14617

prune748.0ms (9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	313	1	314
Fresh	1	3	4
Picked	1	0	1
Done	0	2	2
Total	315	6	321

Error

0.0b

Counts

321 → 6

Alt Table

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

Compiler

Compiled 26340 to 20033 computations (23.9% saved)

regimes719.0ms (8.6%)

Accuracy

Total 0.1b remaining (70.2%)

Threshold costs 0.1b (70.2%)

Counts

136 → 1

Compiler

Compiled 19416 to 14292 computations (26.4% saved)

simplify2.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	12	21
1	18	21
2	22	21
3	24	21
4	25	21
5	24	21

end150.0ms (1.8%)

Compiler: Compiled 279 to 188 computations (32.6% saved)

Details

analyze144.0ms (1.7%)

sample1.8s (22.1%)

simplify156.0ms (1.9%)

prune4.0ms (0%)

localize55.0ms (0.7%)

series341.0ms (4.1%)

rewrite6.0ms (0.1%)

simplify105.0ms (1.3%)

prune193.0ms (2.3%)

localize35.0ms (0.4%)

series270.0ms (3.2%)

rewrite26.0ms (0.3%)

simplify126.0ms (1.5%)

prune192.0ms (2.3%)

localize38.0ms (0.5%)

series488.0ms (5.9%)

rewrite31.0ms (0.4%)

simplify123.0ms (1.5%)

prune269.0ms (3.2%)

localize59.0ms (0.7%)

series1.9s (22.9%)

rewrite76.0ms (0.9%)

simplify219.0ms (2.6%)

prune748.0ms (9%)

regimes719.0ms (8.6%)

simplify2.0ms (0%)

end150.0ms (1.8%)

Profiling