Details

analyze57.0ms (3.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
25%	74.9%	0.1%	4
37.5%	62.4%	0.1%	5
62.4%	37.5%	0.1%	6
87.4%	12.5%	0.1%	7
87.4%	12.5%	0.1%	8
93.7%	6.2%	0.1%	9
93.7%	6.2%	0.1%	10
96.8%	3.1%	0.1%	11
96.8%	3.1%	0.1%	12
98.3%	1.6%	0.1%	13
98.3%	1.6%	0.1%	14

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample891.0ms (55.7%)

Results

878.0ms

8256×

body

128

valid

Compiler

Compiled 22 to 14 computations (36.4% saved)

preprocess63.0ms (3.9%)

Algorithm

2×	egg-herbie

Rules

762×	`fma-neg_binary64`
504×	`fma-def_binary64`
425×	`times-frac_binary64`
376×	`div-sub_binary64`
206×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	24
1	29	24
2	55	24
3	116	24
4	271	24
5	568	20
6	1384	20
7	3080	20
8	4110	20
9	4417	20
10	4558	20
11	4596	20
12	4606	20
13	4606	20
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))
(/.f64 (neg.f64 (+.f64 n f)) (-.f64 n f))

Outputs
(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))
(/.f64 (-.f64 (neg.f64 n) f) (-.f64 f n))
(/.f64 (+.f64 f n) (-.f64 n f))
(/.f64 (neg.f64 (+.f64 n f)) (-.f64 n f))
(/.f64 (neg.f64 (+.f64 f n)) (-.f64 n f))
(/.f64 (-.f64 (neg.f64 n) f) (-.f64 n f))
(/.f64 (+.f64 f n) (-.f64 f n))

Compiler

Compiled 10 to 6 computations (40% saved)

simplify50.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

694×	`fma-def_binary64`
621×	`fma-neg_binary64`
448×	`times-frac_binary64`
307×	`div-sub_binary64`
143×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	18	12
2	38	12
3	82	12
4	182	12
5	331	12
6	818	10
7	2221	10
8	3129	10
9	3837	10
10	3958	10
11	4001	10
12	4011	10
13	4011	10

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))

Outputs
(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))
(/.f64 (-.f64 (neg.f64 n) f) (-.f64 f n))
(/.f64 (-.f64 (neg.f64 f) n) (-.f64 f n))
(/.f64 (+.f64 f n) (-.f64 n f))

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	1	2
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	2	1	3

Error

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(/.f64 (+.f64 f n) (-.f64 n f))

Compiler

Compiled 35 to 18 computations (48.6% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 f n) (-.f64 n f))

series4.0ms (0.2%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	f	@	0	(/.f64 (+.f64 f n) (-.f64 n f))
1.0ms	f	@	inf	(/.f64 (+.f64 f n) (-.f64 n f))
1.0ms	f	@	-inf	(/.f64 (+.f64 f n) (-.f64 n f))
1.0ms	n	@	-inf	(/.f64 (+.f64 f n) (-.f64 n f))
1.0ms	n	@	inf	(/.f64 (+.f64 f n) (-.f64 n f))

rewrite42.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

884×	`log1p-expm1-u_binary64`
884×	`expm1-log1p-u_binary64`
79×	`add-sqr-sqrt_binary64`
78×	`*-un-lft-identity_binary64`
78×	`pow1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	144	10
2	2307	10

Stop Event

1×	node limit

Counts

1 → 35

Calls

Call 1

Inputs
(/.f64 (+.f64 f n) (-.f64 n f))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 f n) (/.f64 1 (-.f64 n f)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 f n) (-.f64 n f)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (+.f64 f n) (-.f64 n f)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (cbrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 2)) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) (.f64 (cbrt.f64 (+.f64 f n)) (/.f64 1 (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (+.f64 f n)) (.f64 (sqrt.f64 (+.f64 f n)) (/.f64 1 (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (+.f64 f n)) (/.f64 1 (neg.f64 (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (-.f64 n f)) (+.f64 f n))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) 1) (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (+.f64 f n)) 1) (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 n f)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (pow.f64 (cbrt.f64 (-.f64 n f)) 2)) (/.f64 (+.f64 f n) (cbrt.f64 (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) (pow.f64 (cbrt.f64 (-.f64 n f)) 2)) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (+.f64 f n)) (pow.f64 (cbrt.f64 (-.f64 n f)) 2)) (/.f64 (sqrt.f64 (+.f64 f n)) (cbrt.f64 (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (sqrt.f64 (-.f64 n f))) (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) (sqrt.f64 (-.f64 n f))) (/.f64 (cbrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 f n) (-.f64 (.f64 n n) (.f64 f f))) (+.f64 f n))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 f n) (-.f64 (pow.f64 n 3) (pow.f64 f 3))) (fma.f64 n n (.f64 f (+.f64 f n))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (-.f64 n f) (+.f64 f n)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (+.f64 f n) (neg.f64 (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (+.f64 f n) 3) (pow.f64 (-.f64 n f) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (+.f64 f n) (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (+.f64 f n) (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (+.f64 f n) (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 1))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 f n) (/.f64 1 (-.f64 n f)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (+.f64 f n) (-.f64 n f)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (cbrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 2)) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) (*.f64 (cbrt.f64 (+.f64 f n)) (/.f64 1 (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 f n)) (*.f64 (sqrt.f64 (+.f64 f n)) (/.f64 1 (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 f n)) (/.f64 1 (neg.f64 (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (-.f64 n f)) (+.f64 f n))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) 1) (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (+.f64 f n)) 1) (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 n f)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 (-.f64 n f)) 2)) (/.f64 (+.f64 f n) (cbrt.f64 (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) (pow.f64 (cbrt.f64 (-.f64 n f)) 2)) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (pow.f64 (cbrt.f64 (-.f64 n f)) 2)) (/.f64 (sqrt.f64 (+.f64 f n)) (cbrt.f64 (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 (-.f64 n f))) (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) (sqrt.f64 (-.f64 n f))) (/.f64 (cbrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 f n) (-.f64 (*.f64 n n) (*.f64 f f))) (+.f64 f n))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 f n) (-.f64 (pow.f64 n 3) (pow.f64 f 3))) (fma.f64 n n (*.f64 f (+.f64 f n))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (-.f64 n f) (+.f64 f n)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (+.f64 f n) (neg.f64 (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (+.f64 f n) 3) (pow.f64 (-.f64 n f) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (+.f64 f n) (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (+.f64 f n) (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (+.f64 f n) (-.f64 n f))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 1))))))

simplify25.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

822×	`associate-/l*_binary64`
504×	`associate-/r*_binary64`
384×	`associate-/r/_binary64`
251×	`cancel-sign-sub-inv_binary64`
194×	`associate-/l/_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	35	426
1	112	393
2	383	342
3	1549	324

Stop Event

1×	node limit

Counts

59 → 49

Calls

Call 1

Inputs
1
(+.f64 (*.f64 2 (/.f64 f n)) 1)
(+.f64 (.f64 2 (/.f64 f n)) (+.f64 1 (.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2))))))
-1
(neg.f64 (+.f64 1 (*.f64 2 (/.f64 n f))))
(neg.f64 (+.f64 1 (+.f64 (.f64 2 (/.f64 (pow.f64 n 2) (pow.f64 f 2))) (.f64 2 (/.f64 n f)))))
(neg.f64 (+.f64 1 (+.f64 (.f64 2 (/.f64 (pow.f64 n 3) (pow.f64 f 3))) (+.f64 (.f64 2 (/.f64 (pow.f64 n 2) (pow.f64 f 2))) (*.f64 2 (/.f64 n f))))))
-1
(neg.f64 (+.f64 1 (*.f64 2 (/.f64 n f))))
(neg.f64 (+.f64 1 (+.f64 (.f64 2 (/.f64 (pow.f64 n 2) (pow.f64 f 2))) (.f64 2 (/.f64 n f)))))
(neg.f64 (+.f64 1 (+.f64 (.f64 2 (/.f64 (pow.f64 n 3) (pow.f64 f 3))) (+.f64 (.f64 2 (/.f64 (pow.f64 n 2) (pow.f64 f 2))) (*.f64 2 (/.f64 n f))))))
-1
(neg.f64 (+.f64 1 (*.f64 2 (/.f64 n f))))
(neg.f64 (+.f64 1 (+.f64 (.f64 2 (/.f64 (pow.f64 n 2) (pow.f64 f 2))) (.f64 2 (/.f64 n f)))))
(neg.f64 (+.f64 1 (+.f64 (.f64 2 (/.f64 (pow.f64 n 3) (pow.f64 f 3))) (+.f64 (.f64 2 (/.f64 (pow.f64 n 2) (pow.f64 f 2))) (*.f64 2 (/.f64 n f))))))
1
(+.f64 (*.f64 2 (/.f64 f n)) 1)
(+.f64 (.f64 2 (/.f64 f n)) (+.f64 1 (.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2))))))
1
(+.f64 (*.f64 2 (/.f64 f n)) 1)
(+.f64 (.f64 2 (/.f64 f n)) (+.f64 1 (.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2))))))

Outputs
1
(+.f64 (*.f64 2 (/.f64 f n)) 1)
(fma.f64 2 (/.f64 f n) 1)
(+.f64 (.f64 2 (/.f64 f n)) (+.f64 1 (.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(+.f64 (fma.f64 2 (/.f64 f n) 1) (.f64 2 (/.f64 (.f64 f f) (*.f64 n n))))
(fma.f64 2 (/.f64 f n) (fma.f64 2 (*.f64 (/.f64 f n) (/.f64 f n)) 1))
(+.f64 1 (.f64 (/.f64 2 n) (+.f64 f (.f64 (/.f64 f n) f))))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2))))))
(fma.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (fma.f64 2 (/.f64 f n) 1) (.f64 2 (/.f64 (.f64 f f) (*.f64 n n)))))
(fma.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (fma.f64 2 (/.f64 f n) (fma.f64 2 (*.f64 (/.f64 f n) (/.f64 f n)) 1)))
(fma.f64 2 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 3)) (fma.f64 2 (*.f64 (/.f64 f n) (/.f64 f n)) 1))
(+.f64 1 (.f64 2 (+.f64 (pow.f64 (/.f64 f n) 3) (.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)))))
-1
(neg.f64 (+.f64 1 (*.f64 2 (/.f64 n f))))
(+.f64 -1 (neg.f64 (*.f64 2 (/.f64 n f))))
(+.f64 -1 (*.f64 (/.f64 n f) -2))
(fma.f64 (/.f64 n f) -2 -1)
(neg.f64 (+.f64 1 (+.f64 (.f64 2 (/.f64 (pow.f64 n 2) (pow.f64 f 2))) (.f64 2 (/.f64 n f)))))
(+.f64 -1 (neg.f64 (.f64 2 (+.f64 (/.f64 (.f64 n n) (*.f64 f f)) (/.f64 n f)))))
(neg.f64 (fma.f64 2 (+.f64 (/.f64 n f) (*.f64 (/.f64 n f) (/.f64 n f))) 1))
(fma.f64 -2 (*.f64 (+.f64 (/.f64 n f) 1) (/.f64 n f)) -1)
(fma.f64 (*.f64 (+.f64 (/.f64 n f) 1) (/.f64 n f)) -2 -1)
(neg.f64 (+.f64 1 (+.f64 (.f64 2 (/.f64 (pow.f64 n 3) (pow.f64 f 3))) (+.f64 (.f64 2 (/.f64 (pow.f64 n 2) (pow.f64 f 2))) (*.f64 2 (/.f64 n f))))))
(+.f64 -1 (neg.f64 (fma.f64 2 (/.f64 (pow.f64 n 3) (pow.f64 f 3)) (.f64 2 (+.f64 (/.f64 (.f64 n n) (*.f64 f f)) (/.f64 n f))))))
(-.f64 -1 (.f64 2 (+.f64 (+.f64 (/.f64 n f) (.f64 (/.f64 n f) (/.f64 n f))) (/.f64 (pow.f64 n 3) (pow.f64 f 3)))))
(+.f64 -1 (.f64 -2 (+.f64 (pow.f64 (/.f64 n f) 3) (.f64 (+.f64 (/.f64 n f) 1) (/.f64 n f)))))
(fma.f64 -2 (+.f64 (pow.f64 (/.f64 n f) 3) (*.f64 (+.f64 (/.f64 n f) 1) (/.f64 n f))) -1)
-1
(neg.f64 (+.f64 1 (*.f64 2 (/.f64 n f))))
(+.f64 -1 (neg.f64 (*.f64 2 (/.f64 n f))))
(+.f64 -1 (*.f64 (/.f64 n f) -2))
(fma.f64 (/.f64 n f) -2 -1)
(neg.f64 (+.f64 1 (+.f64 (.f64 2 (/.f64 (pow.f64 n 2) (pow.f64 f 2))) (.f64 2 (/.f64 n f)))))
(+.f64 -1 (neg.f64 (.f64 2 (+.f64 (/.f64 (.f64 n n) (*.f64 f f)) (/.f64 n f)))))
(neg.f64 (fma.f64 2 (+.f64 (/.f64 n f) (*.f64 (/.f64 n f) (/.f64 n f))) 1))
(fma.f64 -2 (*.f64 (+.f64 (/.f64 n f) 1) (/.f64 n f)) -1)
(fma.f64 (*.f64 (+.f64 (/.f64 n f) 1) (/.f64 n f)) -2 -1)
(neg.f64 (+.f64 1 (+.f64 (.f64 2 (/.f64 (pow.f64 n 3) (pow.f64 f 3))) (+.f64 (.f64 2 (/.f64 (pow.f64 n 2) (pow.f64 f 2))) (*.f64 2 (/.f64 n f))))))
(+.f64 -1 (neg.f64 (fma.f64 2 (/.f64 (pow.f64 n 3) (pow.f64 f 3)) (.f64 2 (+.f64 (/.f64 (.f64 n n) (*.f64 f f)) (/.f64 n f))))))
(-.f64 -1 (.f64 2 (+.f64 (+.f64 (/.f64 n f) (.f64 (/.f64 n f) (/.f64 n f))) (/.f64 (pow.f64 n 3) (pow.f64 f 3)))))
(+.f64 -1 (.f64 -2 (+.f64 (pow.f64 (/.f64 n f) 3) (.f64 (+.f64 (/.f64 n f) 1) (/.f64 n f)))))
(fma.f64 -2 (+.f64 (pow.f64 (/.f64 n f) 3) (*.f64 (+.f64 (/.f64 n f) 1) (/.f64 n f))) -1)
-1
(neg.f64 (+.f64 1 (*.f64 2 (/.f64 n f))))
(+.f64 -1 (neg.f64 (*.f64 2 (/.f64 n f))))
(+.f64 -1 (*.f64 (/.f64 n f) -2))
(fma.f64 (/.f64 n f) -2 -1)
(neg.f64 (+.f64 1 (+.f64 (.f64 2 (/.f64 (pow.f64 n 2) (pow.f64 f 2))) (.f64 2 (/.f64 n f)))))
(+.f64 -1 (neg.f64 (.f64 2 (+.f64 (/.f64 (.f64 n n) (*.f64 f f)) (/.f64 n f)))))
(neg.f64 (fma.f64 2 (+.f64 (/.f64 n f) (*.f64 (/.f64 n f) (/.f64 n f))) 1))
(fma.f64 -2 (*.f64 (+.f64 (/.f64 n f) 1) (/.f64 n f)) -1)
(fma.f64 (*.f64 (+.f64 (/.f64 n f) 1) (/.f64 n f)) -2 -1)
(neg.f64 (+.f64 1 (+.f64 (.f64 2 (/.f64 (pow.f64 n 3) (pow.f64 f 3))) (+.f64 (.f64 2 (/.f64 (pow.f64 n 2) (pow.f64 f 2))) (*.f64 2 (/.f64 n f))))))
(+.f64 -1 (neg.f64 (fma.f64 2 (/.f64 (pow.f64 n 3) (pow.f64 f 3)) (.f64 2 (+.f64 (/.f64 (.f64 n n) (*.f64 f f)) (/.f64 n f))))))
(-.f64 -1 (.f64 2 (+.f64 (+.f64 (/.f64 n f) (.f64 (/.f64 n f) (/.f64 n f))) (/.f64 (pow.f64 n 3) (pow.f64 f 3)))))
(+.f64 -1 (.f64 -2 (+.f64 (pow.f64 (/.f64 n f) 3) (.f64 (+.f64 (/.f64 n f) 1) (/.f64 n f)))))
(fma.f64 -2 (+.f64 (pow.f64 (/.f64 n f) 3) (*.f64 (+.f64 (/.f64 n f) 1) (/.f64 n f))) -1)
1
(+.f64 (*.f64 2 (/.f64 f n)) 1)
(fma.f64 2 (/.f64 f n) 1)
(+.f64 (.f64 2 (/.f64 f n)) (+.f64 1 (.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(+.f64 (fma.f64 2 (/.f64 f n) 1) (.f64 2 (/.f64 (.f64 f f) (*.f64 n n))))
(fma.f64 2 (/.f64 f n) (fma.f64 2 (*.f64 (/.f64 f n) (/.f64 f n)) 1))
(+.f64 1 (.f64 (/.f64 2 n) (+.f64 f (.f64 (/.f64 f n) f))))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2))))))
(fma.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (fma.f64 2 (/.f64 f n) 1) (.f64 2 (/.f64 (.f64 f f) (*.f64 n n)))))
(fma.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (fma.f64 2 (/.f64 f n) (fma.f64 2 (*.f64 (/.f64 f n) (/.f64 f n)) 1)))
(fma.f64 2 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 3)) (fma.f64 2 (*.f64 (/.f64 f n) (/.f64 f n)) 1))
(+.f64 1 (.f64 2 (+.f64 (pow.f64 (/.f64 f n) 3) (.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)))))
1
(+.f64 (*.f64 2 (/.f64 f n)) 1)
(fma.f64 2 (/.f64 f n) 1)
(+.f64 (.f64 2 (/.f64 f n)) (+.f64 1 (.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(+.f64 (fma.f64 2 (/.f64 f n) 1) (.f64 2 (/.f64 (.f64 f f) (*.f64 n n))))
(fma.f64 2 (/.f64 f n) (fma.f64 2 (*.f64 (/.f64 f n) (/.f64 f n)) 1))
(+.f64 1 (.f64 (/.f64 2 n) (+.f64 f (.f64 (/.f64 f n) f))))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2))))))
(fma.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (fma.f64 2 (/.f64 f n) 1) (.f64 2 (/.f64 (.f64 f f) (*.f64 n n)))))
(fma.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (fma.f64 2 (/.f64 f n) (fma.f64 2 (*.f64 (/.f64 f n) (/.f64 f n)) 1)))
(fma.f64 2 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 3)) (fma.f64 2 (*.f64 (/.f64 f n) (/.f64 f n)) 1))
(+.f64 1 (.f64 2 (+.f64 (pow.f64 (/.f64 f n) 3) (.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)))))

prune33.0ms (2.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	47	2	49
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	47	3	50

Error

Counts

50 → 3

Alt Table

Status	Error	Program
▶	30.1b	(+.f64 1 (.f64 2 (+.f64 (pow.f64 (/.f64 f n) 3) (.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)))))
✓	0.0b	(/.f64 (+.f64 f n) (-.f64 n f))
	32.9b	(fma.f64 (/.f64 n f) -2 -1)

Compiler

Compiled 706 to 299 computations (57.6% saved)

localize10.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 2 (+.f64 (pow.f64 (/.f64 f n) 3) (.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))))
✓	0.1b	(*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))
✓	0.1b	(pow.f64 (/.f64 f n) 3)
✓	10.2b	(+.f64 (pow.f64 (/.f64 f n) 3) (*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)))

series19.0ms (1.2%)

Counts

4 → 96

Calls

24 calls:

Time	Variable		Point	Expression
2.0ms	n	@	inf	(*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))
2.0ms	f	@	0	(*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))
1.0ms	f	@	0	(+.f64 (pow.f64 (/.f64 f n) 3) (*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)))
1.0ms	n	@	0	(+.f64 (pow.f64 (/.f64 f n) 3) (*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)))
1.0ms	f	@	-inf	(pow.f64 (/.f64 f n) 3)

rewrite77.0ms (4.8%)

Algorithm

1×	batch-egg-rewrite

Rules

551×	`fma-def_binary64`
288×	`fma-neg_binary64`
222×	`log1p-udef_binary64`
221×	`expm1-udef_binary64`
136×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	67
1	276	63
2	3833	63

Stop Event

1×	node limit

Counts

4 → 225

Calls

Call 1

Inputs
(+.f64 (pow.f64 (/.f64 f n) 3) (*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)))
(pow.f64 (/.f64 f n) 3)
(*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))
(.f64 2 (+.f64 (pow.f64 (/.f64 f n) 3) (.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (/.f64 f n) 6) (-.f64 (pow.f64 (/.f64 f n) 3) (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)))) (/.f64 (pow.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) 2) (-.f64 (pow.f64 (/.f64 f n) 3) (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 f n) (+.f64 (pow.f64 (/.f64 f n) 2) (+.f64 (/.f64 f n) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 f n) (+.f64 (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3))) (pow.f64 (cbrt.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3))) 2) (cbrt.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3))) (sqrt.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 (/.f64 f n) 9) (pow.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) 3)) (/.f64 1 (fma.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) (-.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) (pow.f64 (/.f64 f n) 3)) (pow.f64 (/.f64 f n) 6))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 (/.f64 f n) 6) (pow.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) 2)) (/.f64 1 (-.f64 (pow.f64 (/.f64 f n) 3) (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) (-.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) (pow.f64 (/.f64 f n) 3)) (pow.f64 (/.f64 f n) 6)) (+.f64 (pow.f64 (/.f64 f n) 9) (pow.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (pow.f64 (/.f64 f n) 3) (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2))) (-.f64 (pow.f64 (/.f64 f n) 6) (pow.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (/.f64 f n) 9) (pow.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) 3)) (fma.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) (-.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) (pow.f64 (/.f64 f n) 3)) (pow.f64 (/.f64 f n) 6)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (/.f64 f n) 9) (pow.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) 3)) (+.f64 (pow.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) 2) (-.f64 (pow.f64 (/.f64 f n) 6) (.f64 (.f64 (pow.f64 (/.f64 f n) 3) (/.f64 f n)) (+.f64 (/.f64 f n) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (/.f64 f n) 6) (pow.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) 2)) (-.f64 (pow.f64 (/.f64 f n) 3) (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (/.f64 f n) 9) (pow.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) 3))) (neg.f64 (fma.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) (-.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) (pow.f64 (/.f64 f n) 3)) (pow.f64 (/.f64 f n) 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (/.f64 f n) 6) (pow.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) 2))) (neg.f64 (-.f64 (pow.f64 (/.f64 f n) 3) (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 (pow.f64 f 3) n (.f64 (pow.f64 n 3) (.f64 f (+.f64 (/.f64 f n) 1)))) (.f64 (pow.f64 n 3) n))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 (.f64 f (+.f64 (/.f64 f n) 1)) (pow.f64 n 3) (.f64 n (pow.f64 f 3))) (.f64 n (pow.f64 n 3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) 2) (pow.f64 (/.f64 f n) 6)) (-.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) (pow.f64 (/.f64 f n) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 f (.f64 (/.f64 1 n) (+.f64 (/.f64 f n) 1)) (pow.f64 (/.f64 f n) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 f (.f64 (/.f64 1 n) (pow.f64 (/.f64 f n) 2)) (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2) (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (/.f64 f n) 3) 1 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (pow.f64 (/.f64 f n) 3) (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) (pow.f64 (/.f64 f n) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) 1 (pow.f64 (/.f64 f n) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (/.f64 f n) 2) (/.f64 f n) (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (+.f64 (/.f64 f n) 1)) 2) (.f64 (cbrt.f64 (+.f64 (/.f64 f n) 1)) (/.f64 f n)) (pow.f64 (/.f64 f n) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2))) (pow.f64 (cbrt.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2))) 2) (pow.f64 (/.f64 f n) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2))) 2) (cbrt.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2))) (pow.f64 (/.f64 f n) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (/.f64 f n)) 2) (.f64 (cbrt.f64 (/.f64 f n)) (+.f64 (/.f64 f n) 1)) (pow.f64 (/.f64 f n) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (/.f64 f n)) 2) (.f64 (cbrt.f64 (/.f64 f n)) (pow.f64 (/.f64 f n) 2)) (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 (/.f64 f n) 1)) (.f64 (sqrt.f64 (+.f64 (/.f64 f n) 1)) (/.f64 f n)) (pow.f64 (/.f64 f n) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2))) (sqrt.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2))) (pow.f64 (/.f64 f n) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (/.f64 f n)) (.f64 (sqrt.f64 (/.f64 f n)) (+.f64 (/.f64 f n) 1)) (pow.f64 (/.f64 f n) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (/.f64 f n)) (.f64 (sqrt.f64 (/.f64 f n)) (pow.f64 (/.f64 f n) 2)) (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 f 3) (pow.f64 (/.f64 1 n) 3) (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 f 3) (/.f64 1 (pow.f64 n 3)) (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (/.f64 f n) 3/2) (pow.f64 (/.f64 f n) 3/2) (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 f (+.f64 (/.f64 f n) 1)) (/.f64 1 n) (pow.f64 (/.f64 f n) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 f n)) 2) 3) (/.f64 f n) (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (sqrt.f64 (/.f64 f n)) 3) (pow.f64 (sqrt.f64 (/.f64 f n)) 3) (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (+.f64 (/.f64 f n) 1) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (+.f64 (/.f64 f n) 1) (pow.f64 (cbrt.f64 n) 2)) (/.f64 f (cbrt.f64 n)) (pow.f64 (/.f64 f n) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (+.f64 (/.f64 f n) 1) (sqrt.f64 n)) (/.f64 f (sqrt.f64 n)) (pow.f64 (/.f64 f n) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (pow.f64 (/.f64 f n) 2) 1) (/.f64 f n) (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (pow.f64 (/.f64 f n) 2) f) (/.f64 1 n) (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (/.f64 f n) (pow.f64 (cbrt.f64 (+.f64 (/.f64 f n) 1)) 2)) (cbrt.f64 (+.f64 (/.f64 f n) 1)) (pow.f64 (/.f64 f n) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (/.f64 f n) (sqrt.f64 (+.f64 (/.f64 f n) 1))) (sqrt.f64 (+.f64 (/.f64 f n) 1)) (pow.f64 (/.f64 f n) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (+.f64 (/.f64 f n) 1) (pow.f64 (cbrt.f64 (/.f64 f n)) 2)) (cbrt.f64 (/.f64 f n)) (pow.f64 (/.f64 f n) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (+.f64 (/.f64 f n) 1) (sqrt.f64 (/.f64 f n))) (sqrt.f64 (/.f64 f n)) (pow.f64 (/.f64 f n) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (pow.f64 (/.f64 f n) 2) (pow.f64 (cbrt.f64 (/.f64 f n)) 2)) (cbrt.f64 (/.f64 f n)) (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (pow.f64 (/.f64 f n) 2) (sqrt.f64 (/.f64 f n))) (sqrt.f64 (/.f64 f n)) (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (pow.f64 (/.f64 f n) 3) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 f (.f64 (/.f64 1 n) (pow.f64 (/.f64 f n) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (/.f64 f n) 3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (pow.f64 (/.f64 f n) 3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (/.f64 f n) 2) (/.f64 f n))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (/.f64 f n)) 2) (.f64 (cbrt.f64 (/.f64 f n)) (pow.f64 (/.f64 f n) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (/.f64 f n)) (.f64 (sqrt.f64 (/.f64 f n)) (pow.f64 (/.f64 f n) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 f 3) (pow.f64 (/.f64 1 n) 3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 f 3) (/.f64 1 (pow.f64 n 3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (/.f64 f n) 3/2) (pow.f64 (/.f64 f n) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 f n)) 2) 3) (/.f64 f n))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (sqrt.f64 (/.f64 f n)) 3) (pow.f64 (sqrt.f64 (/.f64 f n)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 (/.f64 f n) 2) 1) (/.f64 f n))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 (/.f64 f n) 2) f) (/.f64 1 n))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 (/.f64 f n) 2) (pow.f64 (cbrt.f64 (/.f64 f n)) 2)) (cbrt.f64 (/.f64 f n)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 (/.f64 f n) 2) (sqrt.f64 (/.f64 f n))) (sqrt.f64 (/.f64 f n)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (pow.f64 n 3) (pow.f64 f 3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (pow.f64 (/.f64 n f) 3))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (/.f64 f n) 2) (/.f64 n f))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 f 3) (pow.f64 n 3))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (neg.f64 f) 3) (pow.f64 (neg.f64 n) 3))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 f 3)) (neg.f64 (pow.f64 n 3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 (/.f64 f n) 2) 1) (/.f64 n f))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 f (pow.f64 (/.f64 f n) 2)) n)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 f) (pow.f64 (/.f64 f n) 2)) (neg.f64 n))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 (/.f64 f n) 2) f) n)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 (/.f64 f n) 2) (neg.f64 f)) (neg.f64 n))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 f n) 6))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (/.f64 f n) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (/.f64 f n) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 f n) 9))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (/.f64 f n) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 (pow.f64 (/.f64 f n) 3) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 (/.f64 f n) 3) 1)) (cbrt.f64 (+.f64 (pow.f64 (/.f64 f n) 3) 1))) (cbrt.f64 (+.f64 (pow.f64 (/.f64 f n) 3) 1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 (pow.f64 (/.f64 f n) 3) 1)) (sqrt.f64 (+.f64 (pow.f64 (/.f64 f n) 3) 1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (/.f64 f n) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 3 (log.f64 (/.f64 f n))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (.f64 3 (log.f64 (/.f64 f n))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (/.f64 f n) 2) (/.f64 f n))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 n (.f64 f (+.f64 (/.f64 f n) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (/.f64 f n) 1) (/.f64 n f))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (/.f64 f n) 3) 1) (.f64 (/.f64 n f) (+.f64 (pow.f64 (/.f64 f n) 2) (-.f64 1 (/.f64 f n)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (/.f64 f n) 2) -1) (.f64 (/.f64 n f) (+.f64 (/.f64 f n) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 f (+.f64 (/.f64 f n) 1)) n)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 f (+.f64 (/.f64 f n) 1))) (neg.f64 n))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 f (+.f64 (pow.f64 (/.f64 f n) 3) 1)) (.f64 n (+.f64 (pow.f64 (/.f64 f n) 2) (-.f64 1 (/.f64 f n)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 f) (+.f64 (pow.f64 (/.f64 f n) 3) 1)) (.f64 (neg.f64 n) (+.f64 (pow.f64 (/.f64 f n) 2) (-.f64 1 (/.f64 f n)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 f (+.f64 (pow.f64 (/.f64 f n) 2) -1)) (.f64 n (+.f64 (/.f64 f n) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 f) (+.f64 (pow.f64 (/.f64 f n) 2) -1)) (.f64 (neg.f64 n) (+.f64 (/.f64 f n) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (pow.f64 (/.f64 f n) 3) 1) f) (.f64 (+.f64 (pow.f64 (/.f64 f n) 2) (-.f64 1 (/.f64 f n))) n))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (pow.f64 (/.f64 f n) 2) -1) f) (.f64 (+.f64 (/.f64 f n) -1) n))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (pow.f64 (/.f64 f n) 3) 1) 1) (.f64 (+.f64 (pow.f64 (/.f64 f n) 2) (-.f64 1 (/.f64 f n))) (/.f64 n f)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (pow.f64 (/.f64 f n) 2) -1) 1) (.f64 (+.f64 (/.f64 f n) -1) (/.f64 n f)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (pow.f64 (/.f64 f n) 3) 1) (neg.f64 f)) (.f64 (+.f64 (pow.f64 (/.f64 f n) 2) (-.f64 1 (/.f64 f n))) (neg.f64 n)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (pow.f64 (/.f64 f n) 2) -1) (neg.f64 f)) (.f64 (+.f64 (/.f64 f n) -1) (neg.f64 n)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 f (+.f64 (/.f64 f n) 1)) 1) n)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 f (+.f64 (/.f64 f n) 1)) (pow.f64 (cbrt.f64 n) 2)) (cbrt.f64 n))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 f (+.f64 (/.f64 f n) 1)) (sqrt.f64 n)) (sqrt.f64 n))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 f) (+.f64 (/.f64 f n) 1)) (neg.f64 n))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (pow.f64 (/.f64 f n) 3) 1) (/.f64 f n)) (+.f64 (pow.f64 (/.f64 f n) 2) (-.f64 1 (/.f64 f n))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (pow.f64 (/.f64 f n) 2) -1) (/.f64 f n)) (+.f64 (/.f64 f n) -1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (/.f64 f n) (+.f64 (pow.f64 (/.f64 f n) 3) 1)) (+.f64 (pow.f64 (/.f64 f n) 2) (-.f64 1 (/.f64 f n))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (/.f64 f n) (+.f64 (pow.f64 (/.f64 f n) 2) -1)) (+.f64 (/.f64 f n) -1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (/.f64 f n) 1) (neg.f64 f)) (neg.f64 n))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (+.f64 (/.f64 f n) 1)) (/.f64 f n)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 f (/.f64 1 n) (pow.f64 (/.f64 f n) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 f (.f64 (/.f64 1 n) 1) (pow.f64 (/.f64 f n) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 f (.f64 (/.f64 1 n) (/.f64 f n)) (/.f64 f n))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 f n) (/.f64 f n) (/.f64 f n))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 f n) 1 (pow.f64 (/.f64 f n) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (/.f64 f n) (pow.f64 (/.f64 f n) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (pow.f64 (/.f64 f n) 2) (/.f64 f n))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 f f) (.f64 (/.f64 1 n) (/.f64 1 n)) (/.f64 f n))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 f) 2) (.f64 (cbrt.f64 f) (/.f64 1 n)) (pow.f64 (/.f64 f n) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (/.f64 f n)) (pow.f64 (cbrt.f64 (/.f64 f n)) 2) (pow.f64 (/.f64 f n) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (/.f64 f n)) 2) (cbrt.f64 (/.f64 f n)) (pow.f64 (/.f64 f n) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (/.f64 f n)) 2) (.f64 (cbrt.f64 (/.f64 f n)) 1) (pow.f64 (/.f64 f n) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (/.f64 f n)) 2) (.f64 (cbrt.f64 (/.f64 f n)) (/.f64 f n)) (/.f64 f n))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 f) (.f64 (sqrt.f64 f) (/.f64 1 n)) (pow.f64 (/.f64 f n) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (/.f64 f n)) (sqrt.f64 (/.f64 f n)) (pow.f64 (/.f64 f n) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (/.f64 f n)) (pow.f64 (/.f64 f n) 3/2) (/.f64 f n))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (/.f64 f n)) (.f64 (sqrt.f64 (/.f64 f n)) 1) (pow.f64 (/.f64 f n) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 f) (/.f64 1 (neg.f64 n)) (pow.f64 (/.f64 f n) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 1 n) f (pow.f64 (/.f64 f n) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (/.f64 f n) 3/2) (sqrt.f64 (/.f64 f n)) (/.f64 f n))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (pow.f64 (cbrt.f64 (/.f64 f n)) 2) (pow.f64 (cbrt.f64 (/.f64 f n)) 2)) (pow.f64 (cbrt.f64 (/.f64 f n)) 2) (/.f64 f n))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (pow.f64 (cbrt.f64 f) 2) 1) (/.f64 (cbrt.f64 f) n) (pow.f64 (/.f64 f n) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (sqrt.f64 f) 1) (/.f64 (sqrt.f64 f) n) (pow.f64 (/.f64 f n) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 1 (pow.f64 (cbrt.f64 n) 2)) (/.f64 f (cbrt.f64 n)) (pow.f64 (/.f64 f n) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (pow.f64 (cbrt.f64 f) 2) (pow.f64 (cbrt.f64 n) 2)) (cbrt.f64 (/.f64 f n)) (pow.f64 (/.f64 f n) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (sqrt.f64 f) (pow.f64 (cbrt.f64 n) 2)) (/.f64 (sqrt.f64 f) (cbrt.f64 n)) (pow.f64 (/.f64 f n) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 1 (sqrt.f64 n)) (/.f64 f (sqrt.f64 n)) (pow.f64 (/.f64 f n) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (pow.f64 (cbrt.f64 f) 2) (sqrt.f64 n)) (/.f64 (cbrt.f64 f) (sqrt.f64 n)) (pow.f64 (/.f64 f n) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (/.f64 f n) f) (/.f64 1 n) (/.f64 f n))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (/.f64 f n) (pow.f64 (cbrt.f64 (/.f64 f n)) 2)) (cbrt.f64 (/.f64 f n)) (/.f64 f n))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (+.f64 (log1p.f64 (/.f64 f n)) (log.f64 (/.f64 f n))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (+.f64 (log1p.f64 (/.f64 f n)) (log.f64 (/.f64 f n))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2)) (.f64 (pow.f64 (/.f64 f n) 3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 (/.f64 f n) 3) 2) (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 (pow.f64 (/.f64 f n) 3) 2) 1) (.f64 (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3)) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (.f64 (pow.f64 (/.f64 f n) 3) 2) 3) (pow.f64 (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2)) 3)) (fma.f64 (.f64 (pow.f64 (/.f64 f n) 3) 2) (.f64 (pow.f64 (/.f64 f n) 3) 2) (-.f64 (.f64 (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2)) (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2))) (.f64 (.f64 (pow.f64 (/.f64 f n) 3) 2) (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (.f64 (pow.f64 (/.f64 f n) 3) 2) (.f64 (pow.f64 (/.f64 f n) 3) 2)) (.f64 (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2)) (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2)))) (-.f64 (.f64 (pow.f64 (/.f64 f n) 3) 2) (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (pow.f64 (/.f64 f n) 9) (pow.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) 3)) 2) (fma.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) (-.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) (pow.f64 (/.f64 f n) 3)) (pow.f64 (/.f64 f n) 6)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (pow.f64 (/.f64 f n) 6) (pow.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) 2)) 2) (-.f64 (pow.f64 (/.f64 f n) 3) (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (+.f64 (pow.f64 (/.f64 f n) 9) (pow.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) 3))) (fma.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) (-.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) (pow.f64 (/.f64 f n) 3)) (pow.f64 (/.f64 f n) 6)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (-.f64 (pow.f64 (/.f64 f n) 6) (pow.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) 2))) (-.f64 (pow.f64 (/.f64 f n) 3) (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3)) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3)) 2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3)) 2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3)) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 4 (pow.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 2) (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3)) 2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 f n) (.f64 (pow.f64 (/.f64 f n) 2) 2) (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2) (.f64 (pow.f64 (/.f64 f n) 3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (/.f64 f n) 3) 2 (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2)) (.f64 (pow.f64 (/.f64 f n) 3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 (pow.f64 (/.f64 f n) 3) 2) (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 (/.f64 f n) 1) (.f64 (/.f64 f n) 2) (.f64 (pow.f64 (/.f64 f n) 3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) 2 (.f64 (pow.f64 (/.f64 f n) 3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 2 (pow.f64 (/.f64 f n) 3) (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 2 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)) (.f64 (pow.f64 (/.f64 f n) 3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (/.f64 f n) 2) (.f64 (/.f64 f n) 2) (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2))) 2) (.f64 (cbrt.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2))) 2) (.f64 (pow.f64 (/.f64 f n) 3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2))) (.f64 (sqrt.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2))) 2) (.f64 (pow.f64 (/.f64 f n) 3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (/.f64 f n) 3/2) (.f64 (pow.f64 (/.f64 f n) 3/2) 2) (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (pow.f64 (/.f64 f n) 3) 2) 1 (.f64 (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cbrt.f64 (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2))) (cbrt.f64 (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2)))) (cbrt.f64 (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2))) (.f64 (pow.f64 (/.f64 f n) 3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (/.f64 f n) 3) 2)) (cbrt.f64 (.f64 (pow.f64 (/.f64 f n) 3) 2))) (cbrt.f64 (.f64 (pow.f64 (/.f64 f n) 3) 2)) (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2))) (sqrt.f64 (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2))) (.f64 (pow.f64 (/.f64 f n) 3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 (pow.f64 (/.f64 f n) 3) 2)) (sqrt.f64 (.f64 (pow.f64 (/.f64 f n) 3) 2)) (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 2 (/.f64 f n)) (+.f64 (/.f64 f n) 1) (.f64 (pow.f64 (/.f64 f n) 3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 2 (/.f64 f n)) (pow.f64 (/.f64 f n) 2) (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 2 (pow.f64 (/.f64 f n) 2)) (/.f64 f n) (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 2 (pow.f64 (/.f64 f n) 3/2)) (pow.f64 (/.f64 f n) 3/2) (.f64 (/.f64 f n) (.f64 (+.f64 (/.f64 f n) 1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 2 (+.f64 (/.f64 f n) 1)) (/.f64 f n) (.f64 (pow.f64 (/.f64 f n) 3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 2 (pow.f64 (cbrt.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2))) 2)) (cbrt.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2))) (.f64 (pow.f64 (/.f64 f n) 3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 2 (sqrt.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2)))) (sqrt.f64 (+.f64 (/.f64 f n) (pow.f64 (/.f64 f n) 2))) (.f64 (pow.f64 (/.f64 f n) 3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (fma.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1) (pow.f64 (/.f64 f n) 3)) 2)) 1))))))

simplify61.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

837×	`fma-def_binary64`
503×	`associate-/l*_binary64`
282×	`associate-/r*_binary64`
275×	`distribute-rgt-out_binary64`
263×	`associate-*l/_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	21	1638
1	64	1626
2	169	1290
3	638	1242
4	3423	1194

Stop Event

1×	node limit

Counts

321 → 245

Calls

Call 1

Inputs
(/.f64 f n)
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(/.f64 f n)
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(/.f64 f n)
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(/.f64 f n)
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(/.f64 (pow.f64 f 2) (pow.f64 n 2))
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(/.f64 (pow.f64 f 2) (pow.f64 n 2))
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(/.f64 (pow.f64 f 2) (pow.f64 n 2))
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(/.f64 f n)
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(/.f64 f n)
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(*.f64 2 (/.f64 f n))
(+.f64 (.f64 2 (/.f64 f n)) (.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(*.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(*.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(*.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(*.f64 2 (/.f64 f n))
(+.f64 (.f64 2 (/.f64 f n)) (.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(*.f64 2 (/.f64 f n))
(+.f64 (.f64 2 (/.f64 f n)) (.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))

Outputs
(/.f64 f n)
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n)))
(+.f64 (/.f64 f n) (*.f64 (/.f64 f n) (/.f64 f n)))
(*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))
(*.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1))
(/.f64 (fma.f64 f (/.f64 f n) f) n)
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(+.f64 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n))) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))
(+.f64 (/.f64 f n) (+.f64 (*.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3))))
(+.f64 (*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)) (pow.f64 (/.f64 f n) 3))
(fma.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3))
(+.f64 (/.f64 (fma.f64 f (/.f64 f n) f) n) (pow.f64 (/.f64 f n) 3))
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(+.f64 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n))) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))
(+.f64 (/.f64 f n) (+.f64 (*.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3))))
(+.f64 (*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)) (pow.f64 (/.f64 f n) 3))
(fma.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3))
(+.f64 (/.f64 (fma.f64 f (/.f64 f n) f) n) (pow.f64 (/.f64 f n) 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 (.f64 f f) (.f64 n n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))
(+.f64 (*.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))
(fma.f64 (/.f64 f n) (/.f64 f n) (pow.f64 (/.f64 f n) 3))
(.f64 (/.f64 f (.f64 n n)) (fma.f64 f (/.f64 f n) f))
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(+.f64 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n))) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))
(+.f64 (/.f64 f n) (+.f64 (*.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3))))
(+.f64 (*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)) (pow.f64 (/.f64 f n) 3))
(fma.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3))
(+.f64 (/.f64 (fma.f64 f (/.f64 f n) f) n) (pow.f64 (/.f64 f n) 3))
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(+.f64 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n))) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))
(+.f64 (/.f64 f n) (+.f64 (*.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3))))
(+.f64 (*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)) (pow.f64 (/.f64 f n) 3))
(fma.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3))
(+.f64 (/.f64 (fma.f64 f (/.f64 f n) f) n) (pow.f64 (/.f64 f n) 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 (.f64 f f) (.f64 n n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))
(+.f64 (*.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))
(fma.f64 (/.f64 f n) (/.f64 f n) (pow.f64 (/.f64 f n) 3))
(.f64 (/.f64 f (.f64 n n)) (fma.f64 f (/.f64 f n) f))
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(+.f64 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n))) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))
(+.f64 (/.f64 f n) (+.f64 (*.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3))))
(+.f64 (*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)) (pow.f64 (/.f64 f n) 3))
(fma.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3))
(+.f64 (/.f64 (fma.f64 f (/.f64 f n) f) n) (pow.f64 (/.f64 f n) 3))
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(+.f64 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n))) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))
(+.f64 (/.f64 f n) (+.f64 (*.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3))))
(+.f64 (*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)) (pow.f64 (/.f64 f n) 3))
(fma.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3))
(+.f64 (/.f64 (fma.f64 f (/.f64 f n) f) n) (pow.f64 (/.f64 f n) 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 (.f64 f f) (.f64 n n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))
(+.f64 (*.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))
(fma.f64 (/.f64 f n) (/.f64 f n) (pow.f64 (/.f64 f n) 3))
(.f64 (/.f64 f (.f64 n n)) (fma.f64 f (/.f64 f n) f))
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(+.f64 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n))) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))
(+.f64 (/.f64 f n) (+.f64 (*.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3))))
(+.f64 (*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)) (pow.f64 (/.f64 f n) 3))
(fma.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3))
(+.f64 (/.f64 (fma.f64 f (/.f64 f n) f) n) (pow.f64 (/.f64 f n) 3))
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(+.f64 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n))) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))
(+.f64 (/.f64 f n) (+.f64 (*.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3))))
(+.f64 (*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)) (pow.f64 (/.f64 f n) 3))
(fma.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3))
(+.f64 (/.f64 (fma.f64 f (/.f64 f n) f) n) (pow.f64 (/.f64 f n) 3))
(/.f64 f n)
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n)))
(+.f64 (/.f64 f n) (*.f64 (/.f64 f n) (/.f64 f n)))
(*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))
(*.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1))
(/.f64 (fma.f64 f (/.f64 f n) f) n)
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(+.f64 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n))) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))
(+.f64 (/.f64 f n) (+.f64 (*.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3))))
(+.f64 (*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)) (pow.f64 (/.f64 f n) 3))
(fma.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3))
(+.f64 (/.f64 (fma.f64 f (/.f64 f n) f) n) (pow.f64 (/.f64 f n) 3))
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(+.f64 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n))) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))
(+.f64 (/.f64 f n) (+.f64 (*.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3))))
(+.f64 (*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)) (pow.f64 (/.f64 f n) 3))
(fma.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3))
(+.f64 (/.f64 (fma.f64 f (/.f64 f n) f) n) (pow.f64 (/.f64 f n) 3))
(/.f64 f n)
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n)))
(+.f64 (/.f64 f n) (*.f64 (/.f64 f n) (/.f64 f n)))
(*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))
(*.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1))
(/.f64 (fma.f64 f (/.f64 f n) f) n)
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(+.f64 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n))) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))
(+.f64 (/.f64 f n) (+.f64 (*.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3))))
(+.f64 (*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)) (pow.f64 (/.f64 f n) 3))
(fma.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3))
(+.f64 (/.f64 (fma.f64 f (/.f64 f n) f) n) (pow.f64 (/.f64 f n) 3))
(+.f64 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(+.f64 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n))) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))
(+.f64 (/.f64 f n) (+.f64 (*.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3))))
(+.f64 (*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)) (pow.f64 (/.f64 f n) 3))
(fma.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3))
(+.f64 (/.f64 (fma.f64 f (/.f64 f n) f) n) (pow.f64 (/.f64 f n) 3))
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(/.f64 (pow.f64 f 3) (pow.f64 n 3))
(pow.f64 (/.f64 f n) 3)
(/.f64 f n)
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n)))
(+.f64 (/.f64 f n) (*.f64 (/.f64 f n) (/.f64 f n)))
(*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))
(*.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1))
(/.f64 (fma.f64 f (/.f64 f n) f) n)
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n)))
(+.f64 (/.f64 f n) (*.f64 (/.f64 f n) (/.f64 f n)))
(*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))
(*.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1))
(/.f64 (fma.f64 f (/.f64 f n) f) n)
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n)))
(+.f64 (/.f64 f n) (*.f64 (/.f64 f n) (/.f64 f n)))
(*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))
(*.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1))
(/.f64 (fma.f64 f (/.f64 f n) f) n)
(/.f64 (pow.f64 f 2) (pow.f64 n 2))
(/.f64 (.f64 f f) (.f64 n n))
(*.f64 (/.f64 f n) (/.f64 f n))
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n)))
(+.f64 (/.f64 f n) (*.f64 (/.f64 f n) (/.f64 f n)))
(*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))
(*.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1))
(/.f64 (fma.f64 f (/.f64 f n) f) n)
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n)))
(+.f64 (/.f64 f n) (*.f64 (/.f64 f n) (/.f64 f n)))
(*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))
(*.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1))
(/.f64 (fma.f64 f (/.f64 f n) f) n)
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n)))
(+.f64 (/.f64 f n) (*.f64 (/.f64 f n) (/.f64 f n)))
(*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))
(*.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1))
(/.f64 (fma.f64 f (/.f64 f n) f) n)
(/.f64 (pow.f64 f 2) (pow.f64 n 2))
(/.f64 (.f64 f f) (.f64 n n))
(*.f64 (/.f64 f n) (/.f64 f n))
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n)))
(+.f64 (/.f64 f n) (*.f64 (/.f64 f n) (/.f64 f n)))
(*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))
(*.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1))
(/.f64 (fma.f64 f (/.f64 f n) f) n)
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n)))
(+.f64 (/.f64 f n) (*.f64 (/.f64 f n) (/.f64 f n)))
(*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))
(*.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1))
(/.f64 (fma.f64 f (/.f64 f n) f) n)
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n)))
(+.f64 (/.f64 f n) (*.f64 (/.f64 f n) (/.f64 f n)))
(*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))
(*.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1))
(/.f64 (fma.f64 f (/.f64 f n) f) n)
(/.f64 (pow.f64 f 2) (pow.f64 n 2))
(/.f64 (.f64 f f) (.f64 n n))
(*.f64 (/.f64 f n) (/.f64 f n))
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n)))
(+.f64 (/.f64 f n) (*.f64 (/.f64 f n) (/.f64 f n)))
(*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))
(*.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1))
(/.f64 (fma.f64 f (/.f64 f n) f) n)
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n)))
(+.f64 (/.f64 f n) (*.f64 (/.f64 f n) (/.f64 f n)))
(*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))
(*.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1))
(/.f64 (fma.f64 f (/.f64 f n) f) n)
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n)))
(+.f64 (/.f64 f n) (*.f64 (/.f64 f n) (/.f64 f n)))
(*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))
(*.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1))
(/.f64 (fma.f64 f (/.f64 f n) f) n)
(/.f64 f n)
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n)))
(+.f64 (/.f64 f n) (*.f64 (/.f64 f n) (/.f64 f n)))
(*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))
(*.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1))
(/.f64 (fma.f64 f (/.f64 f n) f) n)
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n)))
(+.f64 (/.f64 f n) (*.f64 (/.f64 f n) (/.f64 f n)))
(*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))
(*.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1))
(/.f64 (fma.f64 f (/.f64 f n) f) n)
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n)))
(+.f64 (/.f64 f n) (*.f64 (/.f64 f n) (/.f64 f n)))
(*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))
(*.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1))
(/.f64 (fma.f64 f (/.f64 f n) f) n)
(/.f64 f n)
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n)))
(+.f64 (/.f64 f n) (*.f64 (/.f64 f n) (/.f64 f n)))
(*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))
(*.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1))
(/.f64 (fma.f64 f (/.f64 f n) f) n)
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n)))
(+.f64 (/.f64 f n) (*.f64 (/.f64 f n) (/.f64 f n)))
(*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))
(*.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1))
(/.f64 (fma.f64 f (/.f64 f n) f) n)
(+.f64 (/.f64 f n) (/.f64 (pow.f64 f 2) (pow.f64 n 2)))
(+.f64 (/.f64 f n) (/.f64 (.f64 f f) (.f64 n n)))
(+.f64 (/.f64 f n) (*.f64 (/.f64 f n) (/.f64 f n)))
(*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))
(*.f64 (/.f64 f n) (+.f64 (/.f64 f n) 1))
(/.f64 (fma.f64 f (/.f64 f n) f) n)
(*.f64 2 (/.f64 f n))
(/.f64 (*.f64 2 f) n)
(*.f64 (/.f64 f n) 2)
(/.f64 f (/.f64 n 2))
(/.f64 (*.f64 f 2) n)
(+.f64 (.f64 2 (/.f64 f n)) (.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(.f64 2 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (*.f64 n n))))
(.f64 2 (+.f64 (/.f64 f n) (.f64 (/.f64 f n) (/.f64 f n))))
(.f64 2 (.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)))
(.f64 (/.f64 f n) (+.f64 2 (/.f64 (.f64 f 2) n)))
(*.f64 (/.f64 f n) (fma.f64 f (/.f64 2 n) 2))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(fma.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (.f64 2 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (*.f64 n n)))))
(.f64 2 (+.f64 (/.f64 f n) (+.f64 (.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))))
(.f64 2 (+.f64 (.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)) (pow.f64 (/.f64 f n) 3)))
(*.f64 2 (fma.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3)))
(.f64 (/.f64 2 n) (+.f64 f (.f64 (/.f64 f n) (fma.f64 f (/.f64 f n) f))))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(fma.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (.f64 2 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (*.f64 n n)))))
(.f64 2 (+.f64 (/.f64 f n) (+.f64 (.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))))
(.f64 2 (+.f64 (.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)) (pow.f64 (/.f64 f n) 3)))
(*.f64 2 (fma.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3)))
(.f64 (/.f64 2 n) (+.f64 f (.f64 (/.f64 f n) (fma.f64 f (/.f64 f n) f))))
(*.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)))
(/.f64 2 (/.f64 (pow.f64 n 3) (pow.f64 f 3)))
(*.f64 2 (pow.f64 (/.f64 f n) 3))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(.f64 2 (+.f64 (/.f64 (.f64 f f) (*.f64 n n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3))))
(.f64 2 (+.f64 (.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3))))
(*.f64 2 (fma.f64 (/.f64 f n) (/.f64 f n) (pow.f64 (/.f64 f n) 3)))
(.f64 (.f64 (/.f64 f n) (/.f64 f n)) (fma.f64 f (/.f64 2 n) 2))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(fma.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (.f64 2 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (*.f64 n n)))))
(.f64 2 (+.f64 (/.f64 f n) (+.f64 (.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))))
(.f64 2 (+.f64 (.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)) (pow.f64 (/.f64 f n) 3)))
(*.f64 2 (fma.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3)))
(.f64 (/.f64 2 n) (+.f64 f (.f64 (/.f64 f n) (fma.f64 f (/.f64 f n) f))))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(fma.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (.f64 2 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (*.f64 n n)))))
(.f64 2 (+.f64 (/.f64 f n) (+.f64 (.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))))
(.f64 2 (+.f64 (.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)) (pow.f64 (/.f64 f n) 3)))
(*.f64 2 (fma.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3)))
(.f64 (/.f64 2 n) (+.f64 f (.f64 (/.f64 f n) (fma.f64 f (/.f64 f n) f))))
(*.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)))
(/.f64 2 (/.f64 (pow.f64 n 3) (pow.f64 f 3)))
(*.f64 2 (pow.f64 (/.f64 f n) 3))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(.f64 2 (+.f64 (/.f64 (.f64 f f) (*.f64 n n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3))))
(.f64 2 (+.f64 (.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3))))
(*.f64 2 (fma.f64 (/.f64 f n) (/.f64 f n) (pow.f64 (/.f64 f n) 3)))
(.f64 (.f64 (/.f64 f n) (/.f64 f n)) (fma.f64 f (/.f64 2 n) 2))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(fma.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (.f64 2 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (*.f64 n n)))))
(.f64 2 (+.f64 (/.f64 f n) (+.f64 (.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))))
(.f64 2 (+.f64 (.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)) (pow.f64 (/.f64 f n) 3)))
(*.f64 2 (fma.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3)))
(.f64 (/.f64 2 n) (+.f64 f (.f64 (/.f64 f n) (fma.f64 f (/.f64 f n) f))))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(fma.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (.f64 2 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (*.f64 n n)))))
(.f64 2 (+.f64 (/.f64 f n) (+.f64 (.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))))
(.f64 2 (+.f64 (.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)) (pow.f64 (/.f64 f n) 3)))
(*.f64 2 (fma.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3)))
(.f64 (/.f64 2 n) (+.f64 f (.f64 (/.f64 f n) (fma.f64 f (/.f64 f n) f))))
(*.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)))
(/.f64 2 (/.f64 (pow.f64 n 3) (pow.f64 f 3)))
(*.f64 2 (pow.f64 (/.f64 f n) 3))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(.f64 2 (+.f64 (/.f64 (.f64 f f) (*.f64 n n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3))))
(.f64 2 (+.f64 (.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3))))
(*.f64 2 (fma.f64 (/.f64 f n) (/.f64 f n) (pow.f64 (/.f64 f n) 3)))
(.f64 (.f64 (/.f64 f n) (/.f64 f n)) (fma.f64 f (/.f64 2 n) 2))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(fma.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (.f64 2 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (*.f64 n n)))))
(.f64 2 (+.f64 (/.f64 f n) (+.f64 (.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))))
(.f64 2 (+.f64 (.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)) (pow.f64 (/.f64 f n) 3)))
(*.f64 2 (fma.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3)))
(.f64 (/.f64 2 n) (+.f64 f (.f64 (/.f64 f n) (fma.f64 f (/.f64 f n) f))))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(fma.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (.f64 2 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (*.f64 n n)))))
(.f64 2 (+.f64 (/.f64 f n) (+.f64 (.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))))
(.f64 2 (+.f64 (.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)) (pow.f64 (/.f64 f n) 3)))
(*.f64 2 (fma.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3)))
(.f64 (/.f64 2 n) (+.f64 f (.f64 (/.f64 f n) (fma.f64 f (/.f64 f n) f))))
(*.f64 2 (/.f64 f n))
(/.f64 (*.f64 2 f) n)
(*.f64 (/.f64 f n) 2)
(/.f64 f (/.f64 n 2))
(/.f64 (*.f64 f 2) n)
(+.f64 (.f64 2 (/.f64 f n)) (.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(.f64 2 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (*.f64 n n))))
(.f64 2 (+.f64 (/.f64 f n) (.f64 (/.f64 f n) (/.f64 f n))))
(.f64 2 (.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)))
(.f64 (/.f64 f n) (+.f64 2 (/.f64 (.f64 f 2) n)))
(*.f64 (/.f64 f n) (fma.f64 f (/.f64 2 n) 2))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(fma.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (.f64 2 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (*.f64 n n)))))
(.f64 2 (+.f64 (/.f64 f n) (+.f64 (.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))))
(.f64 2 (+.f64 (.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)) (pow.f64 (/.f64 f n) 3)))
(*.f64 2 (fma.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3)))
(.f64 (/.f64 2 n) (+.f64 f (.f64 (/.f64 f n) (fma.f64 f (/.f64 f n) f))))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(fma.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (.f64 2 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (*.f64 n n)))))
(.f64 2 (+.f64 (/.f64 f n) (+.f64 (.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))))
(.f64 2 (+.f64 (.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)) (pow.f64 (/.f64 f n) 3)))
(*.f64 2 (fma.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3)))
(.f64 (/.f64 2 n) (+.f64 f (.f64 (/.f64 f n) (fma.f64 f (/.f64 f n) f))))
(*.f64 2 (/.f64 f n))
(/.f64 (*.f64 2 f) n)
(*.f64 (/.f64 f n) 2)
(/.f64 f (/.f64 n 2))
(/.f64 (*.f64 f 2) n)
(+.f64 (.f64 2 (/.f64 f n)) (.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2))))
(.f64 2 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (*.f64 n n))))
(.f64 2 (+.f64 (/.f64 f n) (.f64 (/.f64 f n) (/.f64 f n))))
(.f64 2 (.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)))
(.f64 (/.f64 f n) (+.f64 2 (/.f64 (.f64 f 2) n)))
(*.f64 (/.f64 f n) (fma.f64 f (/.f64 2 n) 2))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(fma.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (.f64 2 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (*.f64 n n)))))
(.f64 2 (+.f64 (/.f64 f n) (+.f64 (.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))))
(.f64 2 (+.f64 (.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)) (pow.f64 (/.f64 f n) 3)))
(*.f64 2 (fma.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3)))
(.f64 (/.f64 2 n) (+.f64 f (.f64 (/.f64 f n) (fma.f64 f (/.f64 f n) f))))
(+.f64 (.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (.f64 2 (/.f64 f n)) (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(fma.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (.f64 2 (+.f64 (/.f64 f n) (/.f64 (.f64 f f) (*.f64 n n)))))
(.f64 2 (+.f64 (/.f64 f n) (+.f64 (.f64 (/.f64 f n) (/.f64 f n)) (/.f64 (pow.f64 f 3) (pow.f64 n 3)))))
(.f64 2 (+.f64 (.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)) (pow.f64 (/.f64 f n) 3)))
(*.f64 2 (fma.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n) (pow.f64 (/.f64 f n) 3)))
(.f64 (/.f64 2 n) (+.f64 f (.f64 (/.f64 f n) (fma.f64 f (/.f64 f n) f))))

prune159.0ms (9.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	245	0	245
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	245	3	248

Error

Counts

248 → 3

Alt Table

Status	Error	Program
✓	30.1b	(+.f64 1 (.f64 2 (+.f64 (pow.f64 (/.f64 f n) 3) (.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)))))
✓	0.0b	(/.f64 (+.f64 f n) (-.f64 n f))
▶	32.9b	(fma.f64 (/.f64 n f) -2 -1)

Compiler

Compiled 6243 to 3397 computations (45.6% saved)

localize4.0ms (0.2%)

prune1.0ms (0.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	2	2
Total	3	3

Error

Counts

3 → 3

Alt Table

Status	Error	Program
✓	30.1b	(+.f64 1 (.f64 2 (+.f64 (pow.f64 (/.f64 f n) 3) (.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)))))
✓	0.0b	(/.f64 (+.f64 f n) (-.f64 n f))
✓	32.9b	(fma.f64 (/.f64 n f) -2 -1)

Compiler

Compiled 38 to 24 computations (36.8% saved)

regimes48.0ms (3%)

Accuracy

Total 0.0b remaining (66.2%)

Threshold costs 0.0b (66.2%)

Counts

30 → 1

Compiler

Compiled 367 to 170 computations (53.7% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`*-commutative_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	11	13
2	15	13
3	17	13
4	18	13

Stop Event

1×

saturated

Calls

Call 1

Inputs
(pow.f64 (/.f64 (-.f64 n f) (+.f64 f n)) -1)

Outputs
(pow.f64 (/.f64 (-.f64 n f) (+.f64 f n)) -1)
(pow.f64 (/.f64 (-.f64 n f) (+.f64 n f)) -1)

end49.0ms (3.1%)

Stop Event

1×

done

Compiler

Compiled 60 to 38 computations (36.7% saved)

Details

analyze57.0ms (3.6%)

sample891.0ms (55.7%)

preprocess63.0ms (3.9%)

simplify50.0ms (3.1%)

prune2.0ms (0.1%)

localize4.0ms (0.3%)

series4.0ms (0.2%)

rewrite42.0ms (2.6%)

simplify25.0ms (1.5%)

prune33.0ms (2.1%)

localize10.0ms (0.6%)

series19.0ms (1.2%)

rewrite77.0ms (4.8%)

simplify61.0ms (3.8%)

prune159.0ms (9.9%)

localize4.0ms (0.2%)

prune1.0ms (0.1%)

regimes48.0ms (3%)

simplify2.0ms (0.1%)

end49.0ms (3.1%)

Profiling