Details

analyze76.0ms (1.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	1.5%	98.5%	0
0%	1.5%	98.5%	1
0%	1.5%	98.5%	2
0.8%	0.8%	98.5%	3
0.8%	0.8%	98.5%	4
1.2%	0.4%	98.5%	5
1.2%	0.4%	98.5%	6
1.4%	0.2%	98.5%	7
1.4%	0.2%	98.5%	8
1.4%	0.1%	98.5%	9
1.4%	0.1%	98.5%	10
1.5%	0%	98.5%	11
1.5%	0%	98.5%	12

Compiler

Compiled 27 to 21 computations (22.2% saved)

sample1.9s (33.8%)

Results

1.9s	8254×	body	64	valid
1.0ms	2×	body	128	valid

preprocess142.0ms (2.6%)

Algorithm

2×	egg-herbie

Rules

880×	`associate--l-_binary32`
870×	`fma-neg_binary32`
712×	`associate--l+_binary32`
687×	`associate-+l-_binary32`
600×	`associate-+l+_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	28
1	38	22
2	71	22
3	124	22
4	168	22
5	229	22
6	300	22
7	411	22
8	688	22
9	961	22
10	1098	22
11	1295	22
12	1509	22
13	1759	22
14	1826	22
15	1856	22
16	1935	22
17	2367	22
18	3640	22
19	3914	22
20	4066	22
21	4096	22
22	4116	22
23	4116	22
24	4525	22
25	4742	22
26	4782	22
27	4806	22
28	4822	22
29	4822	22
30	5078	22
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(.f32 s (log.f32 (/.f32 1 (-.f32 1 (.f32 4 u)))))
(.f32 u (log.f32 (/.f32 1 (-.f32 1 (.f32 4 s)))))

Outputs
(.f32 s (log.f32 (/.f32 1 (-.f32 1 (.f32 4 u)))))
(.f32 s (neg.f32 (log.f32 (+.f32 1 (.f32 -4 u)))))
(.f32 s (neg.f32 (log1p.f32 (.f32 u -4))))
(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))
(.f32 u (log.f32 (/.f32 1 (-.f32 1 (.f32 4 s)))))
(.f32 u (neg.f32 (log.f32 (+.f32 1 (.f32 -4 s)))))
(.f32 u (neg.f32 (log1p.f32 (.f32 s -4))))
(.f32 (log1p.f32 (.f32 s -4)) (neg.f32 u))

Compiler

Compiled 12 to 10 computations (16.7% saved)

simplify17.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

175×	`fma-neg_binary32`
152×	`fma-def_binary32`
46×	`cancel-sign-sub-inv_binary32`
46×	`sub-neg_binary32`
30×	`distribute-rgt-in_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	14
1	24	11
2	41	11
3	70	11
4	97	11
5	127	11
6	167	11
7	241	11
8	359	11
9	435	11
10	511	11
11	603	11
12	741	11
13	853	11
14	866	11

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(.f32 s (log.f32 (/.f32 1 (-.f32 1 (.f32 4 u)))))

Outputs
(.f32 s (log.f32 (/.f32 1 (-.f32 1 (.f32 4 u)))))
(.f32 s (neg.f32 (log.f32 (+.f32 1 (.f32 -4 u)))))
(.f32 s (neg.f32 (log1p.f32 (.f32 u -4))))
(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))

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 (log1p.f32 (.f32 u -4)) (neg.f32 s))
	12.8b	(.f32 s (log.f32 (/.f32 1 (-.f32 1 (.f32 4 u)))))

Compiler

Compiled 61 to 49 computations (19.7% saved)

localize19.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))

series65.0ms (1.2%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
61.0ms	s	@	0	(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))
1.0ms	u	@	0	(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))
1.0ms	u	@	inf	(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))
1.0ms	s	@	inf	(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))
1.0ms	u	@	-inf	(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))

rewrite40.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

641×	`pow1_binary32`
592×	`add-log-exp_binary32`
591×	`expm1-log1p-u_binary32`
590×	`log1p-expm1-u_binary32`
580×	`add-exp-log_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	162	9
2	1938	9

Stop Event

1×	node limit

Counts

1 → 15

Calls

Call 1

Inputs
(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f32 0 (.f32 (log1p.f32 (.f32 u -4)) s))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (+.f32 1 (.f32 (log1p.f32 (.f32 u -4)) s)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (.f32 (log1p.f32 (.f32 u -4)) s) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (.f32 (log1p.f32 (.f32 u -4)) s) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (.f32 (log1p.f32 (.f32 u -4)) s)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (.f32 (log1p.f32 (.f32 u -4)) s)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (.f32 (log1p.f32 (.f32 u -4)) s))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (.f32 (log1p.f32 (.f32 u -4)) s) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (+.f32 (.f32 u -4) 1) s))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (.f32 (log1p.f32 (.f32 u -4)) s) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 s 3) (pow.f32 (log1p.f32 (.f32 u -4)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 (log1p.f32 (.f32 u -4)) 3) (pow.f32 s 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (.f32 (log1p.f32 (.f32 u -4)) s)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (.f32 (log1p.f32 (.f32 u -4)) s)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (.f32 (log1p.f32 (*.f32 u -4)) s)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f32 0 (*.f32 (log1p.f32 (*.f32 u -4)) s))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (+.f32 1 (*.f32 (log1p.f32 (*.f32 u -4)) s)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (log1p.f32 (*.f32 u -4)) s) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 (log1p.f32 (*.f32 u -4)) s) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 (log1p.f32 (*.f32 u -4)) s)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 (log1p.f32 (*.f32 u -4)) s)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (*.f32 (log1p.f32 (*.f32 u -4)) s))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 (log1p.f32 (*.f32 u -4)) s) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (+.f32 (*.f32 u -4) 1) s))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 (log1p.f32 (*.f32 u -4)) s) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 s 3) (pow.f32 (log1p.f32 (*.f32 u -4)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (log1p.f32 (*.f32 u -4)) 3) (pow.f32 s 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 (log1p.f32 (*.f32 u -4)) s)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 (log1p.f32 (*.f32 u -4)) s)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 (log1p.f32 (*.f32 u -4)) s)))))))

simplify43.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

508×	`distribute-rgt-out_binary32`
414×	`associate-l_binary32`
352×	`fma-def_binary32`
336×	`sub-neg_binary32`
294×	`associate-r_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	69	460
1	198	438
2	554	421
3	1684	390
4	5383	390

Stop Event

1×	node limit

Counts

39 → 42

Calls

Call 1

Inputs
(.f32 4 (.f32 s u))
(+.f32 (.f32 4 (.f32 s u)) (.f32 8 (.f32 s (pow.f32 u 2))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (.f32 8 (.f32 s (pow.f32 u 2)))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))
(.f32 -1 (.f32 s (+.f32 (*.f32 -1 (log.f32 (/.f32 1 u))) (log.f32 -4))))
(+.f32 (.f32 -1 (.f32 s (+.f32 (.f32 -1 (log.f32 (/.f32 1 u))) (log.f32 -4)))) (.f32 1/4 (/.f32 s u)))
(+.f32 (.f32 1/32 (/.f32 s (pow.f32 u 2))) (+.f32 (.f32 -1 (.f32 s (+.f32 (.f32 -1 (log.f32 (/.f32 1 u))) (log.f32 -4)))) (*.f32 1/4 (/.f32 s u))))
(+.f32 (.f32 1/32 (/.f32 s (pow.f32 u 2))) (+.f32 (.f32 1/192 (/.f32 s (pow.f32 u 3))) (+.f32 (.f32 -1 (.f32 s (+.f32 (.f32 -1 (log.f32 (/.f32 1 u))) (log.f32 -4)))) (.f32 1/4 (/.f32 s u)))))
(.f32 -1 (.f32 s (+.f32 (*.f32 -1 (log.f32 (/.f32 -1 u))) (log.f32 4))))
(+.f32 (.f32 -1 (.f32 s (+.f32 (.f32 -1 (log.f32 (/.f32 -1 u))) (log.f32 4)))) (.f32 1/4 (/.f32 s u)))
(+.f32 (.f32 1/32 (/.f32 s (pow.f32 u 2))) (+.f32 (.f32 -1 (.f32 s (+.f32 (.f32 -1 (log.f32 (/.f32 -1 u))) (log.f32 4)))) (*.f32 1/4 (/.f32 s u))))
(+.f32 (.f32 1/32 (/.f32 s (pow.f32 u 2))) (+.f32 (.f32 -1 (.f32 s (+.f32 (.f32 -1 (log.f32 (/.f32 -1 u))) (log.f32 4)))) (+.f32 (.f32 1/192 (/.f32 s (pow.f32 u 3))) (.f32 1/4 (/.f32 s u)))))
(.f32 -1 (.f32 s (log.f32 (+.f32 (*.f32 -4 u) 1))))
(.f32 -1 (.f32 s (log.f32 (+.f32 (*.f32 -4 u) 1))))
(.f32 -1 (.f32 s (log.f32 (+.f32 (*.f32 -4 u) 1))))
(.f32 -1 (.f32 s (log.f32 (+.f32 (*.f32 -4 u) 1))))
(.f32 -1 (.f32 s (log.f32 (+.f32 (*.f32 -4 u) 1))))
(.f32 -1 (.f32 s (log.f32 (+.f32 (*.f32 -4 u) 1))))
(.f32 -1 (.f32 s (log.f32 (+.f32 (*.f32 -4 u) 1))))
(.f32 -1 (.f32 s (log.f32 (+.f32 (*.f32 -4 u) 1))))
(.f32 -1 (.f32 s (log.f32 (+.f32 1 (*.f32 -4 u)))))
(.f32 -1 (.f32 s (log.f32 (+.f32 1 (*.f32 -4 u)))))
(.f32 -1 (.f32 s (log.f32 (+.f32 1 (*.f32 -4 u)))))
(.f32 -1 (.f32 s (log.f32 (+.f32 1 (*.f32 -4 u)))))

Outputs
(.f32 4 (.f32 s u))
(.f32 s (.f32 4 u))
(+.f32 (.f32 4 (.f32 s u)) (.f32 8 (.f32 s (pow.f32 u 2))))
(fma.f32 4 (.f32 s u) (.f32 8 (.f32 s (.f32 u u))))
(fma.f32 4 (.f32 s u) (.f32 (.f32 u u) (.f32 s 8)))
(.f32 s (+.f32 (.f32 u (.f32 u 8)) (.f32 4 u)))
(.f32 u (.f32 s (+.f32 (*.f32 u 8) 4)))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (.f32 8 (.f32 s (pow.f32 u 2)))))
(fma.f32 64/3 (.f32 s (pow.f32 u 3)) (fma.f32 4 (.f32 s u) (.f32 8 (.f32 s (*.f32 u u)))))
(fma.f32 64/3 (.f32 s (pow.f32 u 3)) (fma.f32 4 (.f32 s u) (.f32 (.f32 u u) (*.f32 s 8))))
(fma.f32 4 (.f32 s u) (.f32 s (+.f32 (.f32 u (.f32 u 8)) (*.f32 64/3 (pow.f32 u 3)))))
(.f32 s (+.f32 (.f32 4 u) (.f32 (.f32 u u) (+.f32 8 (*.f32 u 64/3)))))
(.f32 s (+.f32 (.f32 4 u) (.f32 u (.f32 u (+.f32 (*.f32 u 64/3) 8)))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))
(fma.f32 64/3 (.f32 s (pow.f32 u 3)) (fma.f32 4 (.f32 s u) (fma.f32 8 (.f32 s (.f32 u u)) (.f32 64 (.f32 s (pow.f32 u 4))))))
(fma.f32 64/3 (.f32 s (pow.f32 u 3)) (fma.f32 4 (.f32 s u) (fma.f32 (.f32 s 8) (.f32 u u) (.f32 s (.f32 (pow.f32 u 4) 64)))))
(fma.f32 4 (.f32 s u) (fma.f32 s (.f32 64/3 (pow.f32 u 3)) (.f32 s (+.f32 (.f32 64 (pow.f32 u 4)) (.f32 u (.f32 u 8))))))
(.f32 s (+.f32 (.f32 u (+.f32 (.f32 u 8) 4)) (.f32 (pow.f32 u 3) (+.f32 (*.f32 u 64) 64/3))))
(.f32 -1 (.f32 s (+.f32 (*.f32 -1 (log.f32 (/.f32 1 u))) (log.f32 -4))))
(neg.f32 (*.f32 s (fma.f32 -1 (neg.f32 (log.f32 u)) (log.f32 -4))))
(*.f32 (+.f32 (log.f32 u) (log.f32 -4)) (neg.f32 s))
(*.f32 s (neg.f32 (+.f32 (log.f32 u) (log.f32 -4))))
(*.f32 s (-.f32 (neg.f32 (log.f32 -4)) (log.f32 u)))
(*.f32 s (-.f32 (neg.f32 (log.f32 u)) (log.f32 -4)))
(+.f32 (.f32 -1 (.f32 s (+.f32 (.f32 -1 (log.f32 (/.f32 1 u))) (log.f32 -4)))) (.f32 1/4 (/.f32 s u)))
(fma.f32 -1 (.f32 s (fma.f32 -1 (neg.f32 (log.f32 u)) (log.f32 -4))) (.f32 1/4 (/.f32 s u)))
(fma.f32 1/4 (/.f32 s u) (*.f32 (+.f32 (log.f32 u) (log.f32 -4)) (neg.f32 s)))
(-.f32 (.f32 1/4 (/.f32 s u)) (.f32 s (+.f32 (log.f32 u) (log.f32 -4))))
(*.f32 s (-.f32 (/.f32 1/4 u) (+.f32 (log.f32 u) (log.f32 -4))))
(+.f32 (.f32 1/32 (/.f32 s (pow.f32 u 2))) (+.f32 (.f32 -1 (.f32 s (+.f32 (.f32 -1 (log.f32 (/.f32 1 u))) (log.f32 -4)))) (*.f32 1/4 (/.f32 s u))))
(fma.f32 1/32 (/.f32 s (.f32 u u)) (fma.f32 -1 (.f32 s (fma.f32 -1 (neg.f32 (log.f32 u)) (log.f32 -4))) (*.f32 1/4 (/.f32 s u))))
(fma.f32 1/32 (/.f32 (/.f32 s u) u) (fma.f32 1/4 (/.f32 s u) (*.f32 (+.f32 (log.f32 u) (log.f32 -4)) (neg.f32 s))))
(-.f32 (.f32 (/.f32 s u) (+.f32 1/4 (/.f32 1/32 u))) (.f32 s (+.f32 (log.f32 u) (log.f32 -4))))
(+.f32 (.f32 1/32 (/.f32 s (pow.f32 u 2))) (+.f32 (.f32 1/192 (/.f32 s (pow.f32 u 3))) (+.f32 (.f32 -1 (.f32 s (+.f32 (.f32 -1 (log.f32 (/.f32 1 u))) (log.f32 -4)))) (.f32 1/4 (/.f32 s u)))))
(fma.f32 1/32 (/.f32 s (.f32 u u)) (fma.f32 1/192 (/.f32 s (pow.f32 u 3)) (fma.f32 -1 (.f32 s (fma.f32 -1 (neg.f32 (log.f32 u)) (log.f32 -4))) (*.f32 1/4 (/.f32 s u)))))
(fma.f32 1/32 (/.f32 (/.f32 s u) u) (fma.f32 1/192 (/.f32 s (pow.f32 u 3)) (fma.f32 1/4 (/.f32 s u) (*.f32 (+.f32 (log.f32 u) (log.f32 -4)) (neg.f32 s)))))
(fma.f32 1/192 (/.f32 s (pow.f32 u 3)) (-.f32 (.f32 (/.f32 s u) (+.f32 1/4 (/.f32 1/32 u))) (.f32 s (+.f32 (log.f32 u) (log.f32 -4)))))
(+.f32 (.f32 s (-.f32 (/.f32 1/192 (pow.f32 u 3)) (+.f32 (log.f32 u) (log.f32 -4)))) (.f32 (/.f32 s u) (+.f32 1/4 (/.f32 1/32 u))))
(+.f32 (.f32 (/.f32 s (.f32 u u)) (+.f32 1/32 (/.f32 1/192 u))) (*.f32 s (-.f32 (/.f32 1/4 u) (+.f32 (log.f32 u) (log.f32 -4)))))
(.f32 -1 (.f32 s (+.f32 (*.f32 -1 (log.f32 (/.f32 -1 u))) (log.f32 4))))
(neg.f32 (*.f32 s (fma.f32 -1 (log.f32 (/.f32 -1 u)) (log.f32 4))))
(*.f32 (-.f32 (log.f32 4) (log.f32 (/.f32 -1 u))) (neg.f32 s))
(*.f32 s (neg.f32 (-.f32 (log.f32 4) (log.f32 (/.f32 -1 u)))))
(*.f32 s (-.f32 (log.f32 (/.f32 -1 u)) (log.f32 4)))
(+.f32 (.f32 -1 (.f32 s (+.f32 (.f32 -1 (log.f32 (/.f32 -1 u))) (log.f32 4)))) (.f32 1/4 (/.f32 s u)))
(fma.f32 -1 (.f32 s (fma.f32 -1 (log.f32 (/.f32 -1 u)) (log.f32 4))) (.f32 1/4 (/.f32 s u)))
(-.f32 (.f32 1/4 (/.f32 s u)) (.f32 s (-.f32 (log.f32 4) (log.f32 (/.f32 -1 u)))))
(*.f32 s (-.f32 (/.f32 1/4 u) (-.f32 (log.f32 4) (log.f32 (/.f32 -1 u)))))
(*.f32 s (+.f32 (/.f32 1/4 u) (-.f32 (log.f32 (/.f32 -1 u)) (log.f32 4))))
(+.f32 (.f32 1/32 (/.f32 s (pow.f32 u 2))) (+.f32 (.f32 -1 (.f32 s (+.f32 (.f32 -1 (log.f32 (/.f32 -1 u))) (log.f32 4)))) (*.f32 1/4 (/.f32 s u))))
(fma.f32 1/32 (/.f32 s (.f32 u u)) (fma.f32 -1 (.f32 s (fma.f32 -1 (log.f32 (/.f32 -1 u)) (log.f32 4))) (*.f32 1/4 (/.f32 s u))))
(fma.f32 1/32 (/.f32 (/.f32 s u) u) (-.f32 (.f32 1/4 (/.f32 s u)) (.f32 s (-.f32 (log.f32 4) (log.f32 (/.f32 -1 u))))))
(-.f32 (.f32 (/.f32 s u) (+.f32 1/4 (/.f32 1/32 u))) (.f32 s (-.f32 (log.f32 4) (log.f32 (/.f32 -1 u)))))
(fma.f32 s (-.f32 (log.f32 (/.f32 -1 u)) (log.f32 4)) (*.f32 (/.f32 s u) (+.f32 1/4 (/.f32 1/32 u))))
(+.f32 (.f32 1/32 (/.f32 s (pow.f32 u 2))) (+.f32 (.f32 -1 (.f32 s (+.f32 (.f32 -1 (log.f32 (/.f32 -1 u))) (log.f32 4)))) (+.f32 (.f32 1/192 (/.f32 s (pow.f32 u 3))) (.f32 1/4 (/.f32 s u)))))
(fma.f32 1/32 (/.f32 s (.f32 u u)) (fma.f32 -1 (.f32 s (fma.f32 -1 (log.f32 (/.f32 -1 u)) (log.f32 4))) (fma.f32 1/192 (/.f32 s (pow.f32 u 3)) (*.f32 1/4 (/.f32 s u)))))
(fma.f32 1/32 (/.f32 (/.f32 s u) u) (fma.f32 (neg.f32 s) (-.f32 (log.f32 4) (log.f32 (/.f32 -1 u))) (fma.f32 1/4 (/.f32 s u) (/.f32 (*.f32 s 1/192) (pow.f32 u 3)))))
(+.f32 (/.f32 (.f32 s 1/192) (pow.f32 u 3)) (-.f32 (.f32 (/.f32 s u) (+.f32 1/4 (/.f32 1/32 u))) (*.f32 s (-.f32 (log.f32 4) (log.f32 (/.f32 -1 u))))))
(fma.f32 s (-.f32 (log.f32 (/.f32 -1 u)) (log.f32 4)) (.f32 (/.f32 s u) (+.f32 1/4 (+.f32 (/.f32 1/192 (.f32 u u)) (/.f32 1/32 u)))))
(fma.f32 s (-.f32 (log.f32 (/.f32 -1 u)) (log.f32 4)) (.f32 (/.f32 s u) (+.f32 (/.f32 1/32 u) (+.f32 1/4 (/.f32 1/192 (.f32 u u))))))
(.f32 -1 (.f32 s (log.f32 (+.f32 (*.f32 -4 u) 1))))
(neg.f32 (.f32 s (log1p.f32 (.f32 u -4))))
(.f32 s (neg.f32 (log1p.f32 (.f32 u -4))))
(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))
(.f32 -1 (.f32 s (log.f32 (+.f32 (*.f32 -4 u) 1))))
(neg.f32 (.f32 s (log1p.f32 (.f32 u -4))))
(.f32 s (neg.f32 (log1p.f32 (.f32 u -4))))
(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))
(.f32 -1 (.f32 s (log.f32 (+.f32 (*.f32 -4 u) 1))))
(neg.f32 (.f32 s (log1p.f32 (.f32 u -4))))
(.f32 s (neg.f32 (log1p.f32 (.f32 u -4))))
(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))
(.f32 -1 (.f32 s (log.f32 (+.f32 (*.f32 -4 u) 1))))
(neg.f32 (.f32 s (log1p.f32 (.f32 u -4))))
(.f32 s (neg.f32 (log1p.f32 (.f32 u -4))))
(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))
(.f32 -1 (.f32 s (log.f32 (+.f32 (*.f32 -4 u) 1))))
(neg.f32 (.f32 s (log1p.f32 (.f32 u -4))))
(.f32 s (neg.f32 (log1p.f32 (.f32 u -4))))
(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))
(.f32 -1 (.f32 s (log.f32 (+.f32 (*.f32 -4 u) 1))))
(neg.f32 (.f32 s (log1p.f32 (.f32 u -4))))
(.f32 s (neg.f32 (log1p.f32 (.f32 u -4))))
(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))
(.f32 -1 (.f32 s (log.f32 (+.f32 (*.f32 -4 u) 1))))
(neg.f32 (.f32 s (log1p.f32 (.f32 u -4))))
(.f32 s (neg.f32 (log1p.f32 (.f32 u -4))))
(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))
(.f32 -1 (.f32 s (log.f32 (+.f32 (*.f32 -4 u) 1))))
(neg.f32 (.f32 s (log1p.f32 (.f32 u -4))))
(.f32 s (neg.f32 (log1p.f32 (.f32 u -4))))
(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))
(.f32 -1 (.f32 s (log.f32 (+.f32 1 (*.f32 -4 u)))))
(neg.f32 (.f32 s (log1p.f32 (.f32 u -4))))
(.f32 s (neg.f32 (log1p.f32 (.f32 u -4))))
(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))
(.f32 -1 (.f32 s (log.f32 (+.f32 1 (*.f32 -4 u)))))
(neg.f32 (.f32 s (log1p.f32 (.f32 u -4))))
(.f32 s (neg.f32 (log1p.f32 (.f32 u -4))))
(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))
(.f32 -1 (.f32 s (log.f32 (+.f32 1 (*.f32 -4 u)))))
(neg.f32 (.f32 s (log1p.f32 (.f32 u -4))))
(.f32 s (neg.f32 (log1p.f32 (.f32 u -4))))
(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))
(.f32 -1 (.f32 s (log.f32 (+.f32 1 (*.f32 -4 u)))))
(neg.f32 (.f32 s (log1p.f32 (.f32 u -4))))
(.f32 s (neg.f32 (log1p.f32 (.f32 u -4))))
(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))

prune34.0ms (0.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	38	4	42
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	38	6	44

Error

0.1b

Counts

44 → 6

Alt Table

Status	Error	Program
	12.8b	(.f32 s (log.f32 (/.f32 1 (-.f32 1 (.f32 4 u)))))
	1.9b	(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))
✓	0.2b	(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))
▶	1.9b	(.f32 s (+.f32 (.f32 u (+.f32 (.f32 u 8) 4)) (.f32 (pow.f32 u 3) (+.f32 (*.f32 u 64) 64/3))))
	2.5b	(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (.f32 8 (.f32 s (pow.f32 u 2)))))
	3.8b	(.f32 u (.f32 s (+.f32 (*.f32 u 8) 4)))

Compiler

Compiled 794 to 584 computations (26.4% saved)

localize49.0ms (0.9%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f32 s (+.f32 (.f32 u (+.f32 (.f32 u 8) 4)) (.f32 (pow.f32 u 3) (+.f32 (*.f32 u 64) 64/3))))
✓	0.3b	(+.f32 (*.f32 u 64) 64/3)
✓	0.3b	(.f32 u (+.f32 (.f32 u 8) 4))
✓	0.4b	(.f32 (pow.f32 u 3) (+.f32 (.f32 u 64) 64/3))

series10.0ms (0.2%)

Counts

4 → 60

Calls

15 calls:

Time	Variable		Point	Expression
2.0ms	s	@	0	(.f32 s (+.f32 (.f32 u (+.f32 (.f32 u 8) 4)) (.f32 (pow.f32 u 3) (+.f32 (*.f32 u 64) 64/3))))
1.0ms	u	@	inf	(.f32 (pow.f32 u 3) (+.f32 (.f32 u 64) 64/3))
1.0ms	u	@	0	(.f32 (pow.f32 u 3) (+.f32 (.f32 u 64) 64/3))
1.0ms	u	@	-inf	(.f32 (pow.f32 u 3) (+.f32 (.f32 u 64) 64/3))
1.0ms	u	@	-inf	(.f32 u (+.f32 (.f32 u 8) 4))

rewrite92.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

769×	`fma-def_binary32`
409×	`fma-neg_binary32`
320×	`expm1-udef_binary32`
320×	`log1p-udef_binary32`
246×	`log-pow_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	46
1	396	46
2	5329	46

Stop Event

1×	node limit

Counts

4 → 210

Calls

Call 1

Inputs
(.f32 (pow.f32 u 3) (+.f32 (.f32 u 64) 64/3))
(.f32 u (+.f32 (.f32 u 8) 4))
(+.f32 (*.f32 u 64) 64/3)
(.f32 s (+.f32 (.f32 u (+.f32 (.f32 u 8) 4)) (.f32 (pow.f32 u 3) (+.f32 (*.f32 u 64) 64/3))))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 (.f32 (pow.f32 u 3) u) 64) (.f32 (pow.f32 u 3) 64/3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 (pow.f32 u 3) 64/3) (.f32 (.f32 (pow.f32 u 3) u) 64))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 (.f32 (.f32 (pow.f32 u 3) u) 64) 1) (.f32 (.f32 (pow.f32 u 3) 64/3) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (.f32 (.f32 (pow.f32 u 3) u) 64) 3) (pow.f32 (.f32 (pow.f32 u 3) 64/3) 3)) (fma.f32 (.f32 (.f32 (pow.f32 u 3) u) 64) (.f32 (.f32 (pow.f32 u 3) u) 64) (-.f32 (.f32 (.f32 (pow.f32 u 3) 64/3) (.f32 (pow.f32 u 3) 64/3)) (.f32 (.f32 (.f32 (pow.f32 u 3) u) 64) (.f32 (pow.f32 u 3) 64/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (.f32 (.f32 (.f32 (pow.f32 u 3) u) 64) (.f32 (.f32 (pow.f32 u 3) u) 64)) (.f32 (.f32 (pow.f32 u 3) 64/3) (.f32 (pow.f32 u 3) 64/3))) (-.f32 (.f32 (.f32 (pow.f32 u 3) u) 64) (.f32 (pow.f32 u 3) 64/3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (fma.f32 (pow.f32 u 3) 262144 262144/27) (pow.f32 u 3)) (-.f32 (fma.f32 4096 (.f32 u u) 4096/9) (.f32 u 4096/3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (fma.f32 4096 (.f32 u u) -4096/9) (pow.f32 u 3)) (fma.f32 u 64 -64/3))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (pow.f32 u 3) (fma.f32 (pow.f32 u 3) 262144 262144/27)) (-.f32 (fma.f32 4096 (.f32 u u) 4096/9) (.f32 u 4096/3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (pow.f32 u 3) (fma.f32 4096 (.f32 u u) -4096/9)) (fma.f32 u 64 -64/3))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (.f32 u (cbrt.f32 (fma.f32 u 64 64/3))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (.f32 (sqrt.f32 (fma.f32 u 64 64/3)) (pow.f32 u 3/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (.f32 (pow.f32 (fma.f32 u 64 64/3) 2) (pow.f32 u 6)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 (fma.f32 u 64 64/3)) (pow.f32 u 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (.f32 (exp.f32 (.f32 (pow.f32 u 3) 64/3)) (exp.f32 (.f32 (.f32 (pow.f32 u 3) u) 64))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 u (.f32 (.f32 u u) (.f32 u 64)) (.f32 (pow.f32 u 3) 64/3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 u (.f32 (.f32 u u) 64/3) (.f32 (.f32 (pow.f32 u 3) u) 64))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 u (.f32 64 (pow.f32 u 3)) (.f32 (pow.f32 u 3) 64/3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 u 3) (.f32 u 64) (.f32 (pow.f32 u 3) 64/3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 u 3) 64/3 (.f32 (.f32 (pow.f32 u 3) u) 64))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 64 (.f32 u (pow.f32 u 3)) (.f32 (pow.f32 u 3) 64/3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 u 64) (pow.f32 u 3) (.f32 (pow.f32 u 3) 64/3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 64/3 (pow.f32 u 3) (.f32 (.f32 (pow.f32 u 3) u) 64))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 1 (.f32 (.f32 (pow.f32 u 3) u) 64) (.f32 (pow.f32 u 3) 64/3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 1 (.f32 (pow.f32 u 3) 64/3) (.f32 (.f32 (pow.f32 u 3) u) 64))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 u u) (.f32 u (.f32 u 64)) (.f32 (pow.f32 u 3) 64/3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 u u) (.f32 u 64/3) (.f32 (.f32 (pow.f32 u 3) u) 64))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 (.f32 4 (cbrt.f32 u)) 2) (.f32 (.f32 4 (cbrt.f32 u)) (pow.f32 u 3)) (.f32 (pow.f32 u 3) 64/3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 8 (sqrt.f32 u)) (.f32 (.f32 8 (sqrt.f32 u)) (pow.f32 u 3)) (.f32 (pow.f32 u 3) 64/3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 u 3/2) (.f32 (pow.f32 u 3/2) (.f32 u 64)) (.f32 (pow.f32 u 3) 64/3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 u 3/2) (.f32 (pow.f32 u 3/2) 64/3) (.f32 (.f32 (pow.f32 u 3) u) 64))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (.f32 (pow.f32 u 3) u) 64) 1 (.f32 (.f32 (pow.f32 u 3) 64/3) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (cbrt.f32 (.f32 (pow.f32 u 3) 64/3)) (cbrt.f32 (.f32 (pow.f32 u 3) 64/3))) (cbrt.f32 (.f32 (pow.f32 u 3) 64/3)) (.f32 (.f32 (pow.f32 u 3) u) 64))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (cbrt.f32 (.f32 (.f32 (pow.f32 u 3) u) 64)) (cbrt.f32 (.f32 (.f32 (pow.f32 u 3) u) 64))) (cbrt.f32 (.f32 (.f32 (pow.f32 u 3) u) 64)) (.f32 (pow.f32 u 3) 64/3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 (.f32 (pow.f32 u 3) 64/3)) (sqrt.f32 (.f32 (pow.f32 u 3) 64/3)) (.f32 (.f32 (pow.f32 u 3) u) 64))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 (.f32 (.f32 (pow.f32 u 3) u) 64)) (sqrt.f32 (.f32 (.f32 (pow.f32 u 3) u) 64)) (.f32 (pow.f32 u 3) 64/3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (pow.f32 u 3/2) (.f32 8 (sqrt.f32 u))) (.f32 (pow.f32 u 3/2) (.f32 8 (sqrt.f32 u))) (.f32 (pow.f32 u 3) 64/3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (.f32 8 (sqrt.f32 u)) (pow.f32 u 3/2)) (.f32 (.f32 8 (sqrt.f32 u)) (pow.f32 u 3/2)) (.f32 (pow.f32 u 3) 64/3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (pow.f32 u 3) u) 64 (.f32 (pow.f32 u 3) 64/3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (pow.f32 u 3) 64) u (.f32 (pow.f32 u 3) 64/3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (pow.f32 u 3) (pow.f32 (.f32 4 (cbrt.f32 u)) 2)) (.f32 4 (cbrt.f32 u)) (.f32 (pow.f32 u 3) 64/3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (pow.f32 u 3) (.f32 8 (sqrt.f32 u))) (.f32 8 (sqrt.f32 u)) (.f32 (pow.f32 u 3) 64/3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (.f32 u 64) u) (.f32 u u) (.f32 (pow.f32 u 3) 64/3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (.f32 u 64) (.f32 u u)) u (.f32 (pow.f32 u 3) 64/3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (.f32 u 64) (pow.f32 u 3/2)) (pow.f32 u 3/2) (.f32 (pow.f32 u 3) 64/3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 64/3 u) (.f32 u u) (.f32 (.f32 (pow.f32 u 3) u) 64))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 64/3 (.f32 u u)) u (.f32 (.f32 (pow.f32 u 3) u) 64))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 64/3 (pow.f32 u 3/2)) (pow.f32 u 3/2) (.f32 (.f32 (pow.f32 u 3) u) 64))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 u (.f32 u 8)) (.f32 u 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 u 4) (.f32 u (.f32 u 8)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 (.f32 u (.f32 u 8)) 1) (.f32 (.f32 u 4) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (.f32 u (fma.f32 u 8 4)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (.f32 u (.f32 u 8)) 3) (pow.f32 (.f32 u 4) 3)) (fma.f32 (.f32 u (.f32 u 8)) (.f32 u (.f32 u 8)) (-.f32 (.f32 (.f32 u 4) (.f32 u 4)) (.f32 (.f32 u (.f32 u 8)) (.f32 u 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (.f32 (.f32 u (.f32 u 8)) (.f32 u (.f32 u 8))) (.f32 (.f32 u 4) (.f32 u 4))) (-.f32 (.f32 u (.f32 u 8)) (.f32 u 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (fma.f32 (pow.f32 u 3) 512 64) u) (-.f32 (fma.f32 64 (.f32 u u) 16) (.f32 u 32)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (fma.f32 64 (.f32 u u) -16) u) (fma.f32 u 8 -4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 u (fma.f32 (pow.f32 u 3) 512 64)) (-.f32 (fma.f32 64 (.f32 u u) 16) (.f32 u 32)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 u (fma.f32 64 (.f32 u u) -16)) (fma.f32 u 8 -4))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (.f32 u (fma.f32 u 8 4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (.f32 u (fma.f32 u 8 4))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (.f32 u (fma.f32 u 8 4))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (.f32 u (fma.f32 u 8 4)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (.f32 u (fma.f32 u 8 4)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 u) (fma.f32 u 8 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (.f32 u (fma.f32 u 8 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (.f32 (exp.f32 (.f32 u 4)) (exp.f32 (.f32 u (.f32 u 8)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (.f32 u (fma.f32 u 8 4)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (.f32 u (fma.f32 u 8 4))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (.f32 u (fma.f32 u 8 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (.f32 u (fma.f32 u 8 4))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (.f32 u (fma.f32 u 8 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 u (.f32 u 8) (.f32 u 4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 u 4 (.f32 u (.f32 u 8)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 8 (.f32 u u) (.f32 u 4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 u 8) u (.f32 u 4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 4 u (.f32 u (.f32 u 8)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 1 (.f32 u (.f32 u 8)) (.f32 u 4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 1 (.f32 u 4) (.f32 u (.f32 u 8)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 u u) 8 (.f32 u 4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 (.f32 (cbrt.f32 u) 2) 2) (.f32 (.f32 (cbrt.f32 u) 2) u) (.f32 u 4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 (cbrt.f32 u) 2) (.f32 4 (cbrt.f32 u)) (.f32 u (.f32 u 8)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 (cbrt.f32 u) 2) (.f32 (cbrt.f32 u) (.f32 u 8)) (.f32 u 4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 (.f32 u 8)) (.f32 (sqrt.f32 (.f32 u 8)) u) (.f32 u 4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 u) (.f32 (sqrt.f32 u) (.f32 u 8)) (.f32 u 4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 u) (.f32 (sqrt.f32 u) 4) (.f32 u (.f32 u 8)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 u (.f32 u 8)) 1 (.f32 (.f32 u 4) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (cbrt.f32 (.f32 u 4)) (cbrt.f32 (.f32 u 4))) (cbrt.f32 (.f32 u 4)) (.f32 u (.f32 u 8)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (cbrt.f32 (.f32 u (.f32 u 8))) (cbrt.f32 (.f32 u (.f32 u 8)))) (cbrt.f32 (.f32 u (.f32 u 8))) (.f32 u 4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 (.f32 u 4)) (sqrt.f32 (.f32 u 4)) (.f32 u (.f32 u 8)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 (.f32 u (.f32 u 8))) (sqrt.f32 (.f32 u (.f32 u 8))) (.f32 u 4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (sqrt.f32 u) (sqrt.f32 (.f32 u 8))) (.f32 (sqrt.f32 u) (sqrt.f32 (.f32 u 8))) (.f32 u 4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (sqrt.f32 (.f32 u 8)) (sqrt.f32 u)) (.f32 (sqrt.f32 (.f32 u 8)) (sqrt.f32 u)) (.f32 u 4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 u (pow.f32 (.f32 (cbrt.f32 u) 2) 2)) (.f32 (cbrt.f32 u) 2) (.f32 u 4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 u (sqrt.f32 (.f32 u 8))) (sqrt.f32 (.f32 u 8)) (.f32 u 4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (.f32 u 8) (pow.f32 (cbrt.f32 u) 2)) (cbrt.f32 u) (.f32 u 4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (.f32 u 8) (sqrt.f32 u)) (sqrt.f32 u) (.f32 u 4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 4 (pow.f32 (cbrt.f32 u) 2)) (cbrt.f32 u) (.f32 u (.f32 u 8)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 4 (sqrt.f32 u)) (sqrt.f32 u) (.f32 u (.f32 u 8)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (fma.f32 u 64 64/3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (/.f32 (.f32 4096 (.f32 u u)) (fma.f32 u 64 -64/3)) (/.f32 4096/9 (fma.f32 u 64 -64/3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (fma.f32 u 64 64/3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (fma.f32 u 64 64/3))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (fma.f32 u 64 64/3)) (pow.f32 (cbrt.f32 (fma.f32 u 64 64/3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (fma.f32 u 64 64/3)) 2) (cbrt.f32 (fma.f32 u 64 64/3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (fma.f32 u 64 64/3)) (sqrt.f32 (fma.f32 u 64 64/3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (fma.f32 (pow.f32 u 3) 262144 262144/27) (/.f32 1 (-.f32 (fma.f32 4096 (.f32 u u) 4096/9) (.f32 u 4096/3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (fma.f32 4096 (.f32 u u) -4096/9) (/.f32 1 (fma.f32 u 64 -64/3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (/.f32 (-.f32 (fma.f32 4096 (.f32 u u) 4096/9) (.f32 u 4096/3)) (fma.f32 (pow.f32 u 3) 262144 262144/27)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (/.f32 (fma.f32 u 64 -64/3) (fma.f32 4096 (.f32 u u) -4096/9)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (fma.f32 (pow.f32 u 3) 262144 262144/27) (-.f32 (fma.f32 4096 (.f32 u u) 4096/9) (.f32 u 4096/3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (fma.f32 (pow.f32 u 3) 262144 262144/27) (+.f32 4096/9 (-.f32 (.f32 4096 (.f32 u u)) (.f32 u 4096/3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (fma.f32 4096 (.f32 u u) -4096/9) (fma.f32 u 64 -64/3))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (neg.f32 (fma.f32 (pow.f32 u 3) 262144 262144/27)) (neg.f32 (-.f32 (fma.f32 4096 (.f32 u u) 4096/9) (.f32 u 4096/3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (neg.f32 (fma.f32 4096 (.f32 u u) -4096/9)) (neg.f32 (fma.f32 u 64 -64/3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 4096/9 (.f32 4096 (.f32 u u))) (-.f32 64/3 (.f32 u 64)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (fma.f32 u 64 64/3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (fma.f32 u 64 64/3) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (fma.f32 u 64 64/3)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (fma.f32 u 64 64/3)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (fma.f32 u 64 64/3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (fma.f32 u 64 64/3)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (fma.f32 u 64 64/3) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (fma.f32 u 64 64/3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (fma.f32 u 64 64/3)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (fma.f32 u 64 64/3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (fma.f32 u 64 64/3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 u 64 64/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 64 u 64/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 u 64) 1 64/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 1 (.f32 u 64) 64/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 4 (cbrt.f32 u)) (pow.f32 (.f32 4 (cbrt.f32 u)) 2) 64/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 (.f32 4 (cbrt.f32 u)) 2) (.f32 4 (cbrt.f32 u)) 64/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 (cbrt.f32 u) 2) (.f32 (cbrt.f32 u) 64) 64/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 8 (sqrt.f32 u)) (.f32 8 (sqrt.f32 u)) 64/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 u) (.f32 (sqrt.f32 u) 64) 64/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 64 (pow.f32 (cbrt.f32 u) 2)) (cbrt.f32 u) 64/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 64 (sqrt.f32 u)) (sqrt.f32 u) 64/3)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 (fma.f32 u 8 4) (.f32 u s)) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)) (.f32 (fma.f32 u 8 4) (.f32 u s)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 (.f32 (fma.f32 u 8 4) (.f32 u s)) 1) (.f32 (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (.f32 (fma.f32 u 8 4) (.f32 u s)) 3) (pow.f32 (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)) 3)) (fma.f32 (.f32 (fma.f32 u 8 4) (.f32 u s)) (.f32 (fma.f32 u 8 4) (.f32 u s)) (-.f32 (.f32 (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s))) (.f32 (.f32 (fma.f32 u 8 4) (.f32 u s)) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (.f32 (.f32 (fma.f32 u 8 4) (.f32 u s)) (.f32 (fma.f32 u 8 4) (.f32 u s))) (.f32 (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))) (-.f32 (.f32 (fma.f32 u 8 4) (.f32 u s)) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (+.f32 (pow.f32 (.f32 u (fma.f32 u 8 4)) 3) (pow.f32 (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) 3)) s) (fma.f32 (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) (-.f32 (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) (.f32 u (fma.f32 u 8 4))) (pow.f32 (.f32 u (fma.f32 u 8 4)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (-.f32 (pow.f32 (.f32 u (fma.f32 u 8 4)) 2) (.f32 (pow.f32 (fma.f32 u 64 64/3) 2) (pow.f32 u 6))) s) (fma.f32 u (fma.f32 u 8 4) (.f32 (neg.f32 (fma.f32 u 64 64/3)) (pow.f32 u 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 s (+.f32 (pow.f32 (.f32 u (fma.f32 u 8 4)) 3) (pow.f32 (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) 3))) (fma.f32 (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) (-.f32 (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) (.f32 u (fma.f32 u 8 4))) (pow.f32 (.f32 u (fma.f32 u 8 4)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 s (-.f32 (pow.f32 (.f32 u (fma.f32 u 8 4)) 2) (.f32 (pow.f32 (fma.f32 u 64 64/3) 2) (pow.f32 u 6)))) (fma.f32 u (fma.f32 u 8 4) (.f32 (neg.f32 (fma.f32 u 64 64/3)) (pow.f32 u 3))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 s) (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (.f32 (exp.f32 (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s))) (exp.f32 (.f32 (fma.f32 u 8 4) (.f32 u s)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 s 3) (pow.f32 (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))) 3) (pow.f32 s 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 u (.f32 (fma.f32 u 8 4) s) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 u 3) (.f32 (fma.f32 u 64 64/3) s) (.f32 (fma.f32 u 8 4) (.f32 u s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s) (.f32 (fma.f32 u 8 4) (.f32 u s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) s (.f32 (fma.f32 u 8 4) (.f32 u s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (fma.f32 u 8 4) (.f32 u s) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 u (fma.f32 u 8 4)) s (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 s (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) (.f32 (fma.f32 u 8 4) (.f32 u s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 s (.f32 u (fma.f32 u 8 4)) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 1 (.f32 (fma.f32 u 8 4) (.f32 u s)) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 1 (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)) (.f32 (fma.f32 u 8 4) (.f32 u s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 (cbrt.f32 s) 2) (.f32 (cbrt.f32 s) (.f32 u (fma.f32 u 8 4))) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 (cbrt.f32 s) 2) (.f32 (cbrt.f32 s) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))) (.f32 (fma.f32 u 8 4) (.f32 u s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 (.f32 u (cbrt.f32 (fma.f32 u 64 64/3))) 2) (.f32 (.f32 u (cbrt.f32 (fma.f32 u 64 64/3))) s) (.f32 (fma.f32 u 8 4) (.f32 u s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 (cbrt.f32 (.f32 u (fma.f32 u 8 4))) 2) (.f32 (cbrt.f32 (.f32 u (fma.f32 u 8 4))) s) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 s) (.f32 (sqrt.f32 s) (.f32 u (fma.f32 u 8 4))) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 s) (.f32 (sqrt.f32 s) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))) (.f32 (fma.f32 u 8 4) (.f32 u s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (sqrt.f32 (fma.f32 u 64 64/3)) (pow.f32 u 3/2)) (.f32 (.f32 (sqrt.f32 (fma.f32 u 64 64/3)) (pow.f32 u 3/2)) s) (.f32 (fma.f32 u 8 4) (.f32 u s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 (.f32 u (fma.f32 u 8 4))) (.f32 (sqrt.f32 (.f32 u (fma.f32 u 8 4))) s) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (fma.f32 u 8 4) (.f32 u s)) 1 (.f32 (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (cbrt.f32 (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s))) (cbrt.f32 (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))) (cbrt.f32 (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s))) (.f32 (fma.f32 u 8 4) (.f32 u s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (cbrt.f32 (.f32 (fma.f32 u 8 4) (.f32 u s))) (cbrt.f32 (.f32 (fma.f32 u 8 4) (.f32 u s)))) (cbrt.f32 (.f32 (fma.f32 u 8 4) (.f32 u s))) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s))) (sqrt.f32 (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s))) (.f32 (fma.f32 u 8 4) (.f32 u s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 (.f32 (fma.f32 u 8 4) (.f32 u s))) (sqrt.f32 (.f32 (fma.f32 u 8 4) (.f32 u s))) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (sqrt.f32 (.f32 u (fma.f32 u 8 4))) (sqrt.f32 s)) (.f32 (sqrt.f32 (.f32 u (fma.f32 u 8 4))) (sqrt.f32 s)) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (.f32 (sqrt.f32 (fma.f32 u 64 64/3)) (pow.f32 u 3/2)) (sqrt.f32 s)) (.f32 (.f32 (sqrt.f32 (fma.f32 u 64 64/3)) (pow.f32 u 3/2)) (sqrt.f32 s)) (.f32 (fma.f32 u 8 4) (.f32 u s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (sqrt.f32 s) (sqrt.f32 (.f32 u (fma.f32 u 8 4)))) (.f32 (sqrt.f32 s) (sqrt.f32 (.f32 u (fma.f32 u 8 4)))) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (sqrt.f32 s) (.f32 (sqrt.f32 (fma.f32 u 64 64/3)) (pow.f32 u 3/2))) (.f32 (sqrt.f32 s) (.f32 (sqrt.f32 (fma.f32 u 64 64/3)) (pow.f32 u 3/2))) (.f32 (fma.f32 u 8 4) (.f32 u s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (.f32 u (fma.f32 u 8 4)) (pow.f32 (cbrt.f32 s) 2)) (cbrt.f32 s) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (.f32 u (fma.f32 u 8 4)) (sqrt.f32 s)) (sqrt.f32 s) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) (pow.f32 (cbrt.f32 s) 2)) (cbrt.f32 s) (.f32 (fma.f32 u 8 4) (.f32 u s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) (sqrt.f32 s)) (sqrt.f32 s) (.f32 (fma.f32 u 8 4) (.f32 u s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 s u) (fma.f32 u 8 4) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 s (fma.f32 u 8 4)) u (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 s (pow.f32 (cbrt.f32 (.f32 u (fma.f32 u 8 4))) 2)) (cbrt.f32 (.f32 u (fma.f32 u 8 4))) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 s (sqrt.f32 (.f32 u (fma.f32 u 8 4)))) (sqrt.f32 (.f32 u (fma.f32 u 8 4))) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 s (pow.f32 u 3)) (fma.f32 u 64 64/3) (.f32 (fma.f32 u 8 4) (.f32 u s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 s (fma.f32 u 64 64/3)) (pow.f32 u 3) (.f32 (fma.f32 u 8 4) (.f32 u s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 s (pow.f32 (.f32 u (cbrt.f32 (fma.f32 u 64 64/3))) 2)) (.f32 u (cbrt.f32 (fma.f32 u 64 64/3))) (.f32 (fma.f32 u 8 4) (.f32 u s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (.f32 s (.f32 (sqrt.f32 (fma.f32 u 64 64/3)) (pow.f32 u 3/2))) (.f32 (sqrt.f32 (fma.f32 u 64 64/3)) (pow.f32 u 3/2)) (.f32 (fma.f32 u 8 4) (.f32 u s)))))))

simplify122.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1320×	`distribute-lft-in_binary32`
1103×	`distribute-rgt-in_binary32`
828×	`distribute-rgt-out_binary32`
633×	`associate-l_binary32`
350×	`associate-r_binary32`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	46	849
1	136	780
2	334	728
3	1055	720
4	3335	719
5	5363	719
6	5437	719
7	5545	719
8	5684	719
9	5860	719
10	6079	719

Stop Event

1×	node limit

Counts

270 → 241

Calls

Call 1

Inputs
(*.f32 64/3 (pow.f32 u 3))
(+.f32 (.f32 64 (pow.f32 u 4)) (.f32 64/3 (pow.f32 u 3)))
(+.f32 (.f32 64 (pow.f32 u 4)) (.f32 64/3 (pow.f32 u 3)))
(+.f32 (.f32 64 (pow.f32 u 4)) (.f32 64/3 (pow.f32 u 3)))
(*.f32 64 (pow.f32 u 4))
(+.f32 (.f32 64 (pow.f32 u 4)) (.f32 64/3 (pow.f32 u 3)))
(+.f32 (.f32 64 (pow.f32 u 4)) (.f32 64/3 (pow.f32 u 3)))
(+.f32 (.f32 64 (pow.f32 u 4)) (.f32 64/3 (pow.f32 u 3)))
(*.f32 64 (pow.f32 u 4))
(+.f32 (.f32 64 (pow.f32 u 4)) (.f32 64/3 (pow.f32 u 3)))
(+.f32 (.f32 64 (pow.f32 u 4)) (.f32 64/3 (pow.f32 u 3)))
(+.f32 (.f32 64 (pow.f32 u 4)) (.f32 64/3 (pow.f32 u 3)))
(*.f32 4 u)
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(*.f32 8 (pow.f32 u 2))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(*.f32 8 (pow.f32 u 2))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
64/3
(+.f32 (*.f32 64 u) 64/3)
(+.f32 (*.f32 64 u) 64/3)
(+.f32 (*.f32 64 u) 64/3)
(*.f32 64 u)
(+.f32 64/3 (*.f32 64 u))
(+.f32 64/3 (*.f32 64 u))
(+.f32 64/3 (*.f32 64 u))
(*.f32 64 u)
(+.f32 64/3 (*.f32 64 u))
(+.f32 64/3 (*.f32 64 u))
(+.f32 64/3 (*.f32 64 u))
(.f32 s (+.f32 (.f32 (+.f32 4 (.f32 8 u)) u) (.f32 (+.f32 (*.f32 64 u) 64/3) (pow.f32 u 3))))
(.f32 s (+.f32 (.f32 (+.f32 4 (.f32 8 u)) u) (.f32 (+.f32 (*.f32 64 u) 64/3) (pow.f32 u 3))))
(.f32 s (+.f32 (.f32 (+.f32 4 (.f32 8 u)) u) (.f32 (+.f32 (*.f32 64 u) 64/3) (pow.f32 u 3))))
(.f32 s (+.f32 (.f32 (+.f32 4 (.f32 8 u)) u) (.f32 (+.f32 (*.f32 64 u) 64/3) (pow.f32 u 3))))
(.f32 s (+.f32 (.f32 (+.f32 4 (.f32 8 u)) u) (.f32 (+.f32 (*.f32 64 u) 64/3) (pow.f32 u 3))))
(.f32 s (+.f32 (.f32 (+.f32 4 (.f32 8 u)) u) (.f32 (+.f32 (*.f32 64 u) 64/3) (pow.f32 u 3))))
(.f32 s (+.f32 (.f32 (+.f32 4 (.f32 8 u)) u) (.f32 (+.f32 (*.f32 64 u) 64/3) (pow.f32 u 3))))
(.f32 s (+.f32 (.f32 (+.f32 4 (.f32 8 u)) u) (.f32 (+.f32 (*.f32 64 u) 64/3) (pow.f32 u 3))))
(.f32 s (+.f32 (.f32 u (+.f32 4 (.f32 8 u))) (.f32 (+.f32 64/3 (*.f32 64 u)) (pow.f32 u 3))))
(.f32 s (+.f32 (.f32 u (+.f32 4 (.f32 8 u))) (.f32 (+.f32 64/3 (*.f32 64 u)) (pow.f32 u 3))))
(.f32 s (+.f32 (.f32 u (+.f32 4 (.f32 8 u))) (.f32 (+.f32 64/3 (*.f32 64 u)) (pow.f32 u 3))))
(.f32 s (+.f32 (.f32 u (+.f32 4 (.f32 8 u))) (.f32 (+.f32 64/3 (*.f32 64 u)) (pow.f32 u 3))))
(.f32 4 (.f32 s u))
(+.f32 (.f32 4 (.f32 s u)) (.f32 8 (.f32 s (pow.f32 u 2))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (.f32 8 (.f32 s (pow.f32 u 2)))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))
(.f32 64 (.f32 s (pow.f32 u 4)))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (.f32 64 (.f32 s (pow.f32 u 4))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4)))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))
(.f32 64 (.f32 s (pow.f32 u 4)))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (.f32 64 (.f32 s (pow.f32 u 4))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4)))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))

Outputs
(*.f32 64/3 (pow.f32 u 3))
(+.f32 (.f32 64 (pow.f32 u 4)) (.f32 64/3 (pow.f32 u 3)))
(fma.f32 64 (pow.f32 u 4) (*.f32 64/3 (pow.f32 u 3)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 64 (pow.f32 u 4)))
(*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))
(+.f32 (.f32 64 (pow.f32 u 4)) (.f32 64/3 (pow.f32 u 3)))
(fma.f32 64 (pow.f32 u 4) (*.f32 64/3 (pow.f32 u 3)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 64 (pow.f32 u 4)))
(*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))
(+.f32 (.f32 64 (pow.f32 u 4)) (.f32 64/3 (pow.f32 u 3)))
(fma.f32 64 (pow.f32 u 4) (*.f32 64/3 (pow.f32 u 3)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 64 (pow.f32 u 4)))
(*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))
(*.f32 64 (pow.f32 u 4))
(+.f32 (.f32 64 (pow.f32 u 4)) (.f32 64/3 (pow.f32 u 3)))
(fma.f32 64 (pow.f32 u 4) (*.f32 64/3 (pow.f32 u 3)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 64 (pow.f32 u 4)))
(*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))
(+.f32 (.f32 64 (pow.f32 u 4)) (.f32 64/3 (pow.f32 u 3)))
(fma.f32 64 (pow.f32 u 4) (*.f32 64/3 (pow.f32 u 3)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 64 (pow.f32 u 4)))
(*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))
(+.f32 (.f32 64 (pow.f32 u 4)) (.f32 64/3 (pow.f32 u 3)))
(fma.f32 64 (pow.f32 u 4) (*.f32 64/3 (pow.f32 u 3)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 64 (pow.f32 u 4)))
(*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))
(*.f32 64 (pow.f32 u 4))
(+.f32 (.f32 64 (pow.f32 u 4)) (.f32 64/3 (pow.f32 u 3)))
(fma.f32 64 (pow.f32 u 4) (*.f32 64/3 (pow.f32 u 3)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 64 (pow.f32 u 4)))
(*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))
(+.f32 (.f32 64 (pow.f32 u 4)) (.f32 64/3 (pow.f32 u 3)))
(fma.f32 64 (pow.f32 u 4) (*.f32 64/3 (pow.f32 u 3)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 64 (pow.f32 u 4)))
(*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))
(+.f32 (.f32 64 (pow.f32 u 4)) (.f32 64/3 (pow.f32 u 3)))
(fma.f32 64 (pow.f32 u 4) (*.f32 64/3 (pow.f32 u 3)))
(fma.f32 64/3 (pow.f32 u 3) (*.f32 64 (pow.f32 u 4)))
(*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))
(*.f32 4 u)
(*.f32 u 4)
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(fma.f32 8 (.f32 u u) (.f32 u 4))
(*.f32 u (fma.f32 u 8 4))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(fma.f32 8 (.f32 u u) (.f32 u 4))
(*.f32 u (fma.f32 u 8 4))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(fma.f32 8 (.f32 u u) (.f32 u 4))
(*.f32 u (fma.f32 u 8 4))
(*.f32 8 (pow.f32 u 2))
(.f32 8 (.f32 u u))
(.f32 u (.f32 u 8))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(fma.f32 8 (.f32 u u) (.f32 u 4))
(*.f32 u (fma.f32 u 8 4))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(fma.f32 8 (.f32 u u) (.f32 u 4))
(*.f32 u (fma.f32 u 8 4))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(fma.f32 8 (.f32 u u) (.f32 u 4))
(*.f32 u (fma.f32 u 8 4))
(*.f32 8 (pow.f32 u 2))
(.f32 8 (.f32 u u))
(.f32 u (.f32 u 8))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(fma.f32 8 (.f32 u u) (.f32 u 4))
(*.f32 u (fma.f32 u 8 4))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(fma.f32 8 (.f32 u u) (.f32 u 4))
(*.f32 u (fma.f32 u 8 4))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(fma.f32 8 (.f32 u u) (.f32 u 4))
(*.f32 u (fma.f32 u 8 4))
64/3
(+.f32 (*.f32 64 u) 64/3)
(fma.f32 64 u 64/3)
(fma.f32 u 64 64/3)
(+.f32 (*.f32 64 u) 64/3)
(fma.f32 64 u 64/3)
(fma.f32 u 64 64/3)
(+.f32 (*.f32 64 u) 64/3)
(fma.f32 64 u 64/3)
(fma.f32 u 64 64/3)
(*.f32 64 u)
(*.f32 u 64)
(+.f32 64/3 (*.f32 64 u))
(fma.f32 64 u 64/3)
(fma.f32 u 64 64/3)
(+.f32 64/3 (*.f32 64 u))
(fma.f32 64 u 64/3)
(fma.f32 u 64 64/3)
(+.f32 64/3 (*.f32 64 u))
(fma.f32 64 u 64/3)
(fma.f32 u 64 64/3)
(*.f32 64 u)
(*.f32 u 64)
(+.f32 64/3 (*.f32 64 u))
(fma.f32 64 u 64/3)
(fma.f32 u 64 64/3)
(+.f32 64/3 (*.f32 64 u))
(fma.f32 64 u 64/3)
(fma.f32 u 64 64/3)
(+.f32 64/3 (*.f32 64 u))
(fma.f32 64 u 64/3)
(fma.f32 u 64 64/3)
(.f32 s (+.f32 (.f32 (+.f32 4 (.f32 8 u)) u) (.f32 (+.f32 (*.f32 64 u) 64/3) (pow.f32 u 3))))
(.f32 s (fma.f32 u (+.f32 4 (.f32 u 8)) (*.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))))
(.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))
(.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (.f32 u (fma.f32 u 8 4))))
(.f32 s (+.f32 (.f32 (+.f32 4 (.f32 8 u)) u) (.f32 (+.f32 (*.f32 64 u) 64/3) (pow.f32 u 3))))
(.f32 s (fma.f32 u (+.f32 4 (.f32 u 8)) (*.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))))
(.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))
(.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (.f32 u (fma.f32 u 8 4))))
(.f32 s (+.f32 (.f32 (+.f32 4 (.f32 8 u)) u) (.f32 (+.f32 (*.f32 64 u) 64/3) (pow.f32 u 3))))
(.f32 s (fma.f32 u (+.f32 4 (.f32 u 8)) (*.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))))
(.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))
(.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (.f32 u (fma.f32 u 8 4))))
(.f32 s (+.f32 (.f32 (+.f32 4 (.f32 8 u)) u) (.f32 (+.f32 (*.f32 64 u) 64/3) (pow.f32 u 3))))
(.f32 s (fma.f32 u (+.f32 4 (.f32 u 8)) (*.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))))
(.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))
(.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (.f32 u (fma.f32 u 8 4))))
(.f32 s (+.f32 (.f32 (+.f32 4 (.f32 8 u)) u) (.f32 (+.f32 (*.f32 64 u) 64/3) (pow.f32 u 3))))
(.f32 s (fma.f32 u (+.f32 4 (.f32 u 8)) (*.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))))
(.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))
(.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (.f32 u (fma.f32 u 8 4))))
(.f32 s (+.f32 (.f32 (+.f32 4 (.f32 8 u)) u) (.f32 (+.f32 (*.f32 64 u) 64/3) (pow.f32 u 3))))
(.f32 s (fma.f32 u (+.f32 4 (.f32 u 8)) (*.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))))
(.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))
(.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (.f32 u (fma.f32 u 8 4))))
(.f32 s (+.f32 (.f32 (+.f32 4 (.f32 8 u)) u) (.f32 (+.f32 (*.f32 64 u) 64/3) (pow.f32 u 3))))
(.f32 s (fma.f32 u (+.f32 4 (.f32 u 8)) (*.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))))
(.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))
(.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (.f32 u (fma.f32 u 8 4))))
(.f32 s (+.f32 (.f32 (+.f32 4 (.f32 8 u)) u) (.f32 (+.f32 (*.f32 64 u) 64/3) (pow.f32 u 3))))
(.f32 s (fma.f32 u (+.f32 4 (.f32 u 8)) (*.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))))
(.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))
(.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (.f32 u (fma.f32 u 8 4))))
(.f32 s (+.f32 (.f32 u (+.f32 4 (.f32 8 u))) (.f32 (+.f32 64/3 (*.f32 64 u)) (pow.f32 u 3))))
(.f32 s (fma.f32 u (+.f32 4 (.f32 u 8)) (*.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))))
(.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))
(.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (.f32 u (fma.f32 u 8 4))))
(.f32 s (+.f32 (.f32 u (+.f32 4 (.f32 8 u))) (.f32 (+.f32 64/3 (*.f32 64 u)) (pow.f32 u 3))))
(.f32 s (fma.f32 u (+.f32 4 (.f32 u 8)) (*.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))))
(.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))
(.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (.f32 u (fma.f32 u 8 4))))
(.f32 s (+.f32 (.f32 u (+.f32 4 (.f32 8 u))) (.f32 (+.f32 64/3 (*.f32 64 u)) (pow.f32 u 3))))
(.f32 s (fma.f32 u (+.f32 4 (.f32 u 8)) (*.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))))
(.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))
(.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (.f32 u (fma.f32 u 8 4))))
(.f32 s (+.f32 (.f32 u (+.f32 4 (.f32 8 u))) (.f32 (+.f32 64/3 (*.f32 64 u)) (pow.f32 u 3))))
(.f32 s (fma.f32 u (+.f32 4 (.f32 u 8)) (*.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))))
(.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))
(.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (.f32 u (fma.f32 u 8 4))))
(.f32 4 (.f32 s u))
(.f32 4 (.f32 u s))
(.f32 u (.f32 4 s))
(+.f32 (.f32 4 (.f32 s u)) (.f32 8 (.f32 s (pow.f32 u 2))))
(fma.f32 4 (.f32 u s) (.f32 8 (.f32 (.f32 u u) s)))
(.f32 (fma.f32 u 8 4) (.f32 u s))
(.f32 u (.f32 s (fma.f32 u 8 4)))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (.f32 8 (.f32 s (pow.f32 u 2)))))
(fma.f32 64/3 (.f32 (pow.f32 u 3) s) (fma.f32 4 (.f32 u s) (.f32 8 (.f32 (*.f32 u u) s))))
(fma.f32 64/3 (.f32 (pow.f32 u 3) s) (.f32 (fma.f32 u 8 4) (*.f32 u s)))
(.f32 s (+.f32 (.f32 u (fma.f32 u 8 4)) (*.f32 64/3 (pow.f32 u 3))))
(.f32 s (+.f32 (.f32 64/3 (pow.f32 u 3)) (*.f32 u (fma.f32 u 8 4))))
(.f32 s (.f32 u (+.f32 4 (.f32 u (+.f32 8 (.f32 64/3 u))))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))
(.f32 s (fma.f32 u (+.f32 4 (.f32 u 8)) (*.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))))
(.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))
(.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (.f32 u (fma.f32 u 8 4))))
(.f32 64 (.f32 s (pow.f32 u 4)))
(.f32 64 (.f32 (pow.f32 u 4) s))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (.f32 64 (.f32 s (pow.f32 u 4))))
(fma.f32 64/3 (.f32 (pow.f32 u 3) s) (.f32 64 (*.f32 (pow.f32 u 4) s)))
(.f32 (pow.f32 u 3) (.f32 (fma.f32 u 64 64/3) s))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4)))))
(fma.f32 64/3 (.f32 (pow.f32 u 3) s) (fma.f32 8 (.f32 (.f32 u u) s) (.f32 64 (*.f32 (pow.f32 u 4) s))))
(fma.f32 64/3 (.f32 (pow.f32 u 3) s) (fma.f32 64 (.f32 (pow.f32 u 4) s) (.f32 8 (.f32 u (*.f32 u s)))))
(fma.f32 8 (.f32 u (.f32 u s)) (.f32 (pow.f32 u 3) (.f32 (fma.f32 u 64 64/3) s)))
(.f32 (.f32 u (.f32 u s)) (+.f32 8 (.f32 u (fma.f32 u 64 64/3))))
(.f32 (.f32 u u) (.f32 s (+.f32 8 (.f32 u (fma.f32 u 64 64/3)))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))
(.f32 s (fma.f32 u (+.f32 4 (.f32 u 8)) (*.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))))
(.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))
(.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (.f32 u (fma.f32 u 8 4))))
(.f32 64 (.f32 s (pow.f32 u 4)))
(.f32 64 (.f32 (pow.f32 u 4) s))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (.f32 64 (.f32 s (pow.f32 u 4))))
(fma.f32 64/3 (.f32 (pow.f32 u 3) s) (.f32 64 (*.f32 (pow.f32 u 4) s)))
(.f32 (pow.f32 u 3) (.f32 (fma.f32 u 64 64/3) s))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4)))))
(fma.f32 64/3 (.f32 (pow.f32 u 3) s) (fma.f32 8 (.f32 (.f32 u u) s) (.f32 64 (*.f32 (pow.f32 u 4) s))))
(fma.f32 64/3 (.f32 (pow.f32 u 3) s) (fma.f32 64 (.f32 (pow.f32 u 4) s) (.f32 8 (.f32 u (*.f32 u s)))))
(fma.f32 8 (.f32 u (.f32 u s)) (.f32 (pow.f32 u 3) (.f32 (fma.f32 u 64 64/3) s)))
(.f32 (.f32 u (.f32 u s)) (+.f32 8 (.f32 u (fma.f32 u 64 64/3))))
(.f32 (.f32 u u) (.f32 s (+.f32 8 (.f32 u (fma.f32 u 64 64/3)))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))
(.f32 s (fma.f32 u (+.f32 4 (.f32 u 8)) (*.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))))
(.f32 s (fma.f32 u (fma.f32 u 8 4) (.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))
(.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (.f32 u (fma.f32 u 8 4))))

prune1.0s (18.4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	234	7	241
Fresh	2	2	4
Picked	1	0	1
Done	0	1	1
Total	237	10	247

Error

0.0b

Counts

247 → 10

Alt Table

Status	Error	Program
	2.3b	(fma.f32 (pow.f32 (cbrt.f32 s) 2) (.f32 (cbrt.f32 s) (.f32 u (fma.f32 u 8 4))) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))
✓	0.2b	(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))
	2.3b	(fma.f32 (pow.f32 (cbrt.f32 (.f32 u (fma.f32 u 8 4))) 2) (.f32 (cbrt.f32 (.f32 u (fma.f32 u 8 4))) s) (.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s)))
	2.1b	(fma.f32 (.f32 (.f32 u (fma.f32 u 8 4)) (sqrt.f32 s)) (sqrt.f32 s) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))
	2.0b	(fma.f32 (.f32 s (fma.f32 u 8 4)) u (.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s)))
▶	1.8b	(.f32 s (+.f32 (/.f32 (-.f32 (.f32 (.f32 u (.f32 u 8)) (.f32 u (.f32 u 8))) (.f32 (.f32 u 4) (.f32 u 4))) (-.f32 (.f32 u (.f32 u 8)) (.f32 u 4))) (.f32 (pow.f32 u 3) (+.f32 (.f32 u 64) 64/3))))
	12.8b	(.f32 s (log.f32 (/.f32 1 (-.f32 1 (.f32 4 u)))))
	2.5b	(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (.f32 8 (.f32 s (pow.f32 u 2)))))
	2.0b	(.f32 s (+.f32 (fma.f32 (.f32 4 (sqrt.f32 u)) (sqrt.f32 u) (.f32 u (.f32 u 8))) (.f32 (pow.f32 u 3) (+.f32 (.f32 u 64) 64/3))))
	1.8b	(.f32 s (+.f32 (/.f32 (.f32 u (fma.f32 64 (.f32 u u) -16)) (fma.f32 u 8 -4)) (.f32 (pow.f32 u 3) (+.f32 (*.f32 u 64) 64/3))))

Compiler

Compiled 6281 to 4449 computations (29.2% saved)

localize77.0ms (1.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f32 s (+.f32 (/.f32 (-.f32 (.f32 (.f32 u (.f32 u 8)) (.f32 u (.f32 u 8))) (.f32 (.f32 u 4) (.f32 u 4))) (-.f32 (.f32 u (.f32 u 8)) (.f32 u 4))) (.f32 (pow.f32 u 3) (+.f32 (.f32 u 64) 64/3))))
	0.3b	(+.f32 (*.f32 u 64) 64/3)
	0.4b	(.f32 (pow.f32 u 3) (+.f32 (.f32 u 64) 64/3))
✓	0.5b	(.f32 (.f32 u (.f32 u 8)) (.f32 u (*.f32 u 8)))

series9.0ms (0.2%)

Counts

2 → 36

Calls

9 calls:

Time	Variable		Point	Expression
4.0ms	s	@	0	(.f32 s (+.f32 (/.f32 (-.f32 (.f32 (.f32 u (.f32 u 8)) (.f32 u (.f32 u 8))) (.f32 (.f32 u 4) (.f32 u 4))) (-.f32 (.f32 u (.f32 u 8)) (.f32 u 4))) (.f32 (pow.f32 u 3) (+.f32 (.f32 u 64) 64/3))))
1.0ms	s	@	inf	(.f32 s (+.f32 (/.f32 (-.f32 (.f32 (.f32 u (.f32 u 8)) (.f32 u (.f32 u 8))) (.f32 (.f32 u 4) (.f32 u 4))) (-.f32 (.f32 u (.f32 u 8)) (.f32 u 4))) (.f32 (pow.f32 u 3) (+.f32 (.f32 u 64) 64/3))))
1.0ms	s	@	-inf	(.f32 s (+.f32 (/.f32 (-.f32 (.f32 (.f32 u (.f32 u 8)) (.f32 u (.f32 u 8))) (.f32 (.f32 u 4) (.f32 u 4))) (-.f32 (.f32 u (.f32 u 8)) (.f32 u 4))) (.f32 (pow.f32 u 3) (+.f32 (.f32 u 64) 64/3))))
1.0ms	u	@	0	(.f32 (.f32 u (.f32 u 8)) (.f32 u (*.f32 u 8)))
1.0ms	u	@	inf	(.f32 s (+.f32 (/.f32 (-.f32 (.f32 (.f32 u (.f32 u 8)) (.f32 u (.f32 u 8))) (.f32 (.f32 u 4) (.f32 u 4))) (-.f32 (.f32 u (.f32 u 8)) (.f32 u 4))) (.f32 (pow.f32 u 3) (+.f32 (.f32 u 64) 64/3))))

rewrite41.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

261×	`add-sqr-sqrt_binary32`
254×	`pow1_binary32`
252×	`*-un-lft-identity_binary32`
249×	`add-cbrt-cube_binary32`
249×	`add-log-exp_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	22	57
1	538	34

Stop Event

1×	node limit

Counts

2 → 40

Calls

Call 1

Inputs

(*.f32 (*.f32 u (*.f32 u 8)) (*.f32 u (*.f32 u 8)))

(*.f32 s (+.f32 (/.f32 (-.f32 (*.f32 (*.f32 u (*.f32 u 8)) (*.f32 u (*.f32 u 8))) (*.f32 (*.f32 u 4) (*.f32 u 4))) (-.f32 (*.f32 u (*.f32 u 8)) (*.f32 u 4))) (*.f32 (pow.f32 u 3) (+.f32 (*.f32 u 64) 64/3))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 (pow.f32 (*.f32 u u) 2) 64))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 u (*.f32 u 8)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (pow.f32 (*.f32 u u) 2) 64) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 (pow.f32 (cbrt.f32 u) 2) 2) 2) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 u (*.f32 u 8)) 6) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 u (*.f32 u 8)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (*.f32 (pow.f32 (*.f32 u u) 2) 64)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 (pow.f32 (*.f32 u u) 2) 64))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 u (*.f32 u 8)) 6))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 2 (log.f32 (*.f32 u (*.f32 u 8)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 u (*.f32 u 8))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (*.f32 2 (log.f32 (*.f32 u (*.f32 u 8)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 (pow.f32 (*.f32 u u) 2) 64)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 (pow.f32 (*.f32 u u) 2) 64)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s)) (*.f32 s (*.f32 u (+.f32 (*.f32 u 8) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 s (*.f32 u (+.f32 (*.f32 u 8) 4))) (*.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (*.f32 s (*.f32 u (+.f32 (*.f32 u 8) 4))) 1) (*.f32 (*.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (*.f32 u (+.f32 (*.f32 u 8) 4)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (*.f32 s (*.f32 u (+.f32 (*.f32 u 8) 4))) 3) (pow.f32 (*.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s)) 3)) (+.f32 (*.f32 (*.f32 s (*.f32 u (+.f32 (*.f32 u 8) 4))) (*.f32 s (*.f32 u (+.f32 (*.f32 u 8) 4)))) (-.f32 (*.f32 (*.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s)) (*.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s))) (*.f32 (*.f32 s (*.f32 u (+.f32 (*.f32 u 8) 4))) (*.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (*.f32 (*.f32 s (*.f32 u (+.f32 (*.f32 u 8) 4))) (*.f32 s (*.f32 u (+.f32 (*.f32 u 8) 4)))) (*.f32 (*.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s)) (*.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s)))) (-.f32 (*.f32 s (*.f32 u (+.f32 (*.f32 u 8) 4))) (*.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (+.f32 (pow.f32 (*.f32 u (+.f32 (*.f32 u 8) 4)) 3) (pow.f32 (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) 3)) s) (+.f32 (pow.f32 (*.f32 u (+.f32 (*.f32 u 8) 4)) 2) (*.f32 (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) (-.f32 (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) (*.f32 u (+.f32 (*.f32 u 8) 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (-.f32 (pow.f32 (*.f32 u (+.f32 (*.f32 u 8) 4)) 2) (*.f32 (pow.f32 u 6) (pow.f32 (fma.f32 u 64 64/3) 2))) s) (-.f32 (*.f32 u (+.f32 (*.f32 u 8) 4)) (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 s (+.f32 (pow.f32 (*.f32 u (+.f32 (*.f32 u 8) 4)) 3) (pow.f32 (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) 3))) (+.f32 (pow.f32 (*.f32 u (+.f32 (*.f32 u 8) 4)) 2) (*.f32 (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) (-.f32 (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) (*.f32 u (+.f32 (*.f32 u 8) 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 s (-.f32 (pow.f32 (*.f32 u (+.f32 (*.f32 u 8) 4)) 2) (*.f32 (pow.f32 u 6) (pow.f32 (fma.f32 u 64 64/3) 2)))) (-.f32 (*.f32 u (+.f32 (*.f32 u 8) 4)) (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (*.f32 u (+.f32 (*.f32 u 8) 4)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (*.f32 u (+.f32 (*.f32 u 8) 4)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (*.f32 u (+.f32 (*.f32 u 8) 4))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (*.f32 u (+.f32 (*.f32 u 8) 4))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (*.f32 u (+.f32 (*.f32 u 8) 4)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (*.f32 u (+.f32 (*.f32 u 8) 4)))) s))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (*.f32 u (+.f32 (*.f32 u 8) 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (*.f32 u (+.f32 (*.f32 u 8) 4)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 s 3) (pow.f32 (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (*.f32 u (+.f32 (*.f32 u 8) 4))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (*.f32 u (+.f32 (*.f32 u 8) 4))) 3) (pow.f32 s 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (*.f32 u (+.f32 (*.f32 u 8) 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (*.f32 u (+.f32 (*.f32 u 8) 4))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (*.f32 u (+.f32 (*.f32 u 8) 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (*.f32 u (+.f32 (*.f32 u 8) 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 s (*.f32 u (+.f32 (*.f32 u 8) 4)) (*.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 u (+.f32 (*.f32 u 8) 4)) s (*.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s)))))))

simplify54.0ms (1%)

Algorithm

1×	egg-herbie

Rules

760×	`distribute-rgt-out_binary32`
525×	`associate-l_binary32`
503×	`fma-neg_binary32`
467×	`cancel-sign-sub-inv_binary32`
388×	`times-frac_binary32`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	47	1086
1	134	1014
2	339	946
3	1081	862
4	4688	772

Stop Event

1×	node limit

Counts

76 → 58

Calls

Call 1

Inputs
(*.f32 64 (pow.f32 u 4))
(*.f32 64 (pow.f32 u 4))
(*.f32 64 (pow.f32 u 4))
(*.f32 64 (pow.f32 u 4))
(*.f32 64 (pow.f32 u 4))
(*.f32 64 (pow.f32 u 4))
(*.f32 64 (pow.f32 u 4))
(*.f32 64 (pow.f32 u 4))
(*.f32 64 (pow.f32 u 4))
(*.f32 64 (pow.f32 u 4))
(*.f32 64 (pow.f32 u 4))
(*.f32 64 (pow.f32 u 4))
(.f32 s (-.f32 (+.f32 (.f32 64 (/.f32 (pow.f32 u 4) (-.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u)))) (.f32 (+.f32 64/3 (.f32 64 u)) (pow.f32 u 3))) (.f32 16 (/.f32 (pow.f32 u 2) (-.f32 (.f32 8 (pow.f32 u 2)) (*.f32 4 u))))))
(.f32 s (-.f32 (+.f32 (.f32 64 (/.f32 (pow.f32 u 4) (-.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u)))) (.f32 (+.f32 64/3 (.f32 64 u)) (pow.f32 u 3))) (.f32 16 (/.f32 (pow.f32 u 2) (-.f32 (.f32 8 (pow.f32 u 2)) (*.f32 4 u))))))
(.f32 s (-.f32 (+.f32 (.f32 64 (/.f32 (pow.f32 u 4) (-.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u)))) (.f32 (+.f32 64/3 (.f32 64 u)) (pow.f32 u 3))) (.f32 16 (/.f32 (pow.f32 u 2) (-.f32 (.f32 8 (pow.f32 u 2)) (*.f32 4 u))))))
(.f32 s (-.f32 (+.f32 (.f32 64 (/.f32 (pow.f32 u 4) (-.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u)))) (.f32 (+.f32 64/3 (.f32 64 u)) (pow.f32 u 3))) (.f32 16 (/.f32 (pow.f32 u 2) (-.f32 (.f32 8 (pow.f32 u 2)) (*.f32 4 u))))))
(.f32 s (-.f32 (+.f32 (.f32 64 (/.f32 (pow.f32 u 4) (-.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u)))) (.f32 (+.f32 64/3 (.f32 64 u)) (pow.f32 u 3))) (.f32 16 (/.f32 (pow.f32 u 2) (-.f32 (.f32 8 (pow.f32 u 2)) (*.f32 4 u))))))
(.f32 s (-.f32 (+.f32 (.f32 64 (/.f32 (pow.f32 u 4) (-.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u)))) (.f32 (+.f32 64/3 (.f32 64 u)) (pow.f32 u 3))) (.f32 16 (/.f32 (pow.f32 u 2) (-.f32 (.f32 8 (pow.f32 u 2)) (*.f32 4 u))))))
(.f32 s (-.f32 (+.f32 (.f32 64 (/.f32 (pow.f32 u 4) (-.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u)))) (.f32 (+.f32 64/3 (.f32 64 u)) (pow.f32 u 3))) (.f32 16 (/.f32 (pow.f32 u 2) (-.f32 (.f32 8 (pow.f32 u 2)) (*.f32 4 u))))))
(.f32 s (-.f32 (+.f32 (.f32 64 (/.f32 (pow.f32 u 4) (-.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u)))) (.f32 (+.f32 64/3 (.f32 64 u)) (pow.f32 u 3))) (.f32 16 (/.f32 (pow.f32 u 2) (-.f32 (.f32 8 (pow.f32 u 2)) (*.f32 4 u))))))
(.f32 (-.f32 (+.f32 (.f32 64 (/.f32 (pow.f32 u 4) (-.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u)))) (.f32 (+.f32 (.f32 64 u) 64/3) (pow.f32 u 3))) (.f32 16 (/.f32 (pow.f32 u 2) (-.f32 (.f32 8 (pow.f32 u 2)) (*.f32 4 u))))) s)
(.f32 (-.f32 (+.f32 (.f32 64 (/.f32 (pow.f32 u 4) (-.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u)))) (.f32 (+.f32 (.f32 64 u) 64/3) (pow.f32 u 3))) (.f32 16 (/.f32 (pow.f32 u 2) (-.f32 (.f32 8 (pow.f32 u 2)) (*.f32 4 u))))) s)
(.f32 (-.f32 (+.f32 (.f32 64 (/.f32 (pow.f32 u 4) (-.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u)))) (.f32 (+.f32 (.f32 64 u) 64/3) (pow.f32 u 3))) (.f32 16 (/.f32 (pow.f32 u 2) (-.f32 (.f32 8 (pow.f32 u 2)) (*.f32 4 u))))) s)
(.f32 (-.f32 (+.f32 (.f32 64 (/.f32 (pow.f32 u 4) (-.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u)))) (.f32 (+.f32 (.f32 64 u) 64/3) (pow.f32 u 3))) (.f32 16 (/.f32 (pow.f32 u 2) (-.f32 (.f32 8 (pow.f32 u 2)) (*.f32 4 u))))) s)
(.f32 4 (.f32 s u))
(+.f32 (.f32 4 (.f32 s u)) (.f32 8 (.f32 s (pow.f32 u 2))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (.f32 8 (.f32 s (pow.f32 u 2)))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))
(.f32 64 (.f32 s (pow.f32 u 4)))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (.f32 64 (.f32 s (pow.f32 u 4))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4)))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))
(.f32 64 (.f32 s (pow.f32 u 4)))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (.f32 64 (.f32 s (pow.f32 u 4))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4)))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))

Outputs
(*.f32 64 (pow.f32 u 4))
(*.f32 64 (pow.f32 u 4))
(*.f32 64 (pow.f32 u 4))
(*.f32 64 (pow.f32 u 4))
(*.f32 64 (pow.f32 u 4))
(*.f32 64 (pow.f32 u 4))
(*.f32 64 (pow.f32 u 4))
(*.f32 64 (pow.f32 u 4))
(*.f32 64 (pow.f32 u 4))
(*.f32 64 (pow.f32 u 4))
(*.f32 64 (pow.f32 u 4))
(*.f32 64 (pow.f32 u 4))
(.f32 s (-.f32 (+.f32 (.f32 64 (/.f32 (pow.f32 u 4) (-.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u)))) (.f32 (+.f32 64/3 (.f32 64 u)) (pow.f32 u 3))) (.f32 16 (/.f32 (pow.f32 u 2) (-.f32 (.f32 8 (pow.f32 u 2)) (*.f32 4 u))))))
(.f32 s (+.f32 (fma.f32 64 (/.f32 (pow.f32 u 4) (+.f32 (.f32 8 (.f32 u u)) (.f32 -4 u))) (.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))) (.f32 -16 (/.f32 (.f32 u u) (+.f32 (.f32 8 (.f32 u u)) (.f32 -4 u))))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (fma.f32 8 (.f32 u u) (.f32 u -4))) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (.f32 (/.f32 (.f32 u u) (fma.f32 8 (.f32 u u) (*.f32 u -4))) -16))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (.f32 u (-.f32 (.f32 u 8) 4))) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (.f32 (/.f32 (.f32 u u) (.f32 u (-.f32 (*.f32 u 8) 4))) -16))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (.f32 u (fma.f32 u 8 -4))) (.f32 (.f32 u u) (-.f32 (.f32 u (fma.f32 64 u 64/3)) (/.f32 16 (.f32 u (fma.f32 u 8 -4)))))))
(.f32 s (fma.f32 64 (.f32 (/.f32 u (+.f32 8 (/.f32 -4 u))) u) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (/.f32 -16 (+.f32 8 (/.f32 -4 u))))))
(.f32 s (-.f32 (+.f32 (.f32 64 (/.f32 (pow.f32 u 4) (-.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u)))) (.f32 (+.f32 64/3 (.f32 64 u)) (pow.f32 u 3))) (.f32 16 (/.f32 (pow.f32 u 2) (-.f32 (.f32 8 (pow.f32 u 2)) (*.f32 4 u))))))
(.f32 s (+.f32 (fma.f32 64 (/.f32 (pow.f32 u 4) (+.f32 (.f32 8 (.f32 u u)) (.f32 -4 u))) (.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))) (.f32 -16 (/.f32 (.f32 u u) (+.f32 (.f32 8 (.f32 u u)) (.f32 -4 u))))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (fma.f32 8 (.f32 u u) (.f32 u -4))) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (.f32 (/.f32 (.f32 u u) (fma.f32 8 (.f32 u u) (*.f32 u -4))) -16))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (.f32 u (-.f32 (.f32 u 8) 4))) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (.f32 (/.f32 (.f32 u u) (.f32 u (-.f32 (*.f32 u 8) 4))) -16))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (.f32 u (fma.f32 u 8 -4))) (.f32 (.f32 u u) (-.f32 (.f32 u (fma.f32 64 u 64/3)) (/.f32 16 (.f32 u (fma.f32 u 8 -4)))))))
(.f32 s (fma.f32 64 (.f32 (/.f32 u (+.f32 8 (/.f32 -4 u))) u) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (/.f32 -16 (+.f32 8 (/.f32 -4 u))))))
(.f32 s (-.f32 (+.f32 (.f32 64 (/.f32 (pow.f32 u 4) (-.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u)))) (.f32 (+.f32 64/3 (.f32 64 u)) (pow.f32 u 3))) (.f32 16 (/.f32 (pow.f32 u 2) (-.f32 (.f32 8 (pow.f32 u 2)) (*.f32 4 u))))))
(.f32 s (+.f32 (fma.f32 64 (/.f32 (pow.f32 u 4) (+.f32 (.f32 8 (.f32 u u)) (.f32 -4 u))) (.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))) (.f32 -16 (/.f32 (.f32 u u) (+.f32 (.f32 8 (.f32 u u)) (.f32 -4 u))))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (fma.f32 8 (.f32 u u) (.f32 u -4))) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (.f32 (/.f32 (.f32 u u) (fma.f32 8 (.f32 u u) (*.f32 u -4))) -16))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (.f32 u (-.f32 (.f32 u 8) 4))) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (.f32 (/.f32 (.f32 u u) (.f32 u (-.f32 (*.f32 u 8) 4))) -16))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (.f32 u (fma.f32 u 8 -4))) (.f32 (.f32 u u) (-.f32 (.f32 u (fma.f32 64 u 64/3)) (/.f32 16 (.f32 u (fma.f32 u 8 -4)))))))
(.f32 s (fma.f32 64 (.f32 (/.f32 u (+.f32 8 (/.f32 -4 u))) u) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (/.f32 -16 (+.f32 8 (/.f32 -4 u))))))
(.f32 s (-.f32 (+.f32 (.f32 64 (/.f32 (pow.f32 u 4) (-.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u)))) (.f32 (+.f32 64/3 (.f32 64 u)) (pow.f32 u 3))) (.f32 16 (/.f32 (pow.f32 u 2) (-.f32 (.f32 8 (pow.f32 u 2)) (*.f32 4 u))))))
(.f32 s (+.f32 (fma.f32 64 (/.f32 (pow.f32 u 4) (+.f32 (.f32 8 (.f32 u u)) (.f32 -4 u))) (.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))) (.f32 -16 (/.f32 (.f32 u u) (+.f32 (.f32 8 (.f32 u u)) (.f32 -4 u))))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (fma.f32 8 (.f32 u u) (.f32 u -4))) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (.f32 (/.f32 (.f32 u u) (fma.f32 8 (.f32 u u) (*.f32 u -4))) -16))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (.f32 u (-.f32 (.f32 u 8) 4))) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (.f32 (/.f32 (.f32 u u) (.f32 u (-.f32 (*.f32 u 8) 4))) -16))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (.f32 u (fma.f32 u 8 -4))) (.f32 (.f32 u u) (-.f32 (.f32 u (fma.f32 64 u 64/3)) (/.f32 16 (.f32 u (fma.f32 u 8 -4)))))))
(.f32 s (fma.f32 64 (.f32 (/.f32 u (+.f32 8 (/.f32 -4 u))) u) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (/.f32 -16 (+.f32 8 (/.f32 -4 u))))))
(.f32 s (-.f32 (+.f32 (.f32 64 (/.f32 (pow.f32 u 4) (-.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u)))) (.f32 (+.f32 64/3 (.f32 64 u)) (pow.f32 u 3))) (.f32 16 (/.f32 (pow.f32 u 2) (-.f32 (.f32 8 (pow.f32 u 2)) (*.f32 4 u))))))
(.f32 s (+.f32 (fma.f32 64 (/.f32 (pow.f32 u 4) (+.f32 (.f32 8 (.f32 u u)) (.f32 -4 u))) (.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))) (.f32 -16 (/.f32 (.f32 u u) (+.f32 (.f32 8 (.f32 u u)) (.f32 -4 u))))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (fma.f32 8 (.f32 u u) (.f32 u -4))) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (.f32 (/.f32 (.f32 u u) (fma.f32 8 (.f32 u u) (*.f32 u -4))) -16))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (.f32 u (-.f32 (.f32 u 8) 4))) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (.f32 (/.f32 (.f32 u u) (.f32 u (-.f32 (*.f32 u 8) 4))) -16))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (.f32 u (fma.f32 u 8 -4))) (.f32 (.f32 u u) (-.f32 (.f32 u (fma.f32 64 u 64/3)) (/.f32 16 (.f32 u (fma.f32 u 8 -4)))))))
(.f32 s (fma.f32 64 (.f32 (/.f32 u (+.f32 8 (/.f32 -4 u))) u) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (/.f32 -16 (+.f32 8 (/.f32 -4 u))))))
(.f32 s (-.f32 (+.f32 (.f32 64 (/.f32 (pow.f32 u 4) (-.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u)))) (.f32 (+.f32 64/3 (.f32 64 u)) (pow.f32 u 3))) (.f32 16 (/.f32 (pow.f32 u 2) (-.f32 (.f32 8 (pow.f32 u 2)) (*.f32 4 u))))))
(.f32 s (+.f32 (fma.f32 64 (/.f32 (pow.f32 u 4) (+.f32 (.f32 8 (.f32 u u)) (.f32 -4 u))) (.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))) (.f32 -16 (/.f32 (.f32 u u) (+.f32 (.f32 8 (.f32 u u)) (.f32 -4 u))))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (fma.f32 8 (.f32 u u) (.f32 u -4))) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (.f32 (/.f32 (.f32 u u) (fma.f32 8 (.f32 u u) (*.f32 u -4))) -16))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (.f32 u (-.f32 (.f32 u 8) 4))) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (.f32 (/.f32 (.f32 u u) (.f32 u (-.f32 (*.f32 u 8) 4))) -16))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (.f32 u (fma.f32 u 8 -4))) (.f32 (.f32 u u) (-.f32 (.f32 u (fma.f32 64 u 64/3)) (/.f32 16 (.f32 u (fma.f32 u 8 -4)))))))
(.f32 s (fma.f32 64 (.f32 (/.f32 u (+.f32 8 (/.f32 -4 u))) u) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (/.f32 -16 (+.f32 8 (/.f32 -4 u))))))
(.f32 s (-.f32 (+.f32 (.f32 64 (/.f32 (pow.f32 u 4) (-.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u)))) (.f32 (+.f32 64/3 (.f32 64 u)) (pow.f32 u 3))) (.f32 16 (/.f32 (pow.f32 u 2) (-.f32 (.f32 8 (pow.f32 u 2)) (*.f32 4 u))))))
(.f32 s (+.f32 (fma.f32 64 (/.f32 (pow.f32 u 4) (+.f32 (.f32 8 (.f32 u u)) (.f32 -4 u))) (.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))) (.f32 -16 (/.f32 (.f32 u u) (+.f32 (.f32 8 (.f32 u u)) (.f32 -4 u))))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (fma.f32 8 (.f32 u u) (.f32 u -4))) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (.f32 (/.f32 (.f32 u u) (fma.f32 8 (.f32 u u) (*.f32 u -4))) -16))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (.f32 u (-.f32 (.f32 u 8) 4))) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (.f32 (/.f32 (.f32 u u) (.f32 u (-.f32 (*.f32 u 8) 4))) -16))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (.f32 u (fma.f32 u 8 -4))) (.f32 (.f32 u u) (-.f32 (.f32 u (fma.f32 64 u 64/3)) (/.f32 16 (.f32 u (fma.f32 u 8 -4)))))))
(.f32 s (fma.f32 64 (.f32 (/.f32 u (+.f32 8 (/.f32 -4 u))) u) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (/.f32 -16 (+.f32 8 (/.f32 -4 u))))))
(.f32 s (-.f32 (+.f32 (.f32 64 (/.f32 (pow.f32 u 4) (-.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u)))) (.f32 (+.f32 64/3 (.f32 64 u)) (pow.f32 u 3))) (.f32 16 (/.f32 (pow.f32 u 2) (-.f32 (.f32 8 (pow.f32 u 2)) (*.f32 4 u))))))
(.f32 s (+.f32 (fma.f32 64 (/.f32 (pow.f32 u 4) (+.f32 (.f32 8 (.f32 u u)) (.f32 -4 u))) (.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))) (.f32 -16 (/.f32 (.f32 u u) (+.f32 (.f32 8 (.f32 u u)) (.f32 -4 u))))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (fma.f32 8 (.f32 u u) (.f32 u -4))) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (.f32 (/.f32 (.f32 u u) (fma.f32 8 (.f32 u u) (*.f32 u -4))) -16))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (.f32 u (-.f32 (.f32 u 8) 4))) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (.f32 (/.f32 (.f32 u u) (.f32 u (-.f32 (*.f32 u 8) 4))) -16))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (.f32 u (fma.f32 u 8 -4))) (.f32 (.f32 u u) (-.f32 (.f32 u (fma.f32 64 u 64/3)) (/.f32 16 (.f32 u (fma.f32 u 8 -4)))))))
(.f32 s (fma.f32 64 (.f32 (/.f32 u (+.f32 8 (/.f32 -4 u))) u) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (/.f32 -16 (+.f32 8 (/.f32 -4 u))))))
(.f32 (-.f32 (+.f32 (.f32 64 (/.f32 (pow.f32 u 4) (-.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u)))) (.f32 (+.f32 (.f32 64 u) 64/3) (pow.f32 u 3))) (.f32 16 (/.f32 (pow.f32 u 2) (-.f32 (.f32 8 (pow.f32 u 2)) (*.f32 4 u))))) s)
(.f32 s (+.f32 (fma.f32 64 (/.f32 (pow.f32 u 4) (+.f32 (.f32 8 (.f32 u u)) (.f32 -4 u))) (.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))) (.f32 -16 (/.f32 (.f32 u u) (+.f32 (.f32 8 (.f32 u u)) (.f32 -4 u))))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (fma.f32 8 (.f32 u u) (.f32 u -4))) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (.f32 (/.f32 (.f32 u u) (fma.f32 8 (.f32 u u) (*.f32 u -4))) -16))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (.f32 u (-.f32 (.f32 u 8) 4))) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (.f32 (/.f32 (.f32 u u) (.f32 u (-.f32 (*.f32 u 8) 4))) -16))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (.f32 u (fma.f32 u 8 -4))) (.f32 (.f32 u u) (-.f32 (.f32 u (fma.f32 64 u 64/3)) (/.f32 16 (.f32 u (fma.f32 u 8 -4)))))))
(.f32 s (fma.f32 64 (.f32 (/.f32 u (+.f32 8 (/.f32 -4 u))) u) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (/.f32 -16 (+.f32 8 (/.f32 -4 u))))))
(.f32 (-.f32 (+.f32 (.f32 64 (/.f32 (pow.f32 u 4) (-.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u)))) (.f32 (+.f32 (.f32 64 u) 64/3) (pow.f32 u 3))) (.f32 16 (/.f32 (pow.f32 u 2) (-.f32 (.f32 8 (pow.f32 u 2)) (*.f32 4 u))))) s)
(.f32 s (+.f32 (fma.f32 64 (/.f32 (pow.f32 u 4) (+.f32 (.f32 8 (.f32 u u)) (.f32 -4 u))) (.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))) (.f32 -16 (/.f32 (.f32 u u) (+.f32 (.f32 8 (.f32 u u)) (.f32 -4 u))))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (fma.f32 8 (.f32 u u) (.f32 u -4))) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (.f32 (/.f32 (.f32 u u) (fma.f32 8 (.f32 u u) (*.f32 u -4))) -16))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (.f32 u (-.f32 (.f32 u 8) 4))) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (.f32 (/.f32 (.f32 u u) (.f32 u (-.f32 (*.f32 u 8) 4))) -16))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (.f32 u (fma.f32 u 8 -4))) (.f32 (.f32 u u) (-.f32 (.f32 u (fma.f32 64 u 64/3)) (/.f32 16 (.f32 u (fma.f32 u 8 -4)))))))
(.f32 s (fma.f32 64 (.f32 (/.f32 u (+.f32 8 (/.f32 -4 u))) u) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (/.f32 -16 (+.f32 8 (/.f32 -4 u))))))
(.f32 (-.f32 (+.f32 (.f32 64 (/.f32 (pow.f32 u 4) (-.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u)))) (.f32 (+.f32 (.f32 64 u) 64/3) (pow.f32 u 3))) (.f32 16 (/.f32 (pow.f32 u 2) (-.f32 (.f32 8 (pow.f32 u 2)) (*.f32 4 u))))) s)
(.f32 s (+.f32 (fma.f32 64 (/.f32 (pow.f32 u 4) (+.f32 (.f32 8 (.f32 u u)) (.f32 -4 u))) (.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))) (.f32 -16 (/.f32 (.f32 u u) (+.f32 (.f32 8 (.f32 u u)) (.f32 -4 u))))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (fma.f32 8 (.f32 u u) (.f32 u -4))) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (.f32 (/.f32 (.f32 u u) (fma.f32 8 (.f32 u u) (*.f32 u -4))) -16))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (.f32 u (-.f32 (.f32 u 8) 4))) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (.f32 (/.f32 (.f32 u u) (.f32 u (-.f32 (*.f32 u 8) 4))) -16))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (.f32 u (fma.f32 u 8 -4))) (.f32 (.f32 u u) (-.f32 (.f32 u (fma.f32 64 u 64/3)) (/.f32 16 (.f32 u (fma.f32 u 8 -4)))))))
(.f32 s (fma.f32 64 (.f32 (/.f32 u (+.f32 8 (/.f32 -4 u))) u) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (/.f32 -16 (+.f32 8 (/.f32 -4 u))))))
(.f32 (-.f32 (+.f32 (.f32 64 (/.f32 (pow.f32 u 4) (-.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u)))) (.f32 (+.f32 (.f32 64 u) 64/3) (pow.f32 u 3))) (.f32 16 (/.f32 (pow.f32 u 2) (-.f32 (.f32 8 (pow.f32 u 2)) (*.f32 4 u))))) s)
(.f32 s (+.f32 (fma.f32 64 (/.f32 (pow.f32 u 4) (+.f32 (.f32 8 (.f32 u u)) (.f32 -4 u))) (.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))) (.f32 -16 (/.f32 (.f32 u u) (+.f32 (.f32 8 (.f32 u u)) (.f32 -4 u))))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (fma.f32 8 (.f32 u u) (.f32 u -4))) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (.f32 (/.f32 (.f32 u u) (fma.f32 8 (.f32 u u) (*.f32 u -4))) -16))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (.f32 u (-.f32 (.f32 u 8) 4))) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (.f32 (/.f32 (.f32 u u) (.f32 u (-.f32 (*.f32 u 8) 4))) -16))))
(.f32 s (fma.f32 64 (/.f32 (pow.f32 u 4) (.f32 u (fma.f32 u 8 -4))) (.f32 (.f32 u u) (-.f32 (.f32 u (fma.f32 64 u 64/3)) (/.f32 16 (.f32 u (fma.f32 u 8 -4)))))))
(.f32 s (fma.f32 64 (.f32 (/.f32 u (+.f32 8 (/.f32 -4 u))) u) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (/.f32 -16 (+.f32 8 (/.f32 -4 u))))))
(.f32 4 (.f32 s u))
(.f32 4 (.f32 u s))
(.f32 u (.f32 4 s))
(+.f32 (.f32 4 (.f32 s u)) (.f32 8 (.f32 s (pow.f32 u 2))))
(fma.f32 4 (.f32 u s) (.f32 8 (.f32 s (.f32 u u))))
(fma.f32 4 (.f32 u s) (.f32 s (.f32 u (.f32 u 8))))
(.f32 u (+.f32 (.f32 4 s) (.f32 u (.f32 s 8))))
(.f32 u (.f32 s (+.f32 (*.f32 u 8) 4)))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (.f32 8 (.f32 s (pow.f32 u 2)))))
(fma.f32 64/3 (.f32 s (pow.f32 u 3)) (fma.f32 4 (.f32 u s) (.f32 8 (.f32 s (*.f32 u u)))))
(fma.f32 64/3 (.f32 s (pow.f32 u 3)) (fma.f32 4 (.f32 u s) (.f32 s (.f32 u (*.f32 u 8)))))
(fma.f32 u (.f32 4 s) (.f32 (.f32 u u) (+.f32 (.f32 u (.f32 s 64/3)) (.f32 s 8))))
(.f32 s (+.f32 (.f32 u 4) (.f32 (.f32 u u) (+.f32 (*.f32 u 64/3) 8))))
(.f32 u (+.f32 (.f32 4 s) (.f32 (.f32 u s) (+.f32 8 (*.f32 u 64/3)))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))
(fma.f32 64/3 (.f32 s (pow.f32 u 3)) (fma.f32 4 (.f32 u s) (fma.f32 8 (.f32 s (.f32 u u)) (.f32 64 (.f32 (pow.f32 u 4) s)))))
(fma.f32 64/3 (.f32 s (pow.f32 u 3)) (fma.f32 4 (.f32 u s) (fma.f32 (.f32 64 s) (pow.f32 u 4) (.f32 s (.f32 u (.f32 u 8))))))
(fma.f32 u (.f32 4 s) (fma.f32 s (.f32 u (.f32 u 8)) (.f32 s (*.f32 (pow.f32 u 3) (fma.f32 64 u 64/3)))))
(.f32 s (+.f32 (.f32 u (+.f32 (.f32 u 8) 4)) (.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))))
(.f32 64 (.f32 s (pow.f32 u 4)))
(.f32 64 (.f32 (pow.f32 u 4) s))
(.f32 (pow.f32 u 4) (.f32 64 s))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (.f32 64 (.f32 s (pow.f32 u 4))))
(fma.f32 64/3 (.f32 s (pow.f32 u 3)) (.f32 64 (*.f32 (pow.f32 u 4) s)))
(fma.f32 64 (.f32 (pow.f32 u 4) s) (.f32 s (*.f32 (pow.f32 u 3) 64/3)))
(.f32 s (.f32 (pow.f32 u 3) (fma.f32 64 u 64/3)))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4)))))
(fma.f32 64/3 (.f32 s (pow.f32 u 3)) (fma.f32 8 (.f32 s (.f32 u u)) (.f32 64 (*.f32 (pow.f32 u 4) s))))
(fma.f32 64/3 (.f32 s (pow.f32 u 3)) (fma.f32 (.f32 64 s) (pow.f32 u 4) (.f32 s (.f32 u (*.f32 u 8)))))
(fma.f32 s (.f32 u (.f32 u 8)) (.f32 s (.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))))
(.f32 s (+.f32 (.f32 u (.f32 u 8)) (.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))))
(.f32 s (.f32 (.f32 u u) (+.f32 8 (.f32 u (fma.f32 64 u 64/3)))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))
(fma.f32 64/3 (.f32 s (pow.f32 u 3)) (fma.f32 4 (.f32 u s) (fma.f32 8 (.f32 s (.f32 u u)) (.f32 64 (.f32 (pow.f32 u 4) s)))))
(fma.f32 64/3 (.f32 s (pow.f32 u 3)) (fma.f32 4 (.f32 u s) (fma.f32 (.f32 64 s) (pow.f32 u 4) (.f32 s (.f32 u (.f32 u 8))))))
(fma.f32 u (.f32 4 s) (fma.f32 s (.f32 u (.f32 u 8)) (.f32 s (*.f32 (pow.f32 u 3) (fma.f32 64 u 64/3)))))
(.f32 s (+.f32 (.f32 u (+.f32 (.f32 u 8) 4)) (.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))))
(.f32 64 (.f32 s (pow.f32 u 4)))
(.f32 64 (.f32 (pow.f32 u 4) s))
(.f32 (pow.f32 u 4) (.f32 64 s))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (.f32 64 (.f32 s (pow.f32 u 4))))
(fma.f32 64/3 (.f32 s (pow.f32 u 3)) (.f32 64 (*.f32 (pow.f32 u 4) s)))
(fma.f32 64 (.f32 (pow.f32 u 4) s) (.f32 s (*.f32 (pow.f32 u 3) 64/3)))
(.f32 s (.f32 (pow.f32 u 3) (fma.f32 64 u 64/3)))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4)))))
(fma.f32 64/3 (.f32 s (pow.f32 u 3)) (fma.f32 8 (.f32 s (.f32 u u)) (.f32 64 (*.f32 (pow.f32 u 4) s))))
(fma.f32 64/3 (.f32 s (pow.f32 u 3)) (fma.f32 (.f32 64 s) (pow.f32 u 4) (.f32 s (.f32 u (*.f32 u 8)))))
(fma.f32 s (.f32 u (.f32 u 8)) (.f32 s (.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))))
(.f32 s (+.f32 (.f32 u (.f32 u 8)) (.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))))
(.f32 s (.f32 (.f32 u u) (+.f32 8 (.f32 u (fma.f32 64 u 64/3)))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))
(fma.f32 64/3 (.f32 s (pow.f32 u 3)) (fma.f32 4 (.f32 u s) (fma.f32 8 (.f32 s (.f32 u u)) (.f32 64 (.f32 (pow.f32 u 4) s)))))
(fma.f32 64/3 (.f32 s (pow.f32 u 3)) (fma.f32 4 (.f32 u s) (fma.f32 (.f32 64 s) (pow.f32 u 4) (.f32 s (.f32 u (.f32 u 8))))))
(fma.f32 u (.f32 4 s) (fma.f32 s (.f32 u (.f32 u 8)) (.f32 s (*.f32 (pow.f32 u 3) (fma.f32 64 u 64/3)))))
(.f32 s (+.f32 (.f32 u (+.f32 (.f32 u 8) 4)) (.f32 (pow.f32 u 3) (fma.f32 64 u 64/3))))

prune558.0ms (10.1%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	160	3	163
Fresh	3	5	8
Picked	0	1	1
Done	0	1	1
Total	163	10	173

Error

0.0b

Counts

173 → 10

Alt Table

Status	Error	Program
	1.9b	(.f32 s (fma.f32 64 (.f32 (/.f32 u (+.f32 8 (/.f32 -4 u))) u) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (/.f32 -16 (+.f32 8 (/.f32 -4 u))))))
✓	0.2b	(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))
	2.3b	(fma.f32 (pow.f32 (cbrt.f32 (.f32 u (fma.f32 u 8 4))) 2) (.f32 (cbrt.f32 (.f32 u (fma.f32 u 8 4))) s) (.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s)))
	2.0b	(fma.f32 (.f32 s (fma.f32 u 8 4)) u (.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s)))
✓	1.8b	(.f32 s (+.f32 (/.f32 (-.f32 (.f32 (.f32 u (.f32 u 8)) (.f32 u (.f32 u 8))) (.f32 (.f32 u 4) (.f32 u 4))) (-.f32 (.f32 u (.f32 u 8)) (.f32 u 4))) (.f32 (pow.f32 u 3) (+.f32 (.f32 u 64) 64/3))))
	12.8b	(.f32 s (log.f32 (/.f32 1 (-.f32 1 (.f32 4 u)))))
	1.9b	(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))
	1.9b	(+.f32 (.f32 s (.f32 u (+.f32 (.f32 u 8) 4))) (.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s)))
	2.0b	(.f32 s (+.f32 (fma.f32 (.f32 4 (sqrt.f32 u)) (sqrt.f32 u) (.f32 u (.f32 u 8))) (.f32 (pow.f32 u 3) (+.f32 (.f32 u 64) 64/3))))
▶	1.8b	(.f32 s (+.f32 (/.f32 (.f32 u (fma.f32 64 (.f32 u u) -16)) (fma.f32 u 8 -4)) (.f32 (pow.f32 u 3) (+.f32 (*.f32 u 64) 64/3))))

Compiler

Compiled 6982 to 4990 computations (28.5% saved)

localize85.0ms (1.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f32 s (+.f32 (/.f32 (.f32 u (fma.f32 64 (.f32 u u) -16)) (fma.f32 u 8 -4)) (.f32 (pow.f32 u 3) (+.f32 (*.f32 u 64) 64/3))))
✓	0.2b	(/.f32 (.f32 u (fma.f32 64 (.f32 u u) -16)) (fma.f32 u 8 -4))
	0.3b	(+.f32 (*.f32 u 64) 64/3)
	0.4b	(.f32 (pow.f32 u 3) (+.f32 (.f32 u 64) 64/3))

series7.0ms (0.1%)

Counts

2 → 36

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	s	@	0	(.f32 s (+.f32 (/.f32 (.f32 u (fma.f32 64 (.f32 u u) -16)) (fma.f32 u 8 -4)) (.f32 (pow.f32 u 3) (+.f32 (*.f32 u 64) 64/3))))
1.0ms	u	@	0	(/.f32 (.f32 u (fma.f32 64 (.f32 u u) -16)) (fma.f32 u 8 -4))
1.0ms	u	@	-inf	(/.f32 (.f32 u (fma.f32 64 (.f32 u u) -16)) (fma.f32 u 8 -4))
1.0ms	u	@	inf	(/.f32 (.f32 u (fma.f32 64 (.f32 u u) -16)) (fma.f32 u 8 -4))
1.0ms	s	@	inf	(.f32 s (+.f32 (/.f32 (.f32 u (fma.f32 64 (.f32 u u) -16)) (fma.f32 u 8 -4)) (.f32 (pow.f32 u 3) (+.f32 (*.f32 u 64) 64/3))))

rewrite84.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

690×	`fma-def_binary32`
367×	`expm1-udef_binary32`
367×	`log1p-udef_binary32`
358×	`fma-neg_binary32`
219×	`add-sqr-sqrt_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	52
1	452	50
2	5977	50

Stop Event

1×	node limit

Counts

2 → 103

Calls

Call 1

Inputs
(/.f32 (.f32 u (fma.f32 64 (.f32 u u) -16)) (fma.f32 u 8 -4))
(.f32 s (+.f32 (/.f32 (.f32 u (fma.f32 64 (.f32 u u) -16)) (fma.f32 u 8 -4)) (.f32 (pow.f32 u 3) (+.f32 (*.f32 u 64) 64/3))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 u (/.f32 1 (/.f32 (fma.f32 u 8 -4) (fma.f32 64 (*.f32 u u) -16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 u (*.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 1 (fma.f32 u 8 -4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (fma.f32 64 (*.f32 u u) -16) (*.f32 u (/.f32 1 (fma.f32 u 8 -4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 u (fma.f32 64 (*.f32 u u) -16)) (/.f32 1 (fma.f32 u 8 -4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) (pow.f32 (cbrt.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) 2) (cbrt.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (pow.f32 (*.f32 u (fma.f32 64 (*.f32 u u) -16)) 2)) (*.f32 (cbrt.f32 (*.f32 u (fma.f32 64 (*.f32 u u) -16))) (/.f32 1 (fma.f32 u 8 -4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) (sqrt.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (*.f32 u (fma.f32 64 (*.f32 u u) -16))) (*.f32 (sqrt.f32 (*.f32 u (fma.f32 64 (*.f32 u u) -16))) (/.f32 1 (fma.f32 u 8 -4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (fma.f32 64 (*.f32 u u) -16) (neg.f32 u)) (/.f32 1 (neg.f32 (fma.f32 u 8 -4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1 (fma.f32 u 8 -4)) (*.f32 u (fma.f32 64 (*.f32 u u) -16)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 u 1) (/.f32 (fma.f32 64 (*.f32 u u) -16) (fma.f32 u 8 -4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) 1) (/.f32 u (fma.f32 u 8 -4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 u (fma.f32 u 8 -4)) (fma.f32 64 (*.f32 u u) -16))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (cbrt.f32 (pow.f32 (*.f32 u (fma.f32 64 (*.f32 u u) -16)) 2)) 1) (/.f32 (cbrt.f32 (*.f32 u (fma.f32 64 (*.f32 u u) -16))) (fma.f32 u 8 -4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (sqrt.f32 (*.f32 u (fma.f32 64 (*.f32 u u) -16))) 1) (/.f32 (sqrt.f32 (*.f32 u (fma.f32 64 (*.f32 u u) -16))) (fma.f32 u 8 -4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 u (pow.f32 (cbrt.f32 (fma.f32 u 8 -4)) 2)) (/.f32 (fma.f32 64 (*.f32 u u) -16) (cbrt.f32 (fma.f32 u 8 -4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (pow.f32 (cbrt.f32 (fma.f32 u 8 -4)) 2)) (/.f32 u (cbrt.f32 (fma.f32 u 8 -4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1 (pow.f32 (cbrt.f32 (fma.f32 u 8 -4)) 2)) (/.f32 (*.f32 u (fma.f32 64 (*.f32 u u) -16)) (cbrt.f32 (fma.f32 u 8 -4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (cbrt.f32 (pow.f32 (*.f32 u (fma.f32 64 (*.f32 u u) -16)) 2)) (pow.f32 (cbrt.f32 (fma.f32 u 8 -4)) 2)) (cbrt.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (sqrt.f32 (*.f32 u (fma.f32 64 (*.f32 u u) -16))) (pow.f32 (cbrt.f32 (fma.f32 u 8 -4)) 2)) (/.f32 (sqrt.f32 (*.f32 u (fma.f32 64 (*.f32 u u) -16))) (cbrt.f32 (fma.f32 u 8 -4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 u (sqrt.f32 (fma.f32 u 8 -4))) (/.f32 (fma.f32 64 (*.f32 u u) -16) (sqrt.f32 (fma.f32 u 8 -4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (sqrt.f32 (fma.f32 u 8 -4))) (/.f32 u (sqrt.f32 (fma.f32 u 8 -4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1 (sqrt.f32 (fma.f32 u 8 -4))) (/.f32 (*.f32 u (fma.f32 64 (*.f32 u u) -16)) (sqrt.f32 (fma.f32 u 8 -4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (cbrt.f32 (pow.f32 (*.f32 u (fma.f32 64 (*.f32 u u) -16)) 2)) (sqrt.f32 (fma.f32 u 8 -4))) (/.f32 (cbrt.f32 (*.f32 u (fma.f32 64 (*.f32 u u) -16))) (sqrt.f32 (fma.f32 u 8 -4))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 (/.f32 (fma.f32 u 8 -4) u) (fma.f32 64 (*.f32 u u) -16)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (/.f32 (*.f32 u (fma.f32 64 (*.f32 u u) -16)) (neg.f32 (fma.f32 u 8 -4))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))) (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s) (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s) 1) (*.f32 (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (pow.f32 (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s) 3) (pow.f32 (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))) 3)) (fma.f32 (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s) (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s) (-.f32 (*.f32 (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))) (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)))) (*.f32 (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s) (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (*.f32 (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s) (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s)) (*.f32 (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))) (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))) (-.f32 (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s) (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (+.f32 (pow.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) 3) (pow.f32 (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) 3)) s) (fma.f32 (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) (-.f32 (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) (pow.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (-.f32 (pow.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) 2) (*.f32 (pow.f32 (fma.f32 u 64 64/3) 2) (pow.f32 u 6))) s) (-.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 s (+.f32 (pow.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) 3) (pow.f32 (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) 3))) (fma.f32 (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) (-.f32 (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) (pow.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 s (-.f32 (pow.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) 2) (*.f32 (pow.f32 (fma.f32 u 64 64/3) 2) (pow.f32 u 6)))) (-.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 s) (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 s 3) (pow.f32 (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) 3) (pow.f32 s 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 u (fma.f32 64 (*.f32 u u) -16)) (*.f32 (/.f32 1 (fma.f32 u 8 -4)) s) (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 s (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 u 3) (*.f32 (fma.f32 u 64 64/3) s) (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s) (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) s (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 1 (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))) (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 1 (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s) (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 (*.f32 u (cbrt.f32 (fma.f32 u 64 64/3))) 2) (*.f32 (*.f32 u (cbrt.f32 (fma.f32 u 64 64/3))) s) (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 (cbrt.f32 s) 2) (*.f32 (cbrt.f32 s) (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 (cbrt.f32 s) 2) (*.f32 (cbrt.f32 s) (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))) (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (pow.f32 (cbrt.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) 2) (*.f32 (cbrt.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) s) (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 (sqrt.f32 (fma.f32 u 64 64/3)) (pow.f32 u 3/2)) (*.f32 (*.f32 (sqrt.f32 (fma.f32 u 64 64/3)) (pow.f32 u 3/2)) s) (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 s) (*.f32 (sqrt.f32 s) (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 s) (*.f32 (sqrt.f32 s) (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))) (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) (*.f32 (sqrt.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) s) (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s) 1 (*.f32 (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 (cbrt.f32 (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s)) (cbrt.f32 (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s))) (cbrt.f32 (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s)) (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 (cbrt.f32 (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)))) (cbrt.f32 (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))) (cbrt.f32 (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)))) (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s)) (sqrt.f32 (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s)) (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (sqrt.f32 (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)))) (sqrt.f32 (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)))) (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 (sqrt.f32 s) (sqrt.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)))) (*.f32 (sqrt.f32 s) (sqrt.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)))) (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 (sqrt.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) (sqrt.f32 s)) (*.f32 (sqrt.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) (sqrt.f32 s)) (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 (sqrt.f32 s) (*.f32 (sqrt.f32 (fma.f32 u 64 64/3)) (pow.f32 u 3/2))) (*.f32 (sqrt.f32 s) (*.f32 (sqrt.f32 (fma.f32 u 64 64/3)) (pow.f32 u 3/2))) (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 (*.f32 (sqrt.f32 (fma.f32 u 64 64/3)) (pow.f32 u 3/2)) (sqrt.f32 s)) (*.f32 (*.f32 (sqrt.f32 (fma.f32 u 64 64/3)) (pow.f32 u 3/2)) (sqrt.f32 s)) (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 s (*.f32 u (fma.f32 64 (*.f32 u u) -16))) (/.f32 1 (fma.f32 u 8 -4)) (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 s (pow.f32 (cbrt.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) 2)) (cbrt.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 s (sqrt.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)))) (sqrt.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) (pow.f32 (cbrt.f32 s) 2)) (cbrt.f32 s) (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) (sqrt.f32 s)) (sqrt.f32 s) (*.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 s (pow.f32 u 3)) (fma.f32 u 64 64/3) (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 s (fma.f32 u 64 64/3)) (pow.f32 u 3) (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 s (pow.f32 (*.f32 u (cbrt.f32 (fma.f32 u 64 64/3))) 2)) (*.f32 u (cbrt.f32 (fma.f32 u 64 64/3))) (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 s (*.f32 (sqrt.f32 (fma.f32 u 64 64/3)) (pow.f32 u 3/2))) (*.f32 (sqrt.f32 (fma.f32 u 64 64/3)) (pow.f32 u 3/2)) (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) (pow.f32 (cbrt.f32 s) 2)) (cbrt.f32 s) (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (*.f32 (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3)) (sqrt.f32 s)) (sqrt.f32 s) (*.f32 (/.f32 (fma.f32 64 (*.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u)) s))))))

simplify45.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

858×	`fma-def_binary32`
841×	`distribute-rgt-out_binary32`
554×	`associate-l_binary32`
379×	`associate-r_binary32`
290×	`distribute-rgt-in_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	46	807
1	121	783
2	293	718
3	937	660
4	4033	660

Stop Event

1×	node limit

Counts

139 → 124

Calls

Call 1

Inputs
(*.f32 4 u)
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(*.f32 8 (pow.f32 u 2))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(*.f32 8 (pow.f32 u 2))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(.f32 (+.f32 (/.f32 (.f32 (-.f32 (.f32 64 (pow.f32 u 2)) 16) u) (-.f32 (.f32 8 u) 4)) (.f32 (+.f32 (.f32 64 u) 64/3) (pow.f32 u 3))) s)
(.f32 (+.f32 (/.f32 (.f32 (-.f32 (.f32 64 (pow.f32 u 2)) 16) u) (-.f32 (.f32 8 u) 4)) (.f32 (+.f32 (.f32 64 u) 64/3) (pow.f32 u 3))) s)
(.f32 (+.f32 (/.f32 (.f32 (-.f32 (.f32 64 (pow.f32 u 2)) 16) u) (-.f32 (.f32 8 u) 4)) (.f32 (+.f32 (.f32 64 u) 64/3) (pow.f32 u 3))) s)
(.f32 (+.f32 (/.f32 (.f32 (-.f32 (.f32 64 (pow.f32 u 2)) 16) u) (-.f32 (.f32 8 u) 4)) (.f32 (+.f32 (.f32 64 u) 64/3) (pow.f32 u 3))) s)
(.f32 (+.f32 (/.f32 (.f32 (-.f32 (.f32 64 (pow.f32 u 2)) 16) u) (-.f32 (.f32 8 u) 4)) (.f32 (+.f32 (.f32 64 u) 64/3) (pow.f32 u 3))) s)
(.f32 (+.f32 (/.f32 (.f32 (-.f32 (.f32 64 (pow.f32 u 2)) 16) u) (-.f32 (.f32 8 u) 4)) (.f32 (+.f32 (.f32 64 u) 64/3) (pow.f32 u 3))) s)
(.f32 (+.f32 (/.f32 (.f32 (-.f32 (.f32 64 (pow.f32 u 2)) 16) u) (-.f32 (.f32 8 u) 4)) (.f32 (+.f32 (.f32 64 u) 64/3) (pow.f32 u 3))) s)
(.f32 (+.f32 (/.f32 (.f32 (-.f32 (.f32 64 (pow.f32 u 2)) 16) u) (-.f32 (.f32 8 u) 4)) (.f32 (+.f32 (.f32 64 u) 64/3) (pow.f32 u 3))) s)
(.f32 (+.f32 (/.f32 (.f32 (-.f32 (.f32 64 (pow.f32 u 2)) 16) u) (-.f32 (.f32 8 u) 4)) (.f32 (+.f32 64/3 (.f32 64 u)) (pow.f32 u 3))) s)
(.f32 (+.f32 (/.f32 (.f32 (-.f32 (.f32 64 (pow.f32 u 2)) 16) u) (-.f32 (.f32 8 u) 4)) (.f32 (+.f32 64/3 (.f32 64 u)) (pow.f32 u 3))) s)
(.f32 (+.f32 (/.f32 (.f32 (-.f32 (.f32 64 (pow.f32 u 2)) 16) u) (-.f32 (.f32 8 u) 4)) (.f32 (+.f32 64/3 (.f32 64 u)) (pow.f32 u 3))) s)
(.f32 (+.f32 (/.f32 (.f32 (-.f32 (.f32 64 (pow.f32 u 2)) 16) u) (-.f32 (.f32 8 u) 4)) (.f32 (+.f32 64/3 (.f32 64 u)) (pow.f32 u 3))) s)
(.f32 4 (.f32 s u))
(+.f32 (.f32 4 (.f32 s u)) (.f32 8 (.f32 s (pow.f32 u 2))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (.f32 8 (.f32 s (pow.f32 u 2)))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))
(.f32 64 (.f32 s (pow.f32 u 4)))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (.f32 64 (.f32 s (pow.f32 u 4))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4)))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))
(.f32 64 (.f32 s (pow.f32 u 4)))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (.f32 64 (.f32 s (pow.f32 u 4))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4)))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))

Outputs
(*.f32 4 u)
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(fma.f32 8 (.f32 u u) (.f32 4 u))
(fma.f32 4 u (.f32 8 (.f32 u u)))
(.f32 u (+.f32 4 (.f32 u 8)))
(*.f32 u (fma.f32 u 8 4))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(fma.f32 8 (.f32 u u) (.f32 4 u))
(fma.f32 4 u (.f32 8 (.f32 u u)))
(.f32 u (+.f32 4 (.f32 u 8)))
(*.f32 u (fma.f32 u 8 4))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(fma.f32 8 (.f32 u u) (.f32 4 u))
(fma.f32 4 u (.f32 8 (.f32 u u)))
(.f32 u (+.f32 4 (.f32 u 8)))
(*.f32 u (fma.f32 u 8 4))
(*.f32 8 (pow.f32 u 2))
(.f32 8 (.f32 u u))
(.f32 u (.f32 u 8))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(fma.f32 8 (.f32 u u) (.f32 4 u))
(fma.f32 4 u (.f32 8 (.f32 u u)))
(.f32 u (+.f32 4 (.f32 u 8)))
(*.f32 u (fma.f32 u 8 4))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(fma.f32 8 (.f32 u u) (.f32 4 u))
(fma.f32 4 u (.f32 8 (.f32 u u)))
(.f32 u (+.f32 4 (.f32 u 8)))
(*.f32 u (fma.f32 u 8 4))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(fma.f32 8 (.f32 u u) (.f32 4 u))
(fma.f32 4 u (.f32 8 (.f32 u u)))
(.f32 u (+.f32 4 (.f32 u 8)))
(*.f32 u (fma.f32 u 8 4))
(*.f32 8 (pow.f32 u 2))
(.f32 8 (.f32 u u))
(.f32 u (.f32 u 8))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(fma.f32 8 (.f32 u u) (.f32 4 u))
(fma.f32 4 u (.f32 8 (.f32 u u)))
(.f32 u (+.f32 4 (.f32 u 8)))
(*.f32 u (fma.f32 u 8 4))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(fma.f32 8 (.f32 u u) (.f32 4 u))
(fma.f32 4 u (.f32 8 (.f32 u u)))
(.f32 u (+.f32 4 (.f32 u 8)))
(*.f32 u (fma.f32 u 8 4))
(+.f32 (.f32 8 (pow.f32 u 2)) (.f32 4 u))
(fma.f32 8 (.f32 u u) (.f32 4 u))
(fma.f32 4 u (.f32 8 (.f32 u u)))
(.f32 u (+.f32 4 (.f32 u 8)))
(*.f32 u (fma.f32 u 8 4))
(.f32 (+.f32 (/.f32 (.f32 (-.f32 (.f32 64 (pow.f32 u 2)) 16) u) (-.f32 (.f32 8 u) 4)) (.f32 (+.f32 (.f32 64 u) 64/3) (pow.f32 u 3))) s)
(.f32 (+.f32 (/.f32 (fma.f32 64 (.f32 u u) -16) (/.f32 (fma.f32 8 u -4) u)) (*.f32 (fma.f32 64 u 64/3) (pow.f32 u 3))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 u (/.f32 (fma.f32 u 8 -4) (fma.f32 (.f32 u u) 64 -16)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 u (/.f32 (fma.f32 u 8 -4) (fma.f32 u (.f32 u 64) -16)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 (fma.f32 u (.f32 u 64) -16) (-.f32 8 (/.f32 4 u)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 (fma.f32 u (.f32 u 64) -16) (+.f32 8 (/.f32 -4 u)))) s)
(.f32 (+.f32 (/.f32 (.f32 (-.f32 (.f32 64 (pow.f32 u 2)) 16) u) (-.f32 (.f32 8 u) 4)) (.f32 (+.f32 (.f32 64 u) 64/3) (pow.f32 u 3))) s)
(.f32 (+.f32 (/.f32 (fma.f32 64 (.f32 u u) -16) (/.f32 (fma.f32 8 u -4) u)) (*.f32 (fma.f32 64 u 64/3) (pow.f32 u 3))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 u (/.f32 (fma.f32 u 8 -4) (fma.f32 (.f32 u u) 64 -16)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 u (/.f32 (fma.f32 u 8 -4) (fma.f32 u (.f32 u 64) -16)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 (fma.f32 u (.f32 u 64) -16) (-.f32 8 (/.f32 4 u)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 (fma.f32 u (.f32 u 64) -16) (+.f32 8 (/.f32 -4 u)))) s)
(.f32 (+.f32 (/.f32 (.f32 (-.f32 (.f32 64 (pow.f32 u 2)) 16) u) (-.f32 (.f32 8 u) 4)) (.f32 (+.f32 (.f32 64 u) 64/3) (pow.f32 u 3))) s)
(.f32 (+.f32 (/.f32 (fma.f32 64 (.f32 u u) -16) (/.f32 (fma.f32 8 u -4) u)) (*.f32 (fma.f32 64 u 64/3) (pow.f32 u 3))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 u (/.f32 (fma.f32 u 8 -4) (fma.f32 (.f32 u u) 64 -16)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 u (/.f32 (fma.f32 u 8 -4) (fma.f32 u (.f32 u 64) -16)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 (fma.f32 u (.f32 u 64) -16) (-.f32 8 (/.f32 4 u)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 (fma.f32 u (.f32 u 64) -16) (+.f32 8 (/.f32 -4 u)))) s)
(.f32 (+.f32 (/.f32 (.f32 (-.f32 (.f32 64 (pow.f32 u 2)) 16) u) (-.f32 (.f32 8 u) 4)) (.f32 (+.f32 (.f32 64 u) 64/3) (pow.f32 u 3))) s)
(.f32 (+.f32 (/.f32 (fma.f32 64 (.f32 u u) -16) (/.f32 (fma.f32 8 u -4) u)) (*.f32 (fma.f32 64 u 64/3) (pow.f32 u 3))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 u (/.f32 (fma.f32 u 8 -4) (fma.f32 (.f32 u u) 64 -16)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 u (/.f32 (fma.f32 u 8 -4) (fma.f32 u (.f32 u 64) -16)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 (fma.f32 u (.f32 u 64) -16) (-.f32 8 (/.f32 4 u)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 (fma.f32 u (.f32 u 64) -16) (+.f32 8 (/.f32 -4 u)))) s)
(.f32 (+.f32 (/.f32 (.f32 (-.f32 (.f32 64 (pow.f32 u 2)) 16) u) (-.f32 (.f32 8 u) 4)) (.f32 (+.f32 (.f32 64 u) 64/3) (pow.f32 u 3))) s)
(.f32 (+.f32 (/.f32 (fma.f32 64 (.f32 u u) -16) (/.f32 (fma.f32 8 u -4) u)) (*.f32 (fma.f32 64 u 64/3) (pow.f32 u 3))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 u (/.f32 (fma.f32 u 8 -4) (fma.f32 (.f32 u u) 64 -16)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 u (/.f32 (fma.f32 u 8 -4) (fma.f32 u (.f32 u 64) -16)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 (fma.f32 u (.f32 u 64) -16) (-.f32 8 (/.f32 4 u)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 (fma.f32 u (.f32 u 64) -16) (+.f32 8 (/.f32 -4 u)))) s)
(.f32 (+.f32 (/.f32 (.f32 (-.f32 (.f32 64 (pow.f32 u 2)) 16) u) (-.f32 (.f32 8 u) 4)) (.f32 (+.f32 (.f32 64 u) 64/3) (pow.f32 u 3))) s)
(.f32 (+.f32 (/.f32 (fma.f32 64 (.f32 u u) -16) (/.f32 (fma.f32 8 u -4) u)) (*.f32 (fma.f32 64 u 64/3) (pow.f32 u 3))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 u (/.f32 (fma.f32 u 8 -4) (fma.f32 (.f32 u u) 64 -16)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 u (/.f32 (fma.f32 u 8 -4) (fma.f32 u (.f32 u 64) -16)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 (fma.f32 u (.f32 u 64) -16) (-.f32 8 (/.f32 4 u)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 (fma.f32 u (.f32 u 64) -16) (+.f32 8 (/.f32 -4 u)))) s)
(.f32 (+.f32 (/.f32 (.f32 (-.f32 (.f32 64 (pow.f32 u 2)) 16) u) (-.f32 (.f32 8 u) 4)) (.f32 (+.f32 (.f32 64 u) 64/3) (pow.f32 u 3))) s)
(.f32 (+.f32 (/.f32 (fma.f32 64 (.f32 u u) -16) (/.f32 (fma.f32 8 u -4) u)) (*.f32 (fma.f32 64 u 64/3) (pow.f32 u 3))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 u (/.f32 (fma.f32 u 8 -4) (fma.f32 (.f32 u u) 64 -16)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 u (/.f32 (fma.f32 u 8 -4) (fma.f32 u (.f32 u 64) -16)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 (fma.f32 u (.f32 u 64) -16) (-.f32 8 (/.f32 4 u)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 (fma.f32 u (.f32 u 64) -16) (+.f32 8 (/.f32 -4 u)))) s)
(.f32 (+.f32 (/.f32 (.f32 (-.f32 (.f32 64 (pow.f32 u 2)) 16) u) (-.f32 (.f32 8 u) 4)) (.f32 (+.f32 (.f32 64 u) 64/3) (pow.f32 u 3))) s)
(.f32 (+.f32 (/.f32 (fma.f32 64 (.f32 u u) -16) (/.f32 (fma.f32 8 u -4) u)) (*.f32 (fma.f32 64 u 64/3) (pow.f32 u 3))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 u (/.f32 (fma.f32 u 8 -4) (fma.f32 (.f32 u u) 64 -16)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 u (/.f32 (fma.f32 u 8 -4) (fma.f32 u (.f32 u 64) -16)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 (fma.f32 u (.f32 u 64) -16) (-.f32 8 (/.f32 4 u)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 (fma.f32 u (.f32 u 64) -16) (+.f32 8 (/.f32 -4 u)))) s)
(.f32 (+.f32 (/.f32 (.f32 (-.f32 (.f32 64 (pow.f32 u 2)) 16) u) (-.f32 (.f32 8 u) 4)) (.f32 (+.f32 64/3 (.f32 64 u)) (pow.f32 u 3))) s)
(.f32 (+.f32 (/.f32 (fma.f32 64 (.f32 u u) -16) (/.f32 (fma.f32 8 u -4) u)) (*.f32 (fma.f32 64 u 64/3) (pow.f32 u 3))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 u (/.f32 (fma.f32 u 8 -4) (fma.f32 (.f32 u u) 64 -16)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 u (/.f32 (fma.f32 u 8 -4) (fma.f32 u (.f32 u 64) -16)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 (fma.f32 u (.f32 u 64) -16) (-.f32 8 (/.f32 4 u)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 (fma.f32 u (.f32 u 64) -16) (+.f32 8 (/.f32 -4 u)))) s)
(.f32 (+.f32 (/.f32 (.f32 (-.f32 (.f32 64 (pow.f32 u 2)) 16) u) (-.f32 (.f32 8 u) 4)) (.f32 (+.f32 64/3 (.f32 64 u)) (pow.f32 u 3))) s)
(.f32 (+.f32 (/.f32 (fma.f32 64 (.f32 u u) -16) (/.f32 (fma.f32 8 u -4) u)) (*.f32 (fma.f32 64 u 64/3) (pow.f32 u 3))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 u (/.f32 (fma.f32 u 8 -4) (fma.f32 (.f32 u u) 64 -16)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 u (/.f32 (fma.f32 u 8 -4) (fma.f32 u (.f32 u 64) -16)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 (fma.f32 u (.f32 u 64) -16) (-.f32 8 (/.f32 4 u)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 (fma.f32 u (.f32 u 64) -16) (+.f32 8 (/.f32 -4 u)))) s)
(.f32 (+.f32 (/.f32 (.f32 (-.f32 (.f32 64 (pow.f32 u 2)) 16) u) (-.f32 (.f32 8 u) 4)) (.f32 (+.f32 64/3 (.f32 64 u)) (pow.f32 u 3))) s)
(.f32 (+.f32 (/.f32 (fma.f32 64 (.f32 u u) -16) (/.f32 (fma.f32 8 u -4) u)) (*.f32 (fma.f32 64 u 64/3) (pow.f32 u 3))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 u (/.f32 (fma.f32 u 8 -4) (fma.f32 (.f32 u u) 64 -16)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 u (/.f32 (fma.f32 u 8 -4) (fma.f32 u (.f32 u 64) -16)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 (fma.f32 u (.f32 u 64) -16) (-.f32 8 (/.f32 4 u)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 (fma.f32 u (.f32 u 64) -16) (+.f32 8 (/.f32 -4 u)))) s)
(.f32 (+.f32 (/.f32 (.f32 (-.f32 (.f32 64 (pow.f32 u 2)) 16) u) (-.f32 (.f32 8 u) 4)) (.f32 (+.f32 64/3 (.f32 64 u)) (pow.f32 u 3))) s)
(.f32 (+.f32 (/.f32 (fma.f32 64 (.f32 u u) -16) (/.f32 (fma.f32 8 u -4) u)) (*.f32 (fma.f32 64 u 64/3) (pow.f32 u 3))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 u (/.f32 (fma.f32 u 8 -4) (fma.f32 (.f32 u u) 64 -16)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 u (/.f32 (fma.f32 u 8 -4) (fma.f32 u (.f32 u 64) -16)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 (fma.f32 u (.f32 u 64) -16) (-.f32 8 (/.f32 4 u)))) s)
(.f32 (fma.f32 (fma.f32 u 64 64/3) (pow.f32 u 3) (/.f32 (fma.f32 u (.f32 u 64) -16) (+.f32 8 (/.f32 -4 u)))) s)
(.f32 4 (.f32 s u))
(.f32 4 (.f32 u s))
(.f32 (.f32 4 u) s)
(.f32 u (.f32 4 s))
(+.f32 (.f32 4 (.f32 s u)) (.f32 8 (.f32 s (pow.f32 u 2))))
(fma.f32 4 (.f32 u s) (.f32 8 (.f32 (.f32 u u) s)))
(fma.f32 8 (.f32 (.f32 u u) s) (.f32 (.f32 4 u) s))
(.f32 s (.f32 u (+.f32 4 (*.f32 u 8))))
(.f32 u (.f32 s (fma.f32 u 8 4)))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (.f32 8 (.f32 s (pow.f32 u 2)))))
(fma.f32 64/3 (.f32 (pow.f32 u 3) s) (fma.f32 4 (.f32 u s) (.f32 8 (.f32 (*.f32 u u) s))))
(fma.f32 64/3 (.f32 (pow.f32 u 3) s) (fma.f32 8 (.f32 (.f32 u u) s) (.f32 (*.f32 4 u) s)))
(fma.f32 64/3 (.f32 (pow.f32 u 3) s) (.f32 s (.f32 u (+.f32 4 (.f32 u 8)))))
(.f32 s (+.f32 (.f32 u (fma.f32 u 8 4)) (*.f32 64/3 (pow.f32 u 3))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))
(fma.f32 64/3 (.f32 (pow.f32 u 3) s) (fma.f32 4 (.f32 u s) (fma.f32 8 (.f32 (.f32 u u) s) (.f32 64 (.f32 s (pow.f32 u 4))))))
(fma.f32 64/3 (.f32 (pow.f32 u 3) s) (fma.f32 (.f32 4 s) u (fma.f32 8 (.f32 (.f32 u u) s) (.f32 64 (.f32 s (pow.f32 u 4))))))
(+.f32 (.f32 s (.f32 u (+.f32 4 (.f32 u 8)))) (.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s)))
(.f32 s (+.f32 (.f32 u (fma.f32 u 8 4)) (*.f32 (fma.f32 u 64 64/3) (pow.f32 u 3))))
(.f32 64 (.f32 s (pow.f32 u 4)))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (.f32 64 (.f32 s (pow.f32 u 4))))
(fma.f32 64/3 (.f32 (pow.f32 u 3) s) (.f32 64 (*.f32 s (pow.f32 u 4))))
(fma.f32 (.f32 64/3 s) (pow.f32 u 3) (.f32 64 (*.f32 s (pow.f32 u 4))))
(.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4)))))
(fma.f32 64/3 (.f32 (pow.f32 u 3) s) (fma.f32 8 (.f32 (.f32 u u) s) (.f32 64 (*.f32 s (pow.f32 u 4)))))
(fma.f32 8 (.f32 (.f32 u u) s) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))
(.f32 (.f32 (.f32 u u) s) (+.f32 8 (.f32 u (fma.f32 u 64 64/3))))
(.f32 (.f32 u u) (.f32 s (+.f32 8 (.f32 u (fma.f32 u 64 64/3)))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))
(fma.f32 64/3 (.f32 (pow.f32 u 3) s) (fma.f32 4 (.f32 u s) (fma.f32 8 (.f32 (.f32 u u) s) (.f32 64 (.f32 s (pow.f32 u 4))))))
(fma.f32 64/3 (.f32 (pow.f32 u 3) s) (fma.f32 (.f32 4 s) u (fma.f32 8 (.f32 (.f32 u u) s) (.f32 64 (.f32 s (pow.f32 u 4))))))
(+.f32 (.f32 s (.f32 u (+.f32 4 (.f32 u 8)))) (.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s)))
(.f32 s (+.f32 (.f32 u (fma.f32 u 8 4)) (*.f32 (fma.f32 u 64 64/3) (pow.f32 u 3))))
(.f32 64 (.f32 s (pow.f32 u 4)))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (.f32 64 (.f32 s (pow.f32 u 4))))
(fma.f32 64/3 (.f32 (pow.f32 u 3) s) (.f32 64 (*.f32 s (pow.f32 u 4))))
(fma.f32 (.f32 64/3 s) (pow.f32 u 3) (.f32 64 (*.f32 s (pow.f32 u 4))))
(.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4)))))
(fma.f32 64/3 (.f32 (pow.f32 u 3) s) (fma.f32 8 (.f32 (.f32 u u) s) (.f32 64 (*.f32 s (pow.f32 u 4)))))
(fma.f32 8 (.f32 (.f32 u u) s) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))
(.f32 (.f32 (.f32 u u) s) (+.f32 8 (.f32 u (fma.f32 u 64 64/3))))
(.f32 (.f32 u u) (.f32 s (+.f32 8 (.f32 u (fma.f32 u 64 64/3)))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))
(fma.f32 64/3 (.f32 (pow.f32 u 3) s) (fma.f32 4 (.f32 u s) (fma.f32 8 (.f32 (.f32 u u) s) (.f32 64 (.f32 s (pow.f32 u 4))))))
(fma.f32 64/3 (.f32 (pow.f32 u 3) s) (fma.f32 (.f32 4 s) u (fma.f32 8 (.f32 (.f32 u u) s) (.f32 64 (.f32 s (pow.f32 u 4))))))
(+.f32 (.f32 s (.f32 u (+.f32 4 (.f32 u 8)))) (.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s)))
(.f32 s (+.f32 (.f32 u (fma.f32 u 8 4)) (*.f32 (fma.f32 u 64 64/3) (pow.f32 u 3))))

prune878.0ms (15.9%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	226	3	229
Fresh	3	4	7
Picked	0	1	1
Done	0	2	2
Total	229	10	239

Error

0.0b

Counts

239 → 10

Alt Table

Status	Error	Program
✓	0.2b	(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))
✓	1.8b	(.f32 s (+.f32 (/.f32 (-.f32 (.f32 (.f32 u (.f32 u 8)) (.f32 u (.f32 u 8))) (.f32 (.f32 u 4) (.f32 u 4))) (-.f32 (.f32 u (.f32 u 8)) (.f32 u 4))) (.f32 (pow.f32 u 3) (+.f32 (.f32 u 64) 64/3))))
	12.8b	(.f32 s (log.f32 (/.f32 1 (-.f32 1 (.f32 4 u)))))
	1.9b	(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))
	1.9b	(log1p.f32 (expm1.f32 (.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (/.f32 (fma.f32 64 (.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))))))
	2.0b	(fma.f32 (.f32 s (fma.f32 u 8 4)) u (.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s)))
	1.9b	(+.f32 (.f32 s (.f32 u (+.f32 (.f32 u 8) 4))) (.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s)))
	2.3b	(fma.f32 (pow.f32 (cbrt.f32 (/.f32 (fma.f32 64 (.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) 2) (.f32 (cbrt.f32 (/.f32 (fma.f32 64 (.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) s) (.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))
	2.0b	(.f32 s (+.f32 (fma.f32 (.f32 4 (sqrt.f32 u)) (sqrt.f32 u) (.f32 u (.f32 u 8))) (.f32 (pow.f32 u 3) (+.f32 (.f32 u 64) 64/3))))
✓	1.8b	(.f32 s (+.f32 (/.f32 (.f32 u (fma.f32 64 (.f32 u u) -16)) (fma.f32 u 8 -4)) (.f32 (pow.f32 u 3) (+.f32 (*.f32 u 64) 64/3))))

Compiler

Compiled 7320 to 5020 computations (31.4% saved)

regimes75.0ms (1.4%)

Accuracy

Total -15.3b remaining (-7514.8%)

Threshold costs -15.3b (-7514.8%)

Counts

19 → 1

Calls

Call 1

Inputs
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))
(log1p.f32 (expm1.f32 (.f32 s (fma.f32 (pow.f32 u 3) (fma.f32 u 64 64/3) (/.f32 (fma.f32 64 (.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))))))
(fma.f32 (pow.f32 (cbrt.f32 (/.f32 (fma.f32 64 (.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) 2) (.f32 (cbrt.f32 (/.f32 (fma.f32 64 (.f32 u u) -16) (/.f32 (fma.f32 u 8 -4) u))) s) (.f32 s (*.f32 (pow.f32 u 3) (fma.f32 u 64 64/3))))
(.f32 s (fma.f32 64 (.f32 (/.f32 u (+.f32 8 (/.f32 -4 u))) u) (fma.f32 (pow.f32 u 3) (fma.f32 64 u 64/3) (/.f32 -16 (+.f32 8 (/.f32 -4 u))))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))
(+.f32 (.f32 s (.f32 u (+.f32 (.f32 u 8) 4))) (.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s)))
(fma.f32 (pow.f32 (cbrt.f32 s) 2) (.f32 (cbrt.f32 s) (.f32 u (fma.f32 u 8 4))) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))
(fma.f32 (pow.f32 (cbrt.f32 (.f32 u (fma.f32 u 8 4))) 2) (.f32 (cbrt.f32 (.f32 u (fma.f32 u 8 4))) s) (.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s)))
(fma.f32 (.f32 (.f32 u (fma.f32 u 8 4)) (sqrt.f32 s)) (sqrt.f32 s) (.f32 (fma.f32 u 64 64/3) (.f32 (pow.f32 u 3) s)))
(fma.f32 (.f32 s (fma.f32 u 8 4)) u (.f32 (fma.f32 u 64 64/3) (*.f32 (pow.f32 u 3) s)))
(.f32 s (+.f32 (/.f32 (-.f32 (.f32 (.f32 u (.f32 u 8)) (.f32 u (.f32 u 8))) (.f32 (.f32 u 4) (.f32 u 4))) (-.f32 (.f32 u (.f32 u 8)) (.f32 u 4))) (.f32 (pow.f32 u 3) (+.f32 (.f32 u 64) 64/3))))
(.f32 s (+.f32 (fma.f32 (.f32 4 (sqrt.f32 u)) (sqrt.f32 u) (.f32 u (.f32 u 8))) (.f32 (pow.f32 u 3) (+.f32 (.f32 u 64) 64/3))))
(.f32 s (+.f32 (/.f32 (.f32 u (fma.f32 64 (.f32 u u) -16)) (fma.f32 u 8 -4)) (.f32 (pow.f32 u 3) (+.f32 (*.f32 u 64) 64/3))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (+.f32 (.f32 8 (.f32 s (pow.f32 u 2))) (.f32 64 (.f32 s (pow.f32 u 4))))))
(.f32 s (+.f32 (.f32 u (+.f32 (.f32 u 8) 4)) (.f32 (pow.f32 u 3) (+.f32 (*.f32 u 64) 64/3))))
(+.f32 (.f32 64/3 (.f32 s (pow.f32 u 3))) (+.f32 (.f32 4 (.f32 s u)) (.f32 8 (.f32 s (pow.f32 u 2)))))
(.f32 u (.f32 s (+.f32 (*.f32 u 8) 4)))
(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))
(.f32 s (log.f32 (/.f32 1 (-.f32 1 (.f32 4 u)))))

Outputs
(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))

Results

11.0ms	0.2b	`s`
10.0ms	0.2b	`u`
8.0ms	0.2b	`(.f32 s (log.f32 (/.f32 1 (-.f32 1 (.f32 4 u)))))`
6.0ms	0.2b	`(log.f32 (/.f32 1 (-.f32 1 (*.f32 4 u))))`
6.0ms	0.2b	`(/.f32 1 (-.f32 1 (*.f32 4 u)))`
10.0ms	0.2b	`(-.f32 1 (*.f32 4 u))`
10.0ms	0.2b	`(*.f32 4 u)`

Compiler

Compiled 503 to 358 computations (28.8% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	16	11
2	24	11
3	30	11
4	33	11
5	34	11

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))

Outputs
(.f32 (log1p.f32 (.f32 u -4)) (neg.f32 s))

end13.0ms (0.2%)

Stop Event

1×

fuel

Compiler

Compiled 18 to 14 computations (22.2% saved)

Iter	Nodes	Cost
0	10	14
1	24	11
2	41	11
3	70	11
4	97	11
5	127	11
6	167	11
7	241	11
8	359	11
9	435	11
10	511	11
11	603	11
12	741	11
13	853	11
14	866	11

Iter	Nodes	Cost
0	10	14
1	24	11
2	41	11
3	70	11
4	97	11
5	127	11
6	167	11
7	241	11
8	359	11
9	435	11
10	511	11
11	603	11
12	741	11
13	853	11
14	866	11

Details

analyze76.0ms (1.4%)

sample1.9s (33.8%)

preprocess142.0ms (2.6%)

simplify17.0ms (0.3%)

prune4.0ms (0.1%)

localize19.0ms (0.3%)

series65.0ms (1.2%)

rewrite40.0ms (0.7%)

simplify43.0ms (0.8%)

prune34.0ms (0.6%)

localize49.0ms (0.9%)

series10.0ms (0.2%)

rewrite92.0ms (1.7%)

simplify122.0ms (2.2%)

prune1.0s (18.4%)

localize77.0ms (1.4%)

series9.0ms (0.2%)

rewrite41.0ms (0.7%)

simplify54.0ms (1%)

prune558.0ms (10.1%)

localize85.0ms (1.5%)

series7.0ms (0.1%)

rewrite84.0ms (1.5%)

simplify45.0ms (0.8%)

prune878.0ms (15.9%)

regimes75.0ms (1.4%)

simplify2.0ms (0%)

end13.0ms (0.2%)

Profiling

Iter	Nodes	Cost
0	10	14
1	24	11
2	41	11
3	70	11
4	97	11
5	127	11
6	167	11
7	241	11
8	359	11
9	435	11
10	511	11
11	603	11
12	741	11
13	853	11
14	866	11