Details

analyze276.0ms (3.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)

sample152.0ms (1.7%)

Algorithm

1×

intervals

Results

130.0ms	256×	body	128	valid
6.0ms	256×	pre	128	true

Compiler

Compiled 51 to 39 computations (23.5% saved)

simplify160.0ms (1.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%)

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)

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

series248.0ms (2.8%)

Counts

4 → 80

Calls

4 calls:

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

simplify93.0ms (1.1%)

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

prune178.0ms (2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	167	6	173
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	169	6	175

Error

0.0b

Counts

175 → 6

Alt Table

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

Compiler

Compiled 5286 to 3798 computations (28.1% saved)

localize34.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f32 (*.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))
✓	0.2b	(*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))

series288.0ms (3.3%)

Counts

2 → 48

Calls

2 calls:

222.0ms	(*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))
65.0ms	(+.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))) 1)

rewrite11.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 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))
4.0ms	(+.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))) 1)

simplify110.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

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

Counts

95 → 135

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	257	3739
1	778	3583
2	3063	3423
3	4407	3411
4	5065	3411

prune298.0ms (3.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	222	4	226
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	224	8	232

Error

0.0b

Counts

232 → 8

Alt Table

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

Compiler

Compiled 7686 to 5556 computations (27.7% saved)

localize34.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.0b	(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))

series246.0ms (2.8%)

Counts

3 → 72

Calls

3 calls:

167.0ms	(log.f32 (+.f32 (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))) u))
70.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)))

rewrite21.0ms (0.2%)

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:

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

simplify124.0ms (1.4%)

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

prune351.0ms (4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	197	0	197
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	197	8	205

Error

0.0b

Counts

205 → 8

Alt Table

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

Compiler

Compiled 6205 to 4486 computations (27.7% saved)

localize49.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

series1.8s (21.2%)

Counts

3 → 72

Calls

3 calls:

1.0s

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

599.0ms

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

226.0ms

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

rewrite18.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`pow1_binary32`
16×	`pow1/3_binary32`
11×	`add-sqr-sqrt_binary32`
11×	`pow-prod-up_binary32`
10×	`add-exp-log_binary32`

Counts

3 → 79

Calls

3 calls:

6.0ms

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

4.0ms

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

2.0ms

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

simplify224.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

490×	`*-commutative_binary32`
297×	`+-commutative_binary32`
269×	`fma-def_binary32`
234×	`associate-+r+_binary32`
214×	`associate-r_binary32`

Counts

151 → 204

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1178	15888
1	4224	15353
2	5208	15353

prune1.4s (16.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	513	0	513
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	513	8	521

Error

0.0b

Counts

521 → 8

Alt Table

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

Compiler

Compiled 51192 to 39432 computations (23% saved)

regimes871.0ms (10%)

Accuracy

Total 0.1b remaining (79.3%)

Threshold costs 0.1b (79.3%)

Counts

160 → 1

Compiler

Compiled 19500 to 14184 computations (27.3% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary32`
3×	`*-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	16	65
1	23	65
2	27	65
3	29	65
4	30	65
5	29	65

end1.0ms (0%)

Compiler: Compiled 44 to 32 computations (27.3% saved)

sample1.6s (18.3%)

Algorithm

1×

intervals

Results

700.0ms	8000×	body	128	valid
206.0ms	8000×	pre	128	true

Compiler

Compiled 433 to 303 computations (30% saved)

Details

analyze276.0ms (3.2%)

sample152.0ms (1.7%)

simplify160.0ms (1.8%)

prune4.0ms (0%)

localize32.0ms (0.4%)

series248.0ms (2.8%)

rewrite6.0ms (0.1%)

simplify93.0ms (1.1%)

prune178.0ms (2%)

localize34.0ms (0.4%)

series288.0ms (3.3%)

rewrite11.0ms (0.1%)

simplify110.0ms (1.3%)

prune298.0ms (3.4%)

localize34.0ms (0.4%)

series246.0ms (2.8%)

rewrite21.0ms (0.2%)

simplify124.0ms (1.4%)

prune351.0ms (4%)

localize49.0ms (0.6%)

series1.8s (21.2%)

rewrite18.0ms (0.2%)

simplify224.0ms (2.6%)

prune1.4s (16.4%)

regimes871.0ms (10%)

simplify4.0ms (0%)

end1.0ms (0%)

sample1.6s (18.3%)

Profiling