Details

analyze1.5s (24.5%)

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
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
0%	96.7%	3.3%	9
11.7%	81.1%	7.2%	10
15.2%	74.9%	9.9%	11
20.3%	67.1%	12.6%	12
25.4%	54.5%	20.2%	13
28.3%	49.1%	22.6%	14

Compiler

Compiled 33 to 25 computations (24.2% saved)

sample2.3s (35.8%)

Results

1.4s	8256×	body	128	valid
870.0ms	5245×	body	128	invalid

Compiler

Compiled 66 to 50 computations (24.2% saved)

preprocess29.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

570×	`cancel-sign-sub-inv_binary64`
453×	`distribute-rgt-neg-in_binary64`
322×	`fma-def_binary64`
251×	`associate-r_binary64`
235×	`div-sub_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	54	172
1	169	172
2	578	148
3	2265	140
0	3	3

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

Inputs
(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (*.f64 w w) r) r)) (-.f64 1 v))) 9/2)
(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 w))) (.f64 (.f64 (*.f64 v v) r) r)) (-.f64 1 w))) 9/2)
(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 v v))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 r))) (.f64 (.f64 (*.f64 w w) v) v)) (-.f64 1 r))) 9/2)
(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 w w))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (*.f64 r r) w) w)) (-.f64 1 v))) 9/2)

Outputs
(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (*.f64 w w) r) r)) (-.f64 1 v))) 9/2)
(+.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (/.f64 (-.f64 1 v) (.f64 r (.f64 r (.f64 w w)))))) -9/2)
(+.f64 3 (+.f64 (-.f64 (/.f64 2 (.f64 r r)) (.f64 (/.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (-.f64 1 v)) (.f64 r (.f64 r (*.f64 w w))))) -9/2))
(+.f64 (-.f64 (/.f64 2 (.f64 r r)) (.f64 (.f64 (.f64 r r) (.f64 w w)) (/.f64 (+.f64 3/8 (.f64 v -1/4)) (-.f64 1 v)))) -3/2)
(+.f64 (-.f64 (/.f64 2 (.f64 r r)) (.f64 (.f64 r (.f64 r (*.f64 w w))) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) -3/2)
(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 w))) (.f64 (.f64 (*.f64 v v) r) r)) (-.f64 1 w))) 9/2)
(+.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 1/8 (+.f64 3 (.f64 -2 w))) (/.f64 (-.f64 1 w) (.f64 r (.f64 r (.f64 v v)))))) -9/2)
(+.f64 3 (+.f64 (-.f64 (/.f64 2 (.f64 r r)) (.f64 (/.f64 (.f64 1/8 (-.f64 3 (.f64 2 w))) (-.f64 1 w)) (.f64 (.f64 r v) (*.f64 r v)))) -9/2))
(+.f64 (-.f64 (/.f64 2 (.f64 r r)) (.f64 (/.f64 (+.f64 3/8 (.f64 w -1/4)) (/.f64 (-.f64 1 w) r)) (.f64 r (*.f64 v v)))) -3/2)
(+.f64 (fma.f64 (/.f64 (+.f64 -3/8 (.f64 w 1/4)) (/.f64 (-.f64 1 w) (.f64 v v))) (.f64 r r) (/.f64 2 (.f64 r r))) -3/2)
(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 v v))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 r))) (.f64 (.f64 (*.f64 w w) v) v)) (-.f64 1 r))) 9/2)
(+.f64 (-.f64 (+.f64 3 (/.f64 (/.f64 2 v) v)) (/.f64 (.f64 1/8 (-.f64 3 (.f64 2 r))) (/.f64 (-.f64 1 r) (.f64 v (.f64 v (*.f64 w w)))))) -9/2)
(+.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 v v))) (.f64 (/.f64 (.f64 1/8 (+.f64 3 (.f64 r -2))) (-.f64 1 r)) (.f64 w (.f64 w (*.f64 v v))))) -9/2)
(+.f64 (/.f64 2 (.f64 v v)) (-.f64 -3/2 (.f64 (/.f64 (.f64 w (.f64 v (.f64 v w))) (-.f64 1 r)) (+.f64 3/8 (.f64 r -1/4)))))
(+.f64 (/.f64 2 (.f64 v v)) (-.f64 -3/2 (.f64 (.f64 (/.f64 (fma.f64 r -1/4 3/8) (-.f64 1 r)) v) (.f64 v (*.f64 w w)))))
(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 w w))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (*.f64 r r) w) w)) (-.f64 1 v))) 9/2)
(+.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 w w))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 r r) (*.f64 w w))) (-.f64 1 v))) -9/2)
(+.f64 3 (+.f64 (-.f64 (/.f64 2 (.f64 w w)) (.f64 (/.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (-.f64 1 v)) (.f64 r (.f64 r (*.f64 w w))))) -9/2))
(+.f64 (/.f64 2 (.f64 w w)) (-.f64 -3/2 (.f64 (.f64 (.f64 r r) (.f64 w w)) (/.f64 (+.f64 3/8 (.f64 v -1/4)) (-.f64 1 v)))))
(+.f64 (-.f64 (/.f64 2 (.f64 w w)) (.f64 (.f64 r (.f64 r (*.f64 w w))) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) -3/2)

Compiler

Compiled 32 to 24 computations (25% saved)

simplify23.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

628×	`fma-neg_binary64`
464×	`div-sub_binary64`
352×	`associate-l_binary64`
345×	`associate-r_binary64`
185×	`associate-/r*_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	23	43
1	59	43
2	169	37
3	694	35
4	3748	33

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (*.f64 w w) r) r)) (-.f64 1 v))) 9/2)

Outputs
(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (*.f64 w w) r) r)) (-.f64 1 v))) 9/2)
(+.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 1/8 (+.f64 3 (.f64 -2 v))) (/.f64 (-.f64 1 v) (.f64 r (.f64 r (.f64 w w)))))) -9/2)
(+.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (/.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (-.f64 1 v)) (.f64 r (.f64 r (*.f64 w w))))) -9/2)
(+.f64 (/.f64 2 (.f64 r r)) (-.f64 -3/2 (/.f64 (.f64 r (.f64 w w)) (/.f64 (-.f64 1 v) (.f64 r (+.f64 3/8 (*.f64 v -1/4)))))))
(+.f64 (/.f64 2 (.f64 r r)) (-.f64 -3/2 (.f64 r (.f64 (/.f64 (fma.f64 v -1/4 3/8) (/.f64 (-.f64 1 v) r)) (.f64 w w)))))
(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 (fma.f64 v -1/4 3/8) (/.f64 (.f64 r r) (/.f64 (-.f64 1 v) (*.f64 w w))) 3/2))

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

9.7b

Counts

3 → 2

Alt Table

Status	Error	Program
	19.1b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 (fma.f64 v -1/4 3/8) (/.f64 (.f64 r r) (/.f64 (-.f64 1 v) (*.f64 w w))) 3/2))
▶	12.8b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (*.f64 w w) r) r)) (-.f64 1 v))) 9/2)

Status

Error

Program

19.1b

(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 (fma.f64 v -1/4 3/8) (/.f64 (*.f64 r r) (/.f64 (-.f64 1 v) (*.f64 w w))) 3/2))

▶

12.8b

(-.f64 (-.f64 (+.f64 3 (/.f64 2 (*.f64 r r))) (/.f64 (*.f64 (*.f64 1/8 (-.f64 3 (*.f64 2 v))) (*.f64 (*.f64 (*.f64 w w) r) r)) (-.f64 1 v))) 9/2)

Compiler

Compiled 171 to 118 computations (31% saved)

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.3b	(.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r))
✓	5.7b	(.f64 (.f64 (*.f64 w w) r) r)
✓	7.1b	(/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r)) (-.f64 1 v))
✓	9.8b	(.f64 (.f64 w w) r)

series23.0ms (0.4%)

Counts

4 → 120

Calls

30 calls:

Time	Variable		Point	Expression
4.0ms	v	@	0	(.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r))
2.0ms	w	@	0	(/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r)) (-.f64 1 v))
1.0ms	r	@	0	(/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r)) (-.f64 1 v))
1.0ms	v	@	0	(/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r)) (-.f64 1 v))
1.0ms	v	@	inf	(/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r)) (-.f64 1 v))

rewrite71.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

280×	`prod-diff_binary64`
185×	`add-sqr-sqrt_binary64`
177×	`*-un-lft-identity_binary64`
177×	`pow1_binary64`
172×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	67
1	372	58
2	4957	58

Stop Event

1×	node limit

Counts

4 → 98

Calls

Call 1

Inputs
(.f64 (.f64 w w) r)
(/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r)) (-.f64 1 v))
(.f64 (.f64 (*.f64 w w) r) r)
(.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r))

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

simplify62.0ms (1%)

Algorithm

1×	egg-herbie

Rules

501×	`associate-l_binary64`
455×	`fma-neg_binary64`
429×	`unswap-sqr_binary64`
390×	`associate-r_binary64`
322×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	51	2409
1	176	2249
2	672	2077
3	4114	2077

Stop Event

1×	node limit

Counts

218 → 126

Calls

Call 1

Inputs
(*.f64 (pow.f64 w 2) r)
(*.f64 (pow.f64 w 2) r)
(*.f64 (pow.f64 w 2) r)
(*.f64 (pow.f64 w 2) r)
(*.f64 (pow.f64 w 2) r)
(*.f64 (pow.f64 w 2) r)
(*.f64 (pow.f64 w 2) r)
(*.f64 (pow.f64 w 2) r)
(*.f64 (pow.f64 w 2) r)
(*.f64 (pow.f64 w 2) r)
(*.f64 (pow.f64 w 2) r)
(*.f64 (pow.f64 w 2) r)
(*.f64 (pow.f64 w 2) r)
(*.f64 (pow.f64 w 2) r)
(*.f64 (pow.f64 w 2) r)
(*.f64 (pow.f64 w 2) r)
(*.f64 (pow.f64 w 2) r)
(*.f64 (pow.f64 w 2) r)
(*.f64 (pow.f64 w 2) r)
(*.f64 (pow.f64 w 2) r)
(*.f64 (pow.f64 w 2) r)
(*.f64 (pow.f64 w 2) r)
(*.f64 (pow.f64 w 2) r)
(*.f64 (pow.f64 w 2) r)
(.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(+.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/8 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))
(+.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 1/8 (.f64 (pow.f64 v 2) (.f64 (pow.f64 w 2) (pow.f64 r 2))))))
(+.f64 (.f64 1/8 (.f64 (pow.f64 v 3) (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (+.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 1/8 (.f64 (pow.f64 v 2) (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))))
(.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 2)))))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 3))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 2))))))
(.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 2)))))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 3))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 2))))))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(-.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))
(-.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))
(-.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))
(.f64 -1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(-.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))
(-.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))
(-.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))
(.f64 -1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(-.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))
(-.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))
(-.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))

Outputs
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 w r))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 w r))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 w r))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 w r))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 w r))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 w r))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 w r))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 w r))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 w r))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 w r))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 w r))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 w r))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 w r))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 w r))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 w r))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 w r))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 w r))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 w r))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 w r))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 w r))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 w r))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 w r))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 w r))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 w r))
(.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(.f64 3/8 (.f64 (.f64 w w) (.f64 r r)))
(.f64 w (.f64 (.f64 r (.f64 w r)) 3/8))
(+.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/8 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))
(fma.f64 3/8 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (.f64 (.f64 (.f64 w w) (.f64 r r)) v)))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 1/8 v)))
(.f64 (.f64 w w) (.f64 (.f64 r r) (fma.f64 1/8 v 3/8)))
(+.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 1/8 (.f64 (pow.f64 v 2) (.f64 (pow.f64 w 2) (pow.f64 r 2))))))
(fma.f64 3/8 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (+.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) v) (.f64 (.f64 (.f64 w w) (.f64 r r)) (*.f64 v v)))))
(fma.f64 3/8 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 v (*.f64 v v)))))
(.f64 (.f64 w (.f64 r (.f64 w r))) (+.f64 3/8 (.f64 1/8 (+.f64 v (.f64 v v)))))
(+.f64 (.f64 1/8 (.f64 (pow.f64 v 3) (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (+.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 1/8 (.f64 (pow.f64 v 2) (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))))
(fma.f64 1/8 (.f64 (.f64 (.f64 w w) (.f64 r r)) (pow.f64 v 3)) (fma.f64 3/8 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (+.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) v) (.f64 (.f64 (.f64 w w) (.f64 r r)) (*.f64 v v))))))
(+.f64 (.f64 1/8 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 v (.f64 v v)))) (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 (*.f64 1/8 (pow.f64 v 3)) 3/8)))
(.f64 (.f64 w (.f64 r (.f64 w r))) (+.f64 (.f64 1/8 (+.f64 v (.f64 v v))) (fma.f64 1/8 (pow.f64 v 3) 3/8)))
(.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(.f64 (.f64 1/4 (.f64 w w)) (.f64 r r))
(.f64 (.f64 w w) (.f64 (.f64 r r) 1/4))
(.f64 w (.f64 w (.f64 r (.f64 r 1/4))))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)))
(+.f64 (.f64 (.f64 1/4 (.f64 w w)) (.f64 r r)) (.f64 -1/8 (/.f64 (.f64 w w) (/.f64 v (*.f64 r r)))))
(fma.f64 (.f64 (.f64 w w) (.f64 r r)) 1/4 (/.f64 (.f64 -1/8 (.f64 w w)) (/.f64 v (.f64 r r))))
(fma.f64 (.f64 w w) (.f64 r (.f64 r 1/4)) (.f64 (/.f64 (.f64 w r) (/.f64 v (.f64 w r))) -1/8))
(fma.f64 w (.f64 w (.f64 r (.f64 r 1/4))) (.f64 (/.f64 (.f64 w r) (/.f64 v (.f64 w r))) -1/8))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 2)))))
(-.f64 (.f64 (.f64 1/4 (.f64 w w)) (.f64 r r)) (.f64 1/8 (+.f64 (/.f64 (.f64 w w) (/.f64 v (.f64 r r))) (/.f64 (.f64 w w) (/.f64 (.f64 v v) (.f64 r r))))))
(fma.f64 (.f64 (.f64 w w) (.f64 r r)) 1/4 (.f64 -1/8 (+.f64 (.f64 (/.f64 (.f64 w w) v) (.f64 r r)) (.f64 (/.f64 (.f64 w w) v) (/.f64 (.f64 r r) v)))))
(fma.f64 (.f64 w w) (.f64 r (.f64 r 1/4)) (.f64 (/.f64 (.f64 w r) (/.f64 v (.f64 w r))) (-.f64 -1/8 (/.f64 1/8 v))))
(fma.f64 w (.f64 w (.f64 r (.f64 r 1/4))) (.f64 (/.f64 (.f64 w r) (/.f64 v (.f64 w r))) (-.f64 -1/8 (/.f64 1/8 v))))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 3))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 2))))))
(-.f64 (.f64 (.f64 1/4 (.f64 w w)) (.f64 r r)) (fma.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 r r)) (pow.f64 v 3)) (.f64 1/8 (+.f64 (/.f64 (.f64 w w) (/.f64 v (.f64 r r))) (/.f64 (.f64 w w) (/.f64 (.f64 v v) (*.f64 r r)))))))
(-.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) 1/4)) (.f64 1/8 (+.f64 (+.f64 (.f64 (/.f64 (.f64 w w) v) (.f64 r r)) (.f64 (/.f64 (.f64 w w) v) (/.f64 (.f64 r r) v))) (.f64 (/.f64 (.f64 w w) (pow.f64 v 3)) (.f64 r r)))))
(fma.f64 (.f64 w w) (.f64 r (.f64 r 1/4)) (.f64 -1/8 (fma.f64 (/.f64 w (/.f64 (pow.f64 v 3) w)) (.f64 r r) (.f64 (/.f64 w (/.f64 v w)) (+.f64 (*.f64 r r) (/.f64 r (/.f64 v r)))))))
(fma.f64 w (.f64 w (.f64 r (.f64 r 1/4))) (fma.f64 (/.f64 (.f64 w r) (/.f64 v (.f64 w r))) (-.f64 -1/8 (/.f64 1/8 v)) (.f64 (/.f64 w (/.f64 (pow.f64 v 3) (.f64 r (.f64 w r)))) -1/8)))
(.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(.f64 (.f64 1/4 (.f64 w w)) (.f64 r r))
(.f64 (.f64 w w) (.f64 (.f64 r r) 1/4))
(.f64 w (.f64 w (.f64 r (.f64 r 1/4))))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)))
(+.f64 (.f64 (.f64 1/4 (.f64 w w)) (.f64 r r)) (.f64 -1/8 (/.f64 (.f64 w w) (/.f64 v (*.f64 r r)))))
(fma.f64 (.f64 (.f64 w w) (.f64 r r)) 1/4 (/.f64 (.f64 -1/8 (.f64 w w)) (/.f64 v (.f64 r r))))
(fma.f64 (.f64 w w) (.f64 r (.f64 r 1/4)) (.f64 (/.f64 (.f64 w r) (/.f64 v (.f64 w r))) -1/8))
(fma.f64 w (.f64 w (.f64 r (.f64 r 1/4))) (.f64 (/.f64 (.f64 w r) (/.f64 v (.f64 w r))) -1/8))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 2)))))
(-.f64 (.f64 (.f64 1/4 (.f64 w w)) (.f64 r r)) (.f64 1/8 (+.f64 (/.f64 (.f64 w w) (/.f64 v (.f64 r r))) (/.f64 (.f64 w w) (/.f64 (.f64 v v) (.f64 r r))))))
(fma.f64 (.f64 (.f64 w w) (.f64 r r)) 1/4 (.f64 -1/8 (+.f64 (.f64 (/.f64 (.f64 w w) v) (.f64 r r)) (.f64 (/.f64 (.f64 w w) v) (/.f64 (.f64 r r) v)))))
(fma.f64 (.f64 w w) (.f64 r (.f64 r 1/4)) (.f64 (/.f64 (.f64 w r) (/.f64 v (.f64 w r))) (-.f64 -1/8 (/.f64 1/8 v))))
(fma.f64 w (.f64 w (.f64 r (.f64 r 1/4))) (.f64 (/.f64 (.f64 w r) (/.f64 v (.f64 w r))) (-.f64 -1/8 (/.f64 1/8 v))))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 3))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 2))))))
(-.f64 (.f64 (.f64 1/4 (.f64 w w)) (.f64 r r)) (fma.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 r r)) (pow.f64 v 3)) (.f64 1/8 (+.f64 (/.f64 (.f64 w w) (/.f64 v (.f64 r r))) (/.f64 (.f64 w w) (/.f64 (.f64 v v) (*.f64 r r)))))))
(-.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) 1/4)) (.f64 1/8 (+.f64 (+.f64 (.f64 (/.f64 (.f64 w w) v) (.f64 r r)) (.f64 (/.f64 (.f64 w w) v) (/.f64 (.f64 r r) v))) (.f64 (/.f64 (.f64 w w) (pow.f64 v 3)) (.f64 r r)))))
(fma.f64 (.f64 w w) (.f64 r (.f64 r 1/4)) (.f64 -1/8 (fma.f64 (/.f64 w (/.f64 (pow.f64 v 3) w)) (.f64 r r) (.f64 (/.f64 w (/.f64 v w)) (+.f64 (*.f64 r r) (/.f64 r (/.f64 v r)))))))
(fma.f64 w (.f64 w (.f64 r (.f64 r 1/4))) (fma.f64 (/.f64 (.f64 w r) (/.f64 v (.f64 w r))) (-.f64 -1/8 (/.f64 1/8 v)) (.f64 (/.f64 w (/.f64 (pow.f64 v 3) (.f64 r (.f64 w r)))) -1/8)))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))) (-.f64 1 v)))
(.f64 1/8 (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3 (.f64 v -2)))))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (.f64 (*.f64 r (fma.f64 v -2 3)) 1/8)))
(/.f64 (.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3)))) (-.f64 1 v))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))) (-.f64 1 v)))
(.f64 1/8 (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3 (.f64 v -2)))))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (.f64 (*.f64 r (fma.f64 v -2 3)) 1/8)))
(/.f64 (.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3)))) (-.f64 1 v))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))) (-.f64 1 v)))
(.f64 1/8 (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3 (.f64 v -2)))))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (.f64 (*.f64 r (fma.f64 v -2 3)) 1/8)))
(/.f64 (.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3)))) (-.f64 1 v))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))) (-.f64 1 v)))
(.f64 1/8 (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3 (.f64 v -2)))))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (.f64 (*.f64 r (fma.f64 v -2 3)) 1/8)))
(/.f64 (.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3)))) (-.f64 1 v))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))) (-.f64 1 v)))
(.f64 1/8 (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3 (.f64 v -2)))))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (.f64 (*.f64 r (fma.f64 v -2 3)) 1/8)))
(/.f64 (.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3)))) (-.f64 1 v))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))) (-.f64 1 v)))
(.f64 1/8 (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3 (.f64 v -2)))))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (.f64 (*.f64 r (fma.f64 v -2 3)) 1/8)))
(/.f64 (.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3)))) (-.f64 1 v))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))) (-.f64 1 v)))
(.f64 1/8 (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3 (.f64 v -2)))))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (.f64 (*.f64 r (fma.f64 v -2 3)) 1/8)))
(/.f64 (.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3)))) (-.f64 1 v))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))) (-.f64 1 v)))
(.f64 1/8 (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3 (.f64 v -2)))))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (.f64 (*.f64 r (fma.f64 v -2 3)) 1/8)))
(/.f64 (.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3)))) (-.f64 1 v))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))) (-.f64 1 v)))
(.f64 1/8 (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3 (.f64 v -2)))))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (.f64 (*.f64 r (fma.f64 v -2 3)) 1/8)))
(/.f64 (.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3)))) (-.f64 1 v))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))) (-.f64 1 v)))
(.f64 1/8 (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3 (.f64 v -2)))))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (.f64 (*.f64 r (fma.f64 v -2 3)) 1/8)))
(/.f64 (.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3)))) (-.f64 1 v))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))) (-.f64 1 v)))
(.f64 1/8 (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3 (.f64 v -2)))))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (.f64 (*.f64 r (fma.f64 v -2 3)) 1/8)))
(/.f64 (.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3)))) (-.f64 1 v))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))) (-.f64 1 v)))
(.f64 1/8 (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3 (.f64 v -2)))))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (.f64 (*.f64 r (fma.f64 v -2 3)) 1/8)))
(/.f64 (.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3)))) (-.f64 1 v))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))) (-.f64 1 v)))
(.f64 1/8 (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3 (.f64 v -2)))))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (.f64 (*.f64 r (fma.f64 v -2 3)) 1/8)))
(/.f64 (.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3)))) (-.f64 1 v))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))) (-.f64 1 v)))
(.f64 1/8 (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3 (.f64 v -2)))))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (.f64 (*.f64 r (fma.f64 v -2 3)) 1/8)))
(/.f64 (.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3)))) (-.f64 1 v))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))) (-.f64 1 v)))
(.f64 1/8 (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3 (.f64 v -2)))))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (.f64 (*.f64 r (fma.f64 v -2 3)) 1/8)))
(/.f64 (.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3)))) (-.f64 1 v))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))) (-.f64 1 v)))
(.f64 1/8 (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3 (.f64 v -2)))))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (.f64 (*.f64 r (fma.f64 v -2 3)) 1/8)))
(/.f64 (.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3)))) (-.f64 1 v))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))) (-.f64 1 v)))
(.f64 1/8 (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3 (.f64 v -2)))))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (.f64 (*.f64 r (fma.f64 v -2 3)) 1/8)))
(/.f64 (.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3)))) (-.f64 1 v))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))) (-.f64 1 v)))
(.f64 1/8 (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3 (.f64 v -2)))))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (.f64 (*.f64 r (fma.f64 v -2 3)) 1/8)))
(/.f64 (.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3)))) (-.f64 1 v))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))) (-.f64 1 v)))
(.f64 1/8 (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3 (.f64 v -2)))))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (.f64 (*.f64 r (fma.f64 v -2 3)) 1/8)))
(/.f64 (.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3)))) (-.f64 1 v))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))) (-.f64 1 v)))
(.f64 1/8 (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3 (.f64 v -2)))))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (.f64 (*.f64 r (fma.f64 v -2 3)) 1/8)))
(/.f64 (.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3)))) (-.f64 1 v))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))) (-.f64 1 v)))
(.f64 1/8 (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3 (.f64 v -2)))))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (.f64 (*.f64 r (fma.f64 v -2 3)) 1/8)))
(/.f64 (.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3)))) (-.f64 1 v))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))) (-.f64 1 v)))
(.f64 1/8 (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3 (.f64 v -2)))))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (.f64 (*.f64 r (fma.f64 v -2 3)) 1/8)))
(/.f64 (.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3)))) (-.f64 1 v))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))) (-.f64 1 v)))
(.f64 1/8 (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3 (.f64 v -2)))))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (.f64 (*.f64 r (fma.f64 v -2 3)) 1/8)))
(/.f64 (.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3)))) (-.f64 1 v))
(.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))) (-.f64 1 v)))
(.f64 1/8 (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3 (.f64 v -2)))))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 r (.f64 (*.f64 r (fma.f64 v -2 3)) 1/8)))
(/.f64 (.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3)))) (-.f64 1 v))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 r (*.f64 w r)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 r (*.f64 w r)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 r (*.f64 w r)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 r (*.f64 w r)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 r (*.f64 w r)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 r (*.f64 w r)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 r (*.f64 w r)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 r (*.f64 w r)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 r (*.f64 w r)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 r (*.f64 w r)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 r (*.f64 w r)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 r (*.f64 w r)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 r (*.f64 w r)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 r (*.f64 w r)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 r (*.f64 w r)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 r (*.f64 w r)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 r (*.f64 w r)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 r (*.f64 w r)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 r (*.f64 w r)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 r (*.f64 w r)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 r (*.f64 w r)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 r (*.f64 w r)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 r (*.f64 w r)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 r (*.f64 w r)))
(.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(.f64 3/8 (.f64 (.f64 w w) (.f64 r r)))
(.f64 w (.f64 (.f64 r (.f64 w r)) 3/8))
(-.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))
(+.f64 (.f64 3/8 (.f64 (.f64 w w) (.f64 r r))) (.f64 (.f64 (.f64 (.f64 w w) (*.f64 r r)) v) -1/4))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (-.f64 3/8 (*.f64 v 1/4)))
(.f64 w (.f64 (.f64 r (.f64 w r)) (+.f64 3/8 (*.f64 v -1/4))))
(.f64 (.f64 r r) (.f64 (.f64 w w) (+.f64 3/8 (*.f64 v -1/4))))
(-.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))
(+.f64 (.f64 3/8 (.f64 (.f64 w w) (.f64 r r))) (.f64 (.f64 (.f64 (.f64 w w) (*.f64 r r)) v) -1/4))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (-.f64 3/8 (*.f64 v 1/4)))
(.f64 w (.f64 (.f64 r (.f64 w r)) (+.f64 3/8 (*.f64 v -1/4))))
(.f64 (.f64 r r) (.f64 (.f64 w w) (+.f64 3/8 (*.f64 v -1/4))))
(-.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))
(+.f64 (.f64 3/8 (.f64 (.f64 w w) (.f64 r r))) (.f64 (.f64 (.f64 (.f64 w w) (*.f64 r r)) v) -1/4))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (-.f64 3/8 (*.f64 v 1/4)))
(.f64 w (.f64 (.f64 r (.f64 w r)) (+.f64 3/8 (*.f64 v -1/4))))
(.f64 (.f64 r r) (.f64 (.f64 w w) (+.f64 3/8 (*.f64 v -1/4))))
(.f64 -1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 (.f64 (.f64 (.f64 w w) (*.f64 r r)) v) -1/4)
(.f64 (.f64 -1/4 (.f64 (.f64 w w) v)) (*.f64 r r))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 v -1/4)))
(-.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))
(+.f64 (.f64 3/8 (.f64 (.f64 w w) (.f64 r r))) (.f64 (.f64 (.f64 (.f64 w w) (*.f64 r r)) v) -1/4))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (-.f64 3/8 (*.f64 v 1/4)))
(.f64 w (.f64 (.f64 r (.f64 w r)) (+.f64 3/8 (*.f64 v -1/4))))
(.f64 (.f64 r r) (.f64 (.f64 w w) (+.f64 3/8 (*.f64 v -1/4))))
(-.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))
(+.f64 (.f64 3/8 (.f64 (.f64 w w) (.f64 r r))) (.f64 (.f64 (.f64 (.f64 w w) (*.f64 r r)) v) -1/4))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (-.f64 3/8 (*.f64 v 1/4)))
(.f64 w (.f64 (.f64 r (.f64 w r)) (+.f64 3/8 (*.f64 v -1/4))))
(.f64 (.f64 r r) (.f64 (.f64 w w) (+.f64 3/8 (*.f64 v -1/4))))
(-.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))
(+.f64 (.f64 3/8 (.f64 (.f64 w w) (.f64 r r))) (.f64 (.f64 (.f64 (.f64 w w) (*.f64 r r)) v) -1/4))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (-.f64 3/8 (*.f64 v 1/4)))
(.f64 w (.f64 (.f64 r (.f64 w r)) (+.f64 3/8 (*.f64 v -1/4))))
(.f64 (.f64 r r) (.f64 (.f64 w w) (+.f64 3/8 (*.f64 v -1/4))))
(.f64 -1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 (.f64 (.f64 (.f64 w w) (*.f64 r r)) v) -1/4)
(.f64 (.f64 -1/4 (.f64 (.f64 w w) v)) (*.f64 r r))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 v -1/4)))
(-.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))
(+.f64 (.f64 3/8 (.f64 (.f64 w w) (.f64 r r))) (.f64 (.f64 (.f64 (.f64 w w) (*.f64 r r)) v) -1/4))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (-.f64 3/8 (*.f64 v 1/4)))
(.f64 w (.f64 (.f64 r (.f64 w r)) (+.f64 3/8 (*.f64 v -1/4))))
(.f64 (.f64 r r) (.f64 (.f64 w w) (+.f64 3/8 (*.f64 v -1/4))))
(-.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))
(+.f64 (.f64 3/8 (.f64 (.f64 w w) (.f64 r r))) (.f64 (.f64 (.f64 (.f64 w w) (*.f64 r r)) v) -1/4))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (-.f64 3/8 (*.f64 v 1/4)))
(.f64 w (.f64 (.f64 r (.f64 w r)) (+.f64 3/8 (*.f64 v -1/4))))
(.f64 (.f64 r r) (.f64 (.f64 w w) (+.f64 3/8 (*.f64 v -1/4))))
(-.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))
(+.f64 (.f64 3/8 (.f64 (.f64 w w) (.f64 r r))) (.f64 (.f64 (.f64 (.f64 w w) (*.f64 r r)) v) -1/4))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (-.f64 3/8 (*.f64 v 1/4)))
(.f64 w (.f64 (.f64 r (.f64 w r)) (+.f64 3/8 (*.f64 v -1/4))))
(.f64 (.f64 r r) (.f64 (.f64 w w) (+.f64 3/8 (*.f64 v -1/4))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 (+.f64 3 (.f64 v -2)) 1/8))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 (+.f64 3 (.f64 v -2)) 1/8))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 (+.f64 3 (.f64 v -2)) 1/8))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 (+.f64 3 (.f64 v -2)) 1/8))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 (+.f64 3 (.f64 v -2)) 1/8))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 (+.f64 3 (.f64 v -2)) 1/8))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 (+.f64 3 (.f64 v -2)) 1/8))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 (+.f64 3 (.f64 v -2)) 1/8))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 (+.f64 3 (.f64 v -2)) 1/8))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 (+.f64 3 (.f64 v -2)) 1/8))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 (+.f64 3 (.f64 v -2)) 1/8))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 (+.f64 3 (.f64 v -2)) 1/8))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 (+.f64 3 (.f64 v -2)) 1/8))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 (+.f64 3 (.f64 v -2)) 1/8))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 (+.f64 3 (.f64 v -2)) 1/8))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 (+.f64 3 (.f64 v -2)) 1/8))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 (+.f64 3 (.f64 v -2)) 1/8))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 (+.f64 3 (.f64 v -2)) 1/8))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 (+.f64 3 (.f64 v -2)) 1/8))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 (+.f64 3 (.f64 v -2)) 1/8))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 (+.f64 3 (.f64 v -2)) 1/8))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 (+.f64 3 (.f64 v -2)) 1/8))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 (+.f64 3 (.f64 v -2)) 1/8))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3))))
(.f64 1/8 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (.f64 2 v)))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (.f64 r r) (+.f64 3 (.f64 -2 v)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 (+.f64 3 (.f64 v -2)) 1/8))
(.f64 w (.f64 (.f64 r (.f64 w r)) (*.f64 1/8 (fma.f64 v -2 3))))

prune251.0ms (4%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	115	11	126
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	116	12	128

Error

0.1b

Counts

128 → 12

Alt Table

Status	Error	Program
	6.7b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (.f64 (.f64 w (.f64 w r)) (+.f64 3/8 (.f64 (.f64 v -2) 1/8))) (.f64 r (/.f64 1 (-.f64 1 v))))) 9/2)
	25.6b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3 (*.f64 2 v)))) (-.f64 1 v)))) 9/2)
	19.1b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 (fma.f64 v -1/4 3/8) (/.f64 (.f64 r r) (/.f64 (-.f64 1 v) (*.f64 w w))) 3/2))
	0.3b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (/.f64 1 (/.f64 (-.f64 1 v) (pow.f64 (*.f64 w r) 2))))) 9/2)
	8.7b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 w (*.f64 w r)) r)) (-.f64 1 v))) 9/2)
	16.7b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (/.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (sqrt.f64 (-.f64 1 v))) (/.f64 (pow.f64 (*.f64 w r) 2) (sqrt.f64 (-.f64 1 v))))) 9/2)
	16.8b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (/.f64 (.f64 (sqrt.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8))) (.f64 w r)) 1) (/.f64 (.f64 (sqrt.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8))) (.f64 w r)) (-.f64 1 v)))) 9/2)
	12.4b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 w (.f64 (.f64 r (.f64 w r)) (.f64 1/8 (fma.f64 v -2 3)))) (-.f64 1 v))) 9/2)
	18.5b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 w (.f64 w (.f64 r (*.f64 r 1/4))))) 9/2)
	22.8b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 1/4 (*.f64 (pow.f64 w 2) (pow.f64 r 2)))) 9/2)
▶	0.3b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (pow.f64 (.f64 w r) 2) (.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (/.f64 1 (-.f64 1 v))))) 9/2)
	7.7b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (pow.f64 (/.f64 (-.f64 1 v) (.f64 1/8 (.f64 (+.f64 3 (.f64 v -2)) (pow.f64 (*.f64 w r) 2)))) -1)) 9/2)

Compiler

Compiled 4819 to 3455 computations (28.3% saved)

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (+.f64 3/8 (.f64 (*.f64 v -2) 1/8)) (/.f64 1 (-.f64 1 v)))
✓	0.1b	(.f64 (pow.f64 (.f64 w r) 2) (.f64 (+.f64 3/8 (.f64 (*.f64 v -2) 1/8)) (/.f64 1 (-.f64 1 v))))
✓	0.4b	(pow.f64 (*.f64 w r) 2)
✓	1.1b	(/.f64 2 (*.f64 r r))

series15.0ms (0.2%)

Counts

4 → 84

Calls

21 calls:

Time	Variable		Point	Expression
2.0ms	v	@	-inf	(.f64 (pow.f64 (.f64 w r) 2) (.f64 (+.f64 3/8 (.f64 (*.f64 v -2) 1/8)) (/.f64 1 (-.f64 1 v))))
1.0ms	w	@	0	(.f64 (pow.f64 (.f64 w r) 2) (.f64 (+.f64 3/8 (.f64 (*.f64 v -2) 1/8)) (/.f64 1 (-.f64 1 v))))
1.0ms	r	@	0	(.f64 (pow.f64 (.f64 w r) 2) (.f64 (+.f64 3/8 (.f64 (*.f64 v -2) 1/8)) (/.f64 1 (-.f64 1 v))))
1.0ms	w	@	-inf	(pow.f64 (*.f64 w r) 2)
1.0ms	w	@	0	(pow.f64 (*.f64 w r) 2)

rewrite35.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

214×	`add-sqr-sqrt_binary64`
203×	`pow1_binary64`
202×	`*-un-lft-identity_binary64`
199×	`add-log-exp_binary64`
199×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	49
1	440	45

Stop Event

1×	node limit

Counts

4 → 102

Calls

Call 1

Inputs
(/.f64 2 (*.f64 r r))
(pow.f64 (*.f64 w r) 2)
(.f64 (pow.f64 (.f64 w r) 2) (.f64 (+.f64 3/8 (.f64 (*.f64 v -2) 1/8)) (/.f64 1 (-.f64 1 v))))
(.f64 (+.f64 3/8 (.f64 (*.f64 v -2) 1/8)) (/.f64 1 (-.f64 1 v)))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 2 (pow.f64 r -2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (pow.f64 r -2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -2 (/.f64 1 (.f64 r (neg.f64 r))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 2 (pow.f64 r -2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 2 (pow.f64 r -2))) (cbrt.f64 (/.f64 4 (pow.f64 r 4))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 4 (pow.f64 r 4))) (cbrt.f64 (.f64 2 (pow.f64 r -2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 2) r) (/.f64 (sqrt.f64 2) r))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 r -2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 2 r) (/.f64 1 r))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 2 (pow.f64 r -2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 2 (pow.f64 r -2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 2 (pow.f64 r -2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (sqrt.f64 2) r) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 r r) 1/2) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 4 (pow.f64 r 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 2) (pow.f64 r -2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 2 (pow.f64 r -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 2 (pow.f64 r -2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 2 (pow.f64 r -2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 2 (pow.f64 r -2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 2 (pow.f64 r -2))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 2 (pow.f64 r -2))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (.f64 r w) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 r (.f64 w (.f64 r w)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 r r) (.f64 w w))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 w (.f64 r (.f64 r w)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 r w) (.f64 r w))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (pow.f64 (.f64 r w) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (.f64 r w)) 2) (cbrt.f64 (pow.f64 (.f64 r w) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (.f64 r w)) 2) (.f64 (cbrt.f64 (.f64 r w)) (.f64 r w)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (.f64 r w) 4)) (pow.f64 (cbrt.f64 (.f64 r w)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 r w)) (.f64 (sqrt.f64 (.f64 r w)) (.f64 r w)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 w w) (.f64 r r))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 r w) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (.f64 r w) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (.f64 r w) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (.f64 r w) 2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (.f64 r w) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 2 (log.f64 (.f64 r w))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (.f64 2 (log.f64 (.f64 r w))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (*.f64 r w) 2)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (pow.f64 (.f64 r w) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 (.f64 r w) 2) (fma.f64 v -1/4 3/8)) (-.f64 1 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (fma.f64 v -1/4 3/8) (pow.f64 (.f64 r w) 2)) (-.f64 1 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (pow.f64 (.f64 r w) 2) (fma.f64 v -1/4 3/8)) 1) (-.f64 1 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (pow.f64 (.f64 r w) 2) (fma.f64 v -1/4 3/8)) -1) (neg.f64 (-.f64 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 (.f64 r w) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (pow.f64 (.f64 r w) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 r w) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 r w) (sqrt.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 (pow.f64 (.f64 r w) 4) (pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (pow.f64 (.f64 r w) 2)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (pow.f64 (.f64 r w) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (pow.f64 (.f64 r w) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (pow.f64 (.f64 r w) 2) 3) (pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 3) (pow.f64 (pow.f64 (.f64 r w) 2) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (pow.f64 (.f64 r w) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (pow.f64 (.f64 r w) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (pow.f64 (.f64 r w) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (pow.f64 (.f64 r w) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 3/8 (/.f64 1 (-.f64 1 v))) (.f64 (.f64 v -1/4) (/.f64 1 (-.f64 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 v -1/4) (/.f64 1 (-.f64 1 v))) (.f64 3/8 (/.f64 1 (-.f64 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (/.f64 1 (-.f64 1 v)) 3/8) (.f64 (/.f64 1 (-.f64 1 v)) (.f64 v -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (/.f64 1 (-.f64 1 v)) (.f64 v -1/4)) (.f64 (/.f64 1 (-.f64 1 v)) 3/8))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (cbrt.f64 (fma.f64 v -1/4 3/8)) 2) (/.f64 (-.f64 1 v) (cbrt.f64 (fma.f64 v -1/4 3/8))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (fma.f64 v -1/4 3/8)) (/.f64 (-.f64 1 v) (sqrt.f64 (fma.f64 v -1/4 3/8))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 27/512 (pow.f64 (.f64 v -1/4) 3)) (.f64 (-.f64 1 v) (+.f64 9/64 (.f64 (.f64 v -1/4) (-.f64 (.f64 v -1/4) 3/8)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 9/64 (.f64 (.f64 v v) 1/16)) (.f64 (-.f64 1 v) (-.f64 3/8 (.f64 v -1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (fma.f64 v -1/4 3/8)) (neg.f64 (-.f64 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 27/512 (pow.f64 (.f64 v -1/4) 3)) 1) (.f64 (+.f64 9/64 (.f64 (.f64 v -1/4) (-.f64 (.f64 v -1/4) 3/8))) (-.f64 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 9/64 (.f64 (.f64 v v) 1/16)) 1) (.f64 (-.f64 3/8 (.f64 v -1/4)) (-.f64 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 27/512 (pow.f64 (.f64 v -1/4) 3)) -1) (.f64 (+.f64 9/64 (.f64 (.f64 v -1/4) (-.f64 (.f64 v -1/4) 3/8))) (neg.f64 (-.f64 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 9/64 (.f64 (.f64 v v) 1/16)) -1) (.f64 (-.f64 3/8 (.f64 v -1/4)) (neg.f64 (-.f64 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 -1 (+.f64 27/512 (pow.f64 (.f64 v -1/4) 3))) (.f64 (neg.f64 (-.f64 1 v)) (+.f64 9/64 (.f64 (.f64 v -1/4) (-.f64 (.f64 v -1/4) 3/8)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 -1 (-.f64 9/64 (.f64 (.f64 v v) 1/16))) (.f64 (neg.f64 (-.f64 1 v)) (-.f64 3/8 (.f64 v -1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (fma.f64 v -1/4 3/8) (sqrt.f64 (-.f64 1 v))) (sqrt.f64 (-.f64 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (fma.f64 v -1/4 3/8) 1) (-.f64 1 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (fma.f64 v -1/4 3/8) (pow.f64 (cbrt.f64 (-.f64 1 v)) 2)) (cbrt.f64 (-.f64 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 27/512 (pow.f64 (.f64 v -1/4) 3)) (/.f64 1 (-.f64 1 v))) (+.f64 9/64 (.f64 (.f64 v -1/4) (-.f64 (.f64 v -1/4) 3/8))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 9/64 (.f64 (.f64 v v) 1/16)) (/.f64 1 (-.f64 1 v))) (-.f64 3/8 (.f64 v -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 -1 (fma.f64 v -1/4 3/8)) (neg.f64 (-.f64 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (fma.f64 v -1/4 3/8) -1) (neg.f64 (-.f64 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (/.f64 1 (-.f64 1 v)) (+.f64 27/512 (pow.f64 (.f64 v -1/4) 3))) (+.f64 9/64 (.f64 (.f64 v -1/4) (-.f64 (.f64 v -1/4) 3/8))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (/.f64 1 (-.f64 1 v)) (-.f64 9/64 (.f64 (.f64 v v) 1/16))) (-.f64 3/8 (.f64 v -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (fma.f64 v -1/4 3/8) 3) (pow.f64 (-.f64 1 v) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (fma.f64 v -1/4 3/8) 3) (pow.f64 (/.f64 1 (-.f64 1 v)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (/.f64 1 (-.f64 1 v)) 3) (pow.f64 (fma.f64 v -1/4 3/8) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))))))

simplify70.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

452×	`fma-neg_binary64`
425×	`unswap-sqr_binary64`
401×	`fma-def_binary64`
392×	`associate-l_binary64`
307×	`associate-r_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	66	1539
1	218	1481
2	765	1350
3	3974	1350

Stop Event

1×	node limit

Counts

186 → 138

Calls

Call 1

Inputs
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(+.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/8 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))
(+.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 1/8 (.f64 (pow.f64 v 2) (.f64 (pow.f64 w 2) (pow.f64 r 2))))))
(+.f64 (.f64 1/8 (.f64 (pow.f64 v 3) (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (+.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 1/8 (.f64 (pow.f64 v 2) (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))))
(.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 2)))))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 3))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 2))))))
(.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 2)))))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 3))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 2))))))
3/8
(+.f64 (*.f64 1/8 v) 3/8)
(+.f64 (.f64 1/8 v) (+.f64 3/8 (.f64 1/8 (pow.f64 v 2))))
(+.f64 (.f64 1/8 v) (+.f64 3/8 (+.f64 (.f64 1/8 (pow.f64 v 3)) (*.f64 1/8 (pow.f64 v 2)))))
1/4
(-.f64 1/4 (*.f64 1/8 (/.f64 1 v)))
(-.f64 1/4 (+.f64 (.f64 1/8 (/.f64 1 v)) (.f64 1/8 (/.f64 1 (pow.f64 v 2)))))
(-.f64 1/4 (+.f64 (.f64 1/8 (/.f64 1 v)) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 v 2))) (*.f64 1/8 (/.f64 1 (pow.f64 v 3))))))
1/4
(-.f64 1/4 (*.f64 1/8 (/.f64 1 v)))
(-.f64 1/4 (+.f64 (.f64 1/8 (/.f64 1 v)) (.f64 1/8 (/.f64 1 (pow.f64 v 2)))))
(-.f64 1/4 (+.f64 (.f64 1/8 (/.f64 1 v)) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 v 2))) (*.f64 1/8 (/.f64 1 (pow.f64 v 3))))))

Outputs
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (*.f64 r r))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (*.f64 r r))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (*.f64 r r))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (*.f64 r r))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (*.f64 r r))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (*.f64 r r))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (*.f64 r r))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (*.f64 r r))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (*.f64 r r))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (*.f64 r r))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (*.f64 r r))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (*.f64 r r))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 r r) (*.f64 w w))
(.f64 r (.f64 r (*.f64 w w)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 r r) (*.f64 w w))
(.f64 r (.f64 r (*.f64 w w)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 r r) (*.f64 w w))
(.f64 r (.f64 r (*.f64 w w)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 r r) (*.f64 w w))
(.f64 r (.f64 r (*.f64 w w)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 r r) (*.f64 w w))
(.f64 r (.f64 r (*.f64 w w)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 r r) (*.f64 w w))
(.f64 r (.f64 r (*.f64 w w)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 r r) (*.f64 w w))
(.f64 r (.f64 r (*.f64 w w)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 r r) (*.f64 w w))
(.f64 r (.f64 r (*.f64 w w)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 r r) (*.f64 w w))
(.f64 r (.f64 r (*.f64 w w)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 r r) (*.f64 w w))
(.f64 r (.f64 r (*.f64 w w)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 r r) (*.f64 w w))
(.f64 r (.f64 r (*.f64 w w)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 r r) (*.f64 w w))
(.f64 r (.f64 r (*.f64 w w)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 r r) (*.f64 w w))
(.f64 r (.f64 r (*.f64 w w)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 r r) (*.f64 w w))
(.f64 r (.f64 r (*.f64 w w)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 r r) (*.f64 w w))
(.f64 r (.f64 r (*.f64 w w)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 r r) (*.f64 w w))
(.f64 r (.f64 r (*.f64 w w)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 r r) (*.f64 w w))
(.f64 r (.f64 r (*.f64 w w)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 r r) (*.f64 w w))
(.f64 r (.f64 r (*.f64 w w)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 r r) (*.f64 w w))
(.f64 r (.f64 r (*.f64 w w)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 r r) (*.f64 w w))
(.f64 r (.f64 r (*.f64 w w)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 r r) (*.f64 w w))
(.f64 r (.f64 r (*.f64 w w)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 r r) (*.f64 w w))
(.f64 r (.f64 r (*.f64 w w)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 r r) (*.f64 w w))
(.f64 r (.f64 r (*.f64 w w)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 r r) (*.f64 w w))
(.f64 r (.f64 r (*.f64 w w)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3/8 (*.f64 v -1/4))))
(/.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (-.f64 1 v) (*.f64 w w)))
(.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (.f64 w w) (-.f64 1 v)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3/8 (*.f64 v -1/4))))
(/.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (-.f64 1 v) (*.f64 w w)))
(.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (.f64 w w) (-.f64 1 v)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3/8 (*.f64 v -1/4))))
(/.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (-.f64 1 v) (*.f64 w w)))
(.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (.f64 w w) (-.f64 1 v)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3/8 (*.f64 v -1/4))))
(/.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (-.f64 1 v) (*.f64 w w)))
(.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (.f64 w w) (-.f64 1 v)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3/8 (*.f64 v -1/4))))
(/.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (-.f64 1 v) (*.f64 w w)))
(.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (.f64 w w) (-.f64 1 v)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3/8 (*.f64 v -1/4))))
(/.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (-.f64 1 v) (*.f64 w w)))
(.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (.f64 w w) (-.f64 1 v)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3/8 (*.f64 v -1/4))))
(/.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (-.f64 1 v) (*.f64 w w)))
(.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (.f64 w w) (-.f64 1 v)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3/8 (*.f64 v -1/4))))
(/.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (-.f64 1 v) (*.f64 w w)))
(.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (.f64 w w) (-.f64 1 v)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3/8 (*.f64 v -1/4))))
(/.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (-.f64 1 v) (*.f64 w w)))
(.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (.f64 w w) (-.f64 1 v)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3/8 (*.f64 v -1/4))))
(/.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (-.f64 1 v) (*.f64 w w)))
(.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (.f64 w w) (-.f64 1 v)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3/8 (*.f64 v -1/4))))
(/.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (-.f64 1 v) (*.f64 w w)))
(.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (.f64 w w) (-.f64 1 v)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3/8 (*.f64 v -1/4))))
(/.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (-.f64 1 v) (*.f64 w w)))
(.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (.f64 w w) (-.f64 1 v)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3/8 (*.f64 v -1/4))))
(/.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (-.f64 1 v) (*.f64 w w)))
(.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (.f64 w w) (-.f64 1 v)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3/8 (*.f64 v -1/4))))
(/.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (-.f64 1 v) (*.f64 w w)))
(.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (.f64 w w) (-.f64 1 v)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3/8 (*.f64 v -1/4))))
(/.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (-.f64 1 v) (*.f64 w w)))
(.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (.f64 w w) (-.f64 1 v)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3/8 (*.f64 v -1/4))))
(/.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (-.f64 1 v) (*.f64 w w)))
(.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (.f64 w w) (-.f64 1 v)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3/8 (*.f64 v -1/4))))
(/.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (-.f64 1 v) (*.f64 w w)))
(.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (.f64 w w) (-.f64 1 v)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3/8 (*.f64 v -1/4))))
(/.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (-.f64 1 v) (*.f64 w w)))
(.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (.f64 w w) (-.f64 1 v)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3/8 (*.f64 v -1/4))))
(/.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (-.f64 1 v) (*.f64 w w)))
(.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (.f64 w w) (-.f64 1 v)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3/8 (*.f64 v -1/4))))
(/.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (-.f64 1 v) (*.f64 w w)))
(.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (.f64 w w) (-.f64 1 v)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3/8 (*.f64 v -1/4))))
(/.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (-.f64 1 v) (*.f64 w w)))
(.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (.f64 w w) (-.f64 1 v)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3/8 (*.f64 v -1/4))))
(/.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (-.f64 1 v) (*.f64 w w)))
(.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (.f64 w w) (-.f64 1 v)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3/8 (*.f64 v -1/4))))
(/.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (-.f64 1 v) (*.f64 w w)))
(.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (.f64 w w) (-.f64 1 v)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (+.f64 3/8 (*.f64 v -1/4))))
(/.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (-.f64 1 v) (*.f64 w w)))
(.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 (.f64 w w) (-.f64 1 v)))
(.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(.f64 (.f64 (.f64 r r) (.f64 w w)) 3/8)
(.f64 (.f64 w w) (.f64 (.f64 r r) 3/8))
(.f64 r (.f64 (.f64 w w) (.f64 3/8 r)))
(+.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/8 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))
(fma.f64 3/8 (.f64 (.f64 r r) (.f64 w w)) (.f64 (.f64 v 1/8) (.f64 (.f64 r r) (.f64 w w))))
(.f64 (.f64 r (.f64 r (.f64 w w))) (fma.f64 v 1/8 3/8))
(.f64 r (.f64 (.f64 r (.f64 w w)) (fma.f64 v 1/8 3/8)))
(+.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 1/8 (.f64 (pow.f64 v 2) (.f64 (pow.f64 w 2) (pow.f64 r 2))))))
(fma.f64 3/8 (.f64 (.f64 r r) (.f64 w w)) (.f64 1/8 (+.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) v) (.f64 (.f64 (.f64 v v) (.f64 w w)) (*.f64 r r)))))
(fma.f64 1/8 (.f64 (.f64 r (.f64 r (.f64 w w))) (+.f64 v (.f64 v v))) (.f64 (.f64 w w) (.f64 (*.f64 r r) 3/8)))
(.f64 (.f64 (.f64 r r) (.f64 w w)) (+.f64 3/8 (*.f64 1/8 (fma.f64 v v v))))
(+.f64 (.f64 1/8 (.f64 (pow.f64 v 3) (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (+.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 1/8 (.f64 (pow.f64 v 2) (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))))
(fma.f64 1/8 (.f64 (.f64 (.f64 r r) (.f64 w w)) (pow.f64 v 3)) (fma.f64 3/8 (.f64 (.f64 r r) (.f64 w w)) (.f64 1/8 (+.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) v) (.f64 (.f64 (.f64 v v) (.f64 w w)) (*.f64 r r))))))
(+.f64 (.f64 1/8 (.f64 (.f64 r (.f64 r (.f64 w w))) (+.f64 v (.f64 v v)))) (.f64 (.f64 r (.f64 r (.f64 w w))) (+.f64 3/8 (*.f64 1/8 (pow.f64 v 3)))))
(.f64 (.f64 (.f64 r r) (.f64 w w)) (fma.f64 v 1/8 (fma.f64 1/8 (*.f64 v (fma.f64 v v v)) 3/8)))
(.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(.f64 (.f64 (.f64 r r) (.f64 w w)) 1/4)
(.f64 (.f64 w w) (.f64 (.f64 r r) 1/4))
(.f64 r (.f64 (.f64 r (.f64 w w)) 1/4))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)))
(+.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) 1/4) (.f64 -1/8 (/.f64 (.f64 w w) (/.f64 v (*.f64 r r)))))
(fma.f64 (.f64 r (.f64 r (.f64 w w))) 1/4 (.f64 (.f64 (/.f64 (.f64 w w) v) (*.f64 r r)) -1/8))
(fma.f64 (.f64 w w) (.f64 (.f64 r r) 1/4) (/.f64 (.f64 (.f64 (.f64 w w) -1/8) (*.f64 r r)) v))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 2)))))
(-.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) 1/4) (.f64 1/8 (+.f64 (/.f64 (.f64 w w) (/.f64 v (.f64 r r))) (/.f64 (.f64 w w) (/.f64 (.f64 v v) (.f64 r r))))))
(fma.f64 (.f64 r (.f64 r (.f64 w w))) 1/4 (.f64 -1/8 (+.f64 (.f64 (/.f64 (.f64 w w) v) (.f64 r r)) (.f64 (/.f64 (.f64 r r) v) (/.f64 (.f64 w w) v)))))
(fma.f64 (.f64 r r) (.f64 (.f64 w w) 1/4) (.f64 (.f64 (.f64 r r) (/.f64 w (/.f64 v w))) (-.f64 -1/8 (/.f64 1/8 v))))
(fma.f64 r (.f64 r (.f64 (.f64 w w) 1/4)) (.f64 (.f64 (.f64 r r) (/.f64 w (/.f64 v w))) (+.f64 -1/8 (/.f64 -1/8 v))))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 3))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 2))))))
(-.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) 1/4) (fma.f64 1/8 (/.f64 (.f64 w w) (/.f64 (pow.f64 v 3) (.f64 r r))) (.f64 1/8 (+.f64 (/.f64 (.f64 w w) (/.f64 v (.f64 r r))) (/.f64 (.f64 w w) (/.f64 (.f64 v v) (.f64 r r)))))))
(-.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) 1/4)) (.f64 1/8 (+.f64 (+.f64 (.f64 (/.f64 (.f64 w w) v) (.f64 r r)) (.f64 (/.f64 (.f64 r r) v) (/.f64 (.f64 w w) v))) (.f64 (/.f64 (.f64 w w) (pow.f64 v 3)) (.f64 r r)))))
(fma.f64 (.f64 r r) (.f64 (.f64 w w) 1/4) (.f64 -1/8 (fma.f64 (/.f64 w (/.f64 (pow.f64 v 3) w)) (.f64 r r) (.f64 (/.f64 w (/.f64 v w)) (+.f64 (*.f64 r r) (/.f64 r (/.f64 v r)))))))
(fma.f64 r (.f64 r (.f64 (.f64 w w) 1/4)) (fma.f64 (.f64 (.f64 r r) (/.f64 w (/.f64 v w))) (+.f64 -1/8 (/.f64 -1/8 v)) (.f64 (.f64 (.f64 r r) (/.f64 w (/.f64 (pow.f64 v 3) w))) -1/8)))
(.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(.f64 (.f64 (.f64 r r) (.f64 w w)) 1/4)
(.f64 (.f64 w w) (.f64 (.f64 r r) 1/4))
(.f64 r (.f64 (.f64 r (.f64 w w)) 1/4))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)))
(+.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) 1/4) (.f64 -1/8 (/.f64 (.f64 w w) (/.f64 v (*.f64 r r)))))
(fma.f64 (.f64 r (.f64 r (.f64 w w))) 1/4 (.f64 (.f64 (/.f64 (.f64 w w) v) (*.f64 r r)) -1/8))
(fma.f64 (.f64 w w) (.f64 (.f64 r r) 1/4) (/.f64 (.f64 (.f64 (.f64 w w) -1/8) (*.f64 r r)) v))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 2)))))
(-.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) 1/4) (.f64 1/8 (+.f64 (/.f64 (.f64 w w) (/.f64 v (.f64 r r))) (/.f64 (.f64 w w) (/.f64 (.f64 v v) (.f64 r r))))))
(fma.f64 (.f64 r (.f64 r (.f64 w w))) 1/4 (.f64 -1/8 (+.f64 (.f64 (/.f64 (.f64 w w) v) (.f64 r r)) (.f64 (/.f64 (.f64 r r) v) (/.f64 (.f64 w w) v)))))
(fma.f64 (.f64 r r) (.f64 (.f64 w w) 1/4) (.f64 (.f64 (.f64 r r) (/.f64 w (/.f64 v w))) (-.f64 -1/8 (/.f64 1/8 v))))
(fma.f64 r (.f64 r (.f64 (.f64 w w) 1/4)) (.f64 (.f64 (.f64 r r) (/.f64 w (/.f64 v w))) (+.f64 -1/8 (/.f64 -1/8 v))))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 3))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 2))))))
(-.f64 (.f64 (.f64 (.f64 r r) (.f64 w w)) 1/4) (fma.f64 1/8 (/.f64 (.f64 w w) (/.f64 (pow.f64 v 3) (.f64 r r))) (.f64 1/8 (+.f64 (/.f64 (.f64 w w) (/.f64 v (.f64 r r))) (/.f64 (.f64 w w) (/.f64 (.f64 v v) (.f64 r r)))))))
(-.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) 1/4)) (.f64 1/8 (+.f64 (+.f64 (.f64 (/.f64 (.f64 w w) v) (.f64 r r)) (.f64 (/.f64 (.f64 r r) v) (/.f64 (.f64 w w) v))) (.f64 (/.f64 (.f64 w w) (pow.f64 v 3)) (.f64 r r)))))
(fma.f64 (.f64 r r) (.f64 (.f64 w w) 1/4) (.f64 -1/8 (fma.f64 (/.f64 w (/.f64 (pow.f64 v 3) w)) (.f64 r r) (.f64 (/.f64 w (/.f64 v w)) (+.f64 (*.f64 r r) (/.f64 r (/.f64 v r)))))))
(fma.f64 r (.f64 r (.f64 (.f64 w w) 1/4)) (fma.f64 (.f64 (.f64 r r) (/.f64 w (/.f64 v w))) (+.f64 -1/8 (/.f64 -1/8 v)) (.f64 (.f64 (.f64 r r) (/.f64 w (/.f64 (pow.f64 v 3) w))) -1/8)))
3/8
(+.f64 (*.f64 1/8 v) 3/8)
(fma.f64 1/8 v 3/8)
(fma.f64 v 1/8 3/8)
(+.f64 (.f64 1/8 v) (+.f64 3/8 (.f64 1/8 (pow.f64 v 2))))
(+.f64 (fma.f64 1/8 v 3/8) (.f64 1/8 (.f64 v v)))
(fma.f64 v 1/8 (fma.f64 1/8 (*.f64 v v) 3/8))
(+.f64 3/8 (*.f64 1/8 (fma.f64 v v v)))
(+.f64 (.f64 1/8 v) (+.f64 3/8 (+.f64 (.f64 1/8 (pow.f64 v 3)) (*.f64 1/8 (pow.f64 v 2)))))
(+.f64 (fma.f64 1/8 v 3/8) (.f64 1/8 (+.f64 (pow.f64 v 3) (.f64 v v))))
(fma.f64 v 1/8 (fma.f64 1/8 (+.f64 (*.f64 v v) (pow.f64 v 3)) 3/8))
(fma.f64 v 1/8 (fma.f64 1/8 (*.f64 v (fma.f64 v v v)) 3/8))
1/4
(-.f64 1/4 (*.f64 1/8 (/.f64 1 v)))
(-.f64 1/4 (/.f64 1/8 v))
(-.f64 1/4 (+.f64 (.f64 1/8 (/.f64 1 v)) (.f64 1/8 (/.f64 1 (pow.f64 v 2)))))
(-.f64 (-.f64 1/4 (/.f64 1/8 v)) (/.f64 1/8 (*.f64 v v)))
(+.f64 1/4 (-.f64 (/.f64 -1/8 v) (/.f64 1/8 (*.f64 v v))))
(+.f64 (-.f64 1/4 (/.f64 1/8 v)) (/.f64 -1/8 (*.f64 v v)))
(-.f64 1/4 (+.f64 (.f64 1/8 (/.f64 1 v)) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 v 2))) (*.f64 1/8 (/.f64 1 (pow.f64 v 3))))))
(-.f64 1/4 (+.f64 (/.f64 1/8 v) (+.f64 (/.f64 1/8 (*.f64 v v)) (/.f64 1/8 (pow.f64 v 3)))))
(-.f64 (-.f64 1/4 (/.f64 1/8 v)) (+.f64 (/.f64 1/8 (*.f64 v v)) (/.f64 1/8 (pow.f64 v 3))))
(+.f64 (+.f64 (-.f64 1/4 (/.f64 1/8 v)) (/.f64 -1/8 (*.f64 v v))) (/.f64 -1/8 (pow.f64 v 3)))
(+.f64 1/4 (+.f64 (/.f64 -1/8 v) (+.f64 (/.f64 -1/8 (*.f64 v v)) (/.f64 -1/8 (pow.f64 v 3)))))
1/4
(-.f64 1/4 (*.f64 1/8 (/.f64 1 v)))
(-.f64 1/4 (/.f64 1/8 v))
(-.f64 1/4 (+.f64 (.f64 1/8 (/.f64 1 v)) (.f64 1/8 (/.f64 1 (pow.f64 v 2)))))
(-.f64 (-.f64 1/4 (/.f64 1/8 v)) (/.f64 1/8 (*.f64 v v)))
(+.f64 1/4 (-.f64 (/.f64 -1/8 v) (/.f64 1/8 (*.f64 v v))))
(+.f64 (-.f64 1/4 (/.f64 1/8 v)) (/.f64 -1/8 (*.f64 v v)))
(-.f64 1/4 (+.f64 (.f64 1/8 (/.f64 1 v)) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 v 2))) (*.f64 1/8 (/.f64 1 (pow.f64 v 3))))))
(-.f64 1/4 (+.f64 (/.f64 1/8 v) (+.f64 (/.f64 1/8 (*.f64 v v)) (/.f64 1/8 (pow.f64 v 3)))))
(-.f64 (-.f64 1/4 (/.f64 1/8 v)) (+.f64 (/.f64 1/8 (*.f64 v v)) (/.f64 1/8 (pow.f64 v 3))))
(+.f64 (+.f64 (-.f64 1/4 (/.f64 1/8 v)) (/.f64 -1/8 (*.f64 v v))) (/.f64 -1/8 (pow.f64 v 3)))
(+.f64 1/4 (+.f64 (/.f64 -1/8 v) (+.f64 (/.f64 -1/8 (*.f64 v v)) (/.f64 -1/8 (pow.f64 v 3)))))

prune321.0ms (5.1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	131	7	138
Fresh	7	4	11
Picked	1	0	1
Done	0	0	0
Total	139	11	150

Error

0.0b

Counts

150 → 11

Alt Table

Status	Error	Program
	0.8b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (pow.f64 (*.f64 w r) 2) (/.f64 (pow.f64 (cbrt.f64 (fma.f64 v -1/4 3/8)) 2) (/.f64 (-.f64 1 v) (cbrt.f64 (fma.f64 v -1/4 3/8)))))) 9/2)
	0.3b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (pow.f64 (*.f64 w r) 2) (expm1.f64 (log1p.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))))) 9/2)
	19.1b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 (fma.f64 v -1/4 3/8) (/.f64 (.f64 r r) (/.f64 (-.f64 1 v) (*.f64 w w))) 3/2))
	0.3b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (pow.f64 (*.f64 w r) 2) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 3)))) 9/2)
	6.7b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (.f64 (.f64 w (.f64 w r)) (+.f64 3/8 (.f64 (.f64 v -2) 1/8))) (.f64 r (/.f64 1 (-.f64 1 v))))) 9/2)
	15.1b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 r (.f64 (.f64 w w) (*.f64 3/8 r)))) 9/2)
	8.7b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 w (*.f64 w r)) r)) (-.f64 1 v))) 9/2)
	25.6b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (.f64 1/4 v)))) (-.f64 1 v))) 9/2)
▶	0.2b	(-.f64 (-.f64 (+.f64 3 (.f64 2 (pow.f64 r -2))) (.f64 (pow.f64 (.f64 w r) 2) (.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (/.f64 1 (-.f64 1 v))))) 9/2)
	18.5b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 w (.f64 w (.f64 r (*.f64 r 1/4))))) 9/2)
	15.3b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 r (.f64 (.f64 r (*.f64 w w)) 1/4))) 9/2)

Compiler

Compiled 4842 to 3494 computations (27.8% saved)

localize43.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 2 (pow.f64 r -2))
	0.1b	(.f64 (+.f64 3/8 (.f64 (*.f64 v -2) 1/8)) (/.f64 1 (-.f64 1 v)))
	0.1b	(.f64 (pow.f64 (.f64 w r) 2) (.f64 (+.f64 3/8 (.f64 (*.f64 v -2) 1/8)) (/.f64 1 (-.f64 1 v))))
	0.4b	(pow.f64 (*.f64 w r) 2)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	r	@	0	(*.f64 2 (pow.f64 r -2))
0.0ms	r	@	inf	(*.f64 2 (pow.f64 r -2))
0.0ms	r	@	-inf	(*.f64 2 (pow.f64 r -2))

rewrite32.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

503×	`pow1_binary64`
467×	`add-log-exp_binary64`
466×	`log1p-expm1-u_binary64`
466×	`expm1-log1p-u_binary64`
457×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	125	7
2	1318	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(*.f64 2 (pow.f64 r -2))

Outputs

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

simplify68.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

605×	`sqr-pow_binary64`
434×	`unswap-sqr_binary64`
333×	`associate-/l/_binary64`
281×	`cube-prod_binary64`
275×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	84
1	10	84
2	19	84
3	34	84
4	74	84
5	201	84
6	793	84
7	1999	84
8	2165	84
9	2349	84
10	2557	84
11	2848	84
12	3241	84
13	3721	84
14	4284	84
15	4972	84

Stop Event

1×	node limit

Counts

23 → 13

Calls

Call 1

Inputs
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (pow.f64 r 2))

Outputs
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (*.f64 r r))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (*.f64 r r))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (*.f64 r r))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (*.f64 r r))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (*.f64 r r))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (*.f64 r r))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (*.f64 r r))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (*.f64 r r))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (*.f64 r r))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (*.f64 r r))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (*.f64 r r))
(/.f64 2 (pow.f64 r 2))
(/.f64 2 (*.f64 r r))

prune265.0ms (4.2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	123	4	127
Fresh	5	5	10
Picked	0	1	1
Done	0	0	0
Total	128	10	138

Error

0.0b

Counts

138 → 10

Alt Table

Status	Error	Program
▶	0.3b	(-.f64 (-.f64 (+.f64 3 (.f64 2 (pow.f64 r -2))) (.f64 (pow.f64 (*.f64 w r) 2) (expm1.f64 (log1p.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))))) 9/2)
	15.2b	(-.f64 (-.f64 (+.f64 3 (.f64 2 (pow.f64 r -2))) (.f64 r (.f64 (.f64 r (*.f64 w w)) 1/4))) 9/2)
	6.7b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (.f64 (.f64 w (.f64 w r)) (+.f64 3/8 (.f64 (.f64 v -2) 1/8))) (.f64 r (/.f64 1 (-.f64 1 v))))) 9/2)
	19.1b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 (fma.f64 v -1/4 3/8) (/.f64 (.f64 r r) (/.f64 (-.f64 1 v) (*.f64 w w))) 3/2))
	25.6b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (.f64 1/4 v)))) (-.f64 1 v))) 9/2)
✓	0.2b	(-.f64 (-.f64 (+.f64 3 (.f64 2 (pow.f64 r -2))) (.f64 (pow.f64 (.f64 w r) 2) (.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (/.f64 1 (-.f64 1 v))))) 9/2)
	0.8b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (pow.f64 (*.f64 w r) 2) (/.f64 (pow.f64 (cbrt.f64 (fma.f64 v -1/4 3/8)) 2) (/.f64 (-.f64 1 v) (cbrt.f64 (fma.f64 v -1/4 3/8)))))) 9/2)
	12.9b	(-.f64 (-.f64 (+.f64 3 (.f64 2 (pow.f64 r -2))) (sqrt.f64 (.f64 (pow.f64 (*.f64 r w) 4) (pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 2)))) 9/2)
	16.7b	(-.f64 (-.f64 (+.f64 3 (.f64 2 (pow.f64 r -2))) (.f64 (pow.f64 (*.f64 w r) 2) (/.f64 (/.f64 (fma.f64 v -1/4 3/8) (sqrt.f64 (-.f64 1 v))) (sqrt.f64 (-.f64 1 v))))) 9/2)
	15.1b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 r (.f64 (.f64 w w) (*.f64 3/8 r)))) 9/2)

Compiler

Compiled 4414 to 3394 computations (23.1% saved)

localize19.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(*.f64 2 (pow.f64 r -2))
✓	0.1b	(.f64 (pow.f64 (.f64 w r) 2) (expm1.f64 (log1p.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))))
	0.4b	(pow.f64 (*.f64 w r) 2)
✓	0.5b	(expm1.f64 (log1p.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))

series10.0ms (0.2%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
4.0ms	v	@	inf	(.f64 (pow.f64 (.f64 w r) 2) (expm1.f64 (log1p.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))))
1.0ms	w	@	0	(.f64 (pow.f64 (.f64 w r) 2) (expm1.f64 (log1p.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))))
1.0ms	r	@	0	(.f64 (pow.f64 (.f64 w r) 2) (expm1.f64 (log1p.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))))
1.0ms	r	@	inf	(.f64 (pow.f64 (.f64 w r) 2) (expm1.f64 (log1p.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))))
1.0ms	v	@	0	(expm1.f64 (log1p.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))

rewrite53.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

340×	`prod-diff_binary64`
260×	`expm1-udef_binary64`
259×	`log1p-udef_binary64`
153×	`add-sqr-sqrt_binary64`
147×	`pow1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	31
1	318	31
2	3757	31

Stop Event

1×	node limit

Counts

2 → 68

Calls

Call 1

Inputs
(expm1.f64 (log1p.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))
(.f64 (pow.f64 (.f64 w r) 2) (expm1.f64 (log1p.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))))

Outputs

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

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

simplify45.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

452×	`fma-neg_binary64`
425×	`unswap-sqr_binary64`
408×	`fma-def_binary64`
389×	`associate-l_binary64`
307×	`associate-r_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	65	1215
1	217	1157
2	762	1026
3	3972	1026

Stop Event

1×	node limit

Counts

116 → 100

Calls

Call 1

Inputs
3/8
(+.f64 (*.f64 1/8 v) 3/8)
(+.f64 (.f64 1/8 v) (+.f64 3/8 (.f64 1/8 (pow.f64 v 2))))
(+.f64 (.f64 1/8 v) (+.f64 3/8 (+.f64 (.f64 1/8 (pow.f64 v 3)) (*.f64 1/8 (pow.f64 v 2)))))
1/4
(-.f64 1/4 (*.f64 1/8 (/.f64 1 v)))
(-.f64 1/4 (+.f64 (.f64 1/8 (/.f64 1 v)) (.f64 1/8 (/.f64 1 (pow.f64 v 2)))))
(-.f64 1/4 (+.f64 (.f64 1/8 (/.f64 1 v)) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 v 2))) (*.f64 1/8 (/.f64 1 (pow.f64 v 3))))))
1/4
(-.f64 1/4 (*.f64 1/8 (/.f64 1 v)))
(-.f64 1/4 (+.f64 (.f64 1/8 (/.f64 1 v)) (.f64 1/8 (/.f64 1 (pow.f64 v 2)))))
(-.f64 1/4 (+.f64 (.f64 1/8 (/.f64 1 v)) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 v 2))) (*.f64 1/8 (/.f64 1 (pow.f64 v 3))))))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(+.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/8 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))
(+.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 1/8 (.f64 (pow.f64 v 2) (.f64 (pow.f64 w 2) (pow.f64 r 2))))))
(+.f64 (.f64 1/8 (.f64 (pow.f64 v 3) (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (+.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 1/8 (.f64 (pow.f64 v 2) (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))))
(.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 2)))))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 3))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 2))))))
(.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 2)))))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 3))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 2))))))

Outputs
3/8
(+.f64 (*.f64 1/8 v) 3/8)
(fma.f64 1/8 v 3/8)
(+.f64 (.f64 1/8 v) (+.f64 3/8 (.f64 1/8 (pow.f64 v 2))))
(+.f64 (fma.f64 1/8 v 3/8) (.f64 1/8 (.f64 v v)))
(fma.f64 1/8 v (fma.f64 1/8 (*.f64 v v) 3/8))
(+.f64 3/8 (*.f64 1/8 (fma.f64 v v v)))
(+.f64 (.f64 1/8 v) (+.f64 3/8 (+.f64 (.f64 1/8 (pow.f64 v 3)) (*.f64 1/8 (pow.f64 v 2)))))
(+.f64 (fma.f64 1/8 v 3/8) (.f64 1/8 (+.f64 (pow.f64 v 3) (.f64 v v))))
(fma.f64 1/8 v (fma.f64 1/8 (.f64 v (+.f64 (.f64 v v) v)) 3/8))
(fma.f64 1/8 v (fma.f64 1/8 (*.f64 v (fma.f64 v v v)) 3/8))
1/4
(-.f64 1/4 (*.f64 1/8 (/.f64 1 v)))
(-.f64 1/4 (/.f64 1/8 v))
(+.f64 1/4 (/.f64 -1/8 v))
(-.f64 1/4 (+.f64 (.f64 1/8 (/.f64 1 v)) (.f64 1/8 (/.f64 1 (pow.f64 v 2)))))
(-.f64 1/4 (+.f64 (/.f64 1/8 v) (/.f64 1/8 (*.f64 v v))))
(+.f64 1/4 (-.f64 (/.f64 -1/8 v) (/.f64 1/8 (*.f64 v v))))
(+.f64 1/4 (-.f64 (/.f64 -1/8 (*.f64 v v)) (/.f64 1/8 v)))
(-.f64 1/4 (+.f64 (.f64 1/8 (/.f64 1 v)) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 v 2))) (*.f64 1/8 (/.f64 1 (pow.f64 v 3))))))
(-.f64 1/4 (+.f64 (/.f64 1/8 v) (+.f64 (/.f64 1/8 (*.f64 v v)) (/.f64 1/8 (pow.f64 v 3)))))
(+.f64 1/4 (-.f64 (/.f64 -1/8 v) (+.f64 (/.f64 1/8 (*.f64 v v)) (/.f64 1/8 (pow.f64 v 3)))))
(+.f64 1/4 (+.f64 (-.f64 (/.f64 -1/8 (*.f64 v v)) (/.f64 1/8 v)) (/.f64 -1/8 (pow.f64 v 3))))
1/4
(-.f64 1/4 (*.f64 1/8 (/.f64 1 v)))
(-.f64 1/4 (/.f64 1/8 v))
(+.f64 1/4 (/.f64 -1/8 v))
(-.f64 1/4 (+.f64 (.f64 1/8 (/.f64 1 v)) (.f64 1/8 (/.f64 1 (pow.f64 v 2)))))
(-.f64 1/4 (+.f64 (/.f64 1/8 v) (/.f64 1/8 (*.f64 v v))))
(+.f64 1/4 (-.f64 (/.f64 -1/8 v) (/.f64 1/8 (*.f64 v v))))
(+.f64 1/4 (-.f64 (/.f64 -1/8 (*.f64 v v)) (/.f64 1/8 v)))
(-.f64 1/4 (+.f64 (.f64 1/8 (/.f64 1 v)) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 v 2))) (*.f64 1/8 (/.f64 1 (pow.f64 v 3))))))
(-.f64 1/4 (+.f64 (/.f64 1/8 v) (+.f64 (/.f64 1/8 (*.f64 v v)) (/.f64 1/8 (pow.f64 v 3)))))
(+.f64 1/4 (-.f64 (/.f64 -1/8 v) (+.f64 (/.f64 1/8 (*.f64 v v)) (/.f64 1/8 (pow.f64 v 3)))))
(+.f64 1/4 (+.f64 (-.f64 (/.f64 -1/8 (*.f64 v v)) (/.f64 1/8 v)) (/.f64 -1/8 (pow.f64 v 3))))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (-.f64 1 v) (+.f64 3/8 (.f64 v -1/4))))
(.f64 (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) (*.f64 r r))
(.f64 (.f64 (*.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 w (/.f64 (-.f64 1 v) w)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (-.f64 1 v) (+.f64 3/8 (.f64 v -1/4))))
(.f64 (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) (*.f64 r r))
(.f64 (.f64 (*.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 w (/.f64 (-.f64 1 v) w)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (-.f64 1 v) (+.f64 3/8 (.f64 v -1/4))))
(.f64 (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) (*.f64 r r))
(.f64 (.f64 (*.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 w (/.f64 (-.f64 1 v) w)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (-.f64 1 v) (+.f64 3/8 (.f64 v -1/4))))
(.f64 (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) (*.f64 r r))
(.f64 (.f64 (*.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 w (/.f64 (-.f64 1 v) w)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (-.f64 1 v) (+.f64 3/8 (.f64 v -1/4))))
(.f64 (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) (*.f64 r r))
(.f64 (.f64 (*.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 w (/.f64 (-.f64 1 v) w)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (-.f64 1 v) (+.f64 3/8 (.f64 v -1/4))))
(.f64 (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) (*.f64 r r))
(.f64 (.f64 (*.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 w (/.f64 (-.f64 1 v) w)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (-.f64 1 v) (+.f64 3/8 (.f64 v -1/4))))
(.f64 (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) (*.f64 r r))
(.f64 (.f64 (*.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 w (/.f64 (-.f64 1 v) w)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (-.f64 1 v) (+.f64 3/8 (.f64 v -1/4))))
(.f64 (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) (*.f64 r r))
(.f64 (.f64 (*.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 w (/.f64 (-.f64 1 v) w)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (-.f64 1 v) (+.f64 3/8 (.f64 v -1/4))))
(.f64 (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) (*.f64 r r))
(.f64 (.f64 (*.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 w (/.f64 (-.f64 1 v) w)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (-.f64 1 v) (+.f64 3/8 (.f64 v -1/4))))
(.f64 (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) (*.f64 r r))
(.f64 (.f64 (*.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 w (/.f64 (-.f64 1 v) w)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (-.f64 1 v) (+.f64 3/8 (.f64 v -1/4))))
(.f64 (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) (*.f64 r r))
(.f64 (.f64 (*.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 w (/.f64 (-.f64 1 v) w)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (-.f64 1 v) (+.f64 3/8 (.f64 v -1/4))))
(.f64 (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) (*.f64 r r))
(.f64 (.f64 (*.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 w (/.f64 (-.f64 1 v) w)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (-.f64 1 v) (+.f64 3/8 (.f64 v -1/4))))
(.f64 (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) (*.f64 r r))
(.f64 (.f64 (*.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 w (/.f64 (-.f64 1 v) w)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (-.f64 1 v) (+.f64 3/8 (.f64 v -1/4))))
(.f64 (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) (*.f64 r r))
(.f64 (.f64 (*.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 w (/.f64 (-.f64 1 v) w)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (-.f64 1 v) (+.f64 3/8 (.f64 v -1/4))))
(.f64 (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) (*.f64 r r))
(.f64 (.f64 (*.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 w (/.f64 (-.f64 1 v) w)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (-.f64 1 v) (+.f64 3/8 (.f64 v -1/4))))
(.f64 (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) (*.f64 r r))
(.f64 (.f64 (*.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 w (/.f64 (-.f64 1 v) w)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (-.f64 1 v) (+.f64 3/8 (.f64 v -1/4))))
(.f64 (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) (*.f64 r r))
(.f64 (.f64 (*.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 w (/.f64 (-.f64 1 v) w)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (-.f64 1 v) (+.f64 3/8 (.f64 v -1/4))))
(.f64 (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) (*.f64 r r))
(.f64 (.f64 (*.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 w (/.f64 (-.f64 1 v) w)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (-.f64 1 v) (+.f64 3/8 (.f64 v -1/4))))
(.f64 (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) (*.f64 r r))
(.f64 (.f64 (*.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 w (/.f64 (-.f64 1 v) w)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (-.f64 1 v) (+.f64 3/8 (.f64 v -1/4))))
(.f64 (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) (*.f64 r r))
(.f64 (.f64 (*.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 w (/.f64 (-.f64 1 v) w)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (-.f64 1 v) (+.f64 3/8 (.f64 v -1/4))))
(.f64 (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) (*.f64 r r))
(.f64 (.f64 (*.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 w (/.f64 (-.f64 1 v) w)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (-.f64 1 v) (+.f64 3/8 (.f64 v -1/4))))
(.f64 (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) (*.f64 r r))
(.f64 (.f64 (*.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 w (/.f64 (-.f64 1 v) w)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (-.f64 1 v) (+.f64 3/8 (.f64 v -1/4))))
(.f64 (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) (*.f64 r r))
(.f64 (.f64 (*.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 w (/.f64 (-.f64 1 v) w)))
(/.f64 (.f64 (pow.f64 w 2) (.f64 (pow.f64 r 2) (-.f64 3/8 (*.f64 1/4 v)))) (-.f64 1 v))
(/.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 -1/4 v))) (-.f64 1 v))
(/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (-.f64 1 v) (+.f64 3/8 (.f64 v -1/4))))
(.f64 (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))) (*.f64 r r))
(.f64 (.f64 (*.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 w (/.f64 (-.f64 1 v) w)))
(.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(.f64 3/8 (.f64 (.f64 w w) (.f64 r r)))
(+.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/8 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))
(fma.f64 3/8 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (.f64 v (.f64 (.f64 w w) (.f64 r r)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (fma.f64 1/8 v 3/8))
(.f64 r (.f64 (.f64 (.f64 w w) r) (fma.f64 1/8 v 3/8)))
(+.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 1/8 (.f64 (pow.f64 v 2) (.f64 (pow.f64 w 2) (pow.f64 r 2))))))
(fma.f64 3/8 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (+.f64 (.f64 v (.f64 (.f64 w w) (.f64 r r))) (.f64 (.f64 v v) (.f64 (.f64 w w) (*.f64 r r))))))
(fma.f64 3/8 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 v (*.f64 v v)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 1/8 (fma.f64 v v v))))
(+.f64 (.f64 1/8 (.f64 (pow.f64 v 3) (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (+.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 1/8 (.f64 (pow.f64 v 2) (*.f64 (pow.f64 w 2) (pow.f64 r 2)))))))
(fma.f64 1/8 (.f64 (pow.f64 v 3) (.f64 (.f64 w w) (.f64 r r))) (fma.f64 3/8 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (+.f64 (.f64 v (.f64 (.f64 w w) (.f64 r r))) (.f64 (.f64 v v) (.f64 (.f64 w w) (*.f64 r r)))))))
(+.f64 (.f64 1/8 (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 v (.f64 v v)))) (.f64 (.f64 (.f64 w w) (.f64 r r)) (+.f64 3/8 (*.f64 1/8 (pow.f64 v 3)))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (fma.f64 1/8 v (fma.f64 1/8 (*.f64 v (fma.f64 v v v)) 3/8)))
(.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(.f64 1/4 (.f64 (.f64 w w) (.f64 r r)))
(.f64 (.f64 r r) (.f64 1/4 (.f64 w w)))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)))
(+.f64 (.f64 1/4 (.f64 (.f64 w w) (.f64 r r))) (.f64 -1/8 (/.f64 (.f64 w w) (/.f64 v (*.f64 r r)))))
(fma.f64 1/4 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (.f64 -1/8 (.f64 (.f64 w w) (*.f64 r r))) v))
(fma.f64 1/4 (.f64 (.f64 w w) (.f64 r r)) (.f64 (.f64 (.f64 r r) (/.f64 (*.f64 w w) v)) -1/8))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 2)))))
(-.f64 (.f64 1/4 (.f64 (.f64 w w) (.f64 r r))) (.f64 1/8 (+.f64 (/.f64 (.f64 w w) (/.f64 v (.f64 r r))) (/.f64 (.f64 (.f64 w w) (.f64 r r)) (*.f64 v v)))))
(fma.f64 1/4 (.f64 (.f64 w w) (.f64 r r)) (.f64 -1/8 (+.f64 (.f64 (/.f64 (.f64 w w) v) (.f64 r r)) (.f64 (/.f64 (.f64 w w) v) (/.f64 (.f64 r r) v)))))
(fma.f64 1/4 (.f64 (.f64 w w) (.f64 r r)) (.f64 (.f64 (.f64 r r) (/.f64 (*.f64 w w) v)) (-.f64 -1/8 (/.f64 1/8 v))))
(fma.f64 1/4 (.f64 (.f64 w w) (.f64 r r)) (.f64 (.f64 (.f64 r r) (/.f64 (*.f64 w w) v)) (+.f64 -1/8 (/.f64 -1/8 v))))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 3))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 2))))))
(-.f64 (.f64 1/4 (.f64 (.f64 w w) (.f64 r r))) (fma.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 r r)) (pow.f64 v 3)) (.f64 1/8 (+.f64 (/.f64 (.f64 w w) (/.f64 v (.f64 r r))) (/.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 v v))))))
(-.f64 (.f64 1/4 (.f64 (.f64 w w) (.f64 r r))) (.f64 1/8 (+.f64 (+.f64 (.f64 (/.f64 (.f64 w w) v) (.f64 r r)) (.f64 (/.f64 (.f64 w w) v) (/.f64 (.f64 r r) v))) (/.f64 (.f64 r r) (/.f64 (pow.f64 v 3) (*.f64 w w))))))
(fma.f64 1/4 (.f64 (.f64 w w) (.f64 r r)) (.f64 -1/8 (fma.f64 (/.f64 (.f64 w w) (pow.f64 v 3)) (.f64 r r) (.f64 (/.f64 (.f64 w w) v) (+.f64 (.f64 r r) (/.f64 (.f64 r r) v))))))
(.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(.f64 1/4 (.f64 (.f64 w w) (.f64 r r)))
(.f64 (.f64 r r) (.f64 1/4 (.f64 w w)))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)))
(+.f64 (.f64 1/4 (.f64 (.f64 w w) (.f64 r r))) (.f64 -1/8 (/.f64 (.f64 w w) (/.f64 v (*.f64 r r)))))
(fma.f64 1/4 (.f64 (.f64 w w) (.f64 r r)) (/.f64 (.f64 -1/8 (.f64 (.f64 w w) (*.f64 r r))) v))
(fma.f64 1/4 (.f64 (.f64 w w) (.f64 r r)) (.f64 (.f64 (.f64 r r) (/.f64 (*.f64 w w) v)) -1/8))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 2)))))
(-.f64 (.f64 1/4 (.f64 (.f64 w w) (.f64 r r))) (.f64 1/8 (+.f64 (/.f64 (.f64 w w) (/.f64 v (.f64 r r))) (/.f64 (.f64 (.f64 w w) (.f64 r r)) (*.f64 v v)))))
(fma.f64 1/4 (.f64 (.f64 w w) (.f64 r r)) (.f64 -1/8 (+.f64 (.f64 (/.f64 (.f64 w w) v) (.f64 r r)) (.f64 (/.f64 (.f64 w w) v) (/.f64 (.f64 r r) v)))))
(fma.f64 1/4 (.f64 (.f64 w w) (.f64 r r)) (.f64 (.f64 (.f64 r r) (/.f64 (*.f64 w w) v)) (-.f64 -1/8 (/.f64 1/8 v))))
(fma.f64 1/4 (.f64 (.f64 w w) (.f64 r r)) (.f64 (.f64 (.f64 r r) (/.f64 (*.f64 w w) v)) (+.f64 -1/8 (/.f64 -1/8 v))))
(-.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 3))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) v)) (.f64 1/8 (/.f64 (.f64 (pow.f64 w 2) (pow.f64 r 2)) (pow.f64 v 2))))))
(-.f64 (.f64 1/4 (.f64 (.f64 w w) (.f64 r r))) (fma.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 r r)) (pow.f64 v 3)) (.f64 1/8 (+.f64 (/.f64 (.f64 w w) (/.f64 v (.f64 r r))) (/.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 v v))))))
(-.f64 (.f64 1/4 (.f64 (.f64 w w) (.f64 r r))) (.f64 1/8 (+.f64 (+.f64 (.f64 (/.f64 (.f64 w w) v) (.f64 r r)) (.f64 (/.f64 (.f64 w w) v) (/.f64 (.f64 r r) v))) (/.f64 (.f64 r r) (/.f64 (pow.f64 v 3) (*.f64 w w))))))
(fma.f64 1/4 (.f64 (.f64 w w) (.f64 r r)) (.f64 -1/8 (fma.f64 (/.f64 (.f64 w w) (pow.f64 v 3)) (.f64 r r) (.f64 (/.f64 (.f64 w w) v) (+.f64 (.f64 r r) (/.f64 (.f64 r r) v))))))

prune247.0ms (3.9%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	131	3	134
Fresh	2	6	8
Picked	0	1	1
Done	0	1	1
Total	133	11	144

Error

Counts

144 → 11

Alt Table

Status	Error	Program
	12.9b	(-.f64 (-.f64 (+.f64 3 (.f64 2 (pow.f64 r -2))) (sqrt.f64 (.f64 (pow.f64 (*.f64 r w) 4) (pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 2)))) 9/2)
	0.2b	(-.f64 (-.f64 (+.f64 3 (.f64 2 (pow.f64 r -2))) (/.f64 (pow.f64 (.f64 w r) 2) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))) 9/2)
✓	0.3b	(-.f64 (-.f64 (+.f64 3 (.f64 2 (pow.f64 r -2))) (.f64 (pow.f64 (*.f64 w r) 2) (expm1.f64 (log1p.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))))) 9/2)
	15.2b	(-.f64 (-.f64 (+.f64 3 (.f64 2 (pow.f64 r -2))) (.f64 r (.f64 (.f64 r (*.f64 w w)) 1/4))) 9/2)
	6.7b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (.f64 (.f64 w (.f64 w r)) (+.f64 3/8 (.f64 (.f64 v -2) 1/8))) (.f64 r (/.f64 1 (-.f64 1 v))))) 9/2)
	19.1b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 (fma.f64 v -1/4 3/8) (/.f64 (.f64 r r) (/.f64 (-.f64 1 v) (*.f64 w w))) 3/2))
	0.8b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (pow.f64 (*.f64 w r) 2) (/.f64 (pow.f64 (cbrt.f64 (fma.f64 v -1/4 3/8)) 2) (/.f64 (-.f64 1 v) (cbrt.f64 (fma.f64 v -1/4 3/8)))))) 9/2)
	21.8b	(-.f64 (-.f64 (+.f64 3 (.f64 2 (pow.f64 r -2))) (.f64 (.f64 (.f64 r r) (fma.f64 v -1/4 3/8)) (/.f64 w (/.f64 (-.f64 1 v) w)))) 9/2)
	17.9b	(-.f64 (-.f64 (+.f64 3 (.f64 2 (pow.f64 r -2))) (.f64 (.f64 (.f64 w w) (*.f64 r r)) (expm1.f64 (log1p.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))))) 9/2)
	15.1b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 r (.f64 (.f64 w w) (*.f64 3/8 r)))) 9/2)
✓	0.2b	(-.f64 (-.f64 (+.f64 3 (.f64 2 (pow.f64 r -2))) (.f64 (pow.f64 (.f64 w r) 2) (.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (/.f64 1 (-.f64 1 v))))) 9/2)

Compiler

Compiled 4273 to 3249 computations (24% saved)

regimes558.0ms (8.8%)

Accuracy

Total 0.2b remaining (80.6%)

Threshold costs 0.2b (80.6%)

Counts

161 → 1

Compiler

Compiled 4321 to 3101 computations (28.2% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

8×	`+-commutative_binary64`
7×	`*-commutative_binary64`
7×	`sub-neg_binary64`
4×	`neg-sub0_binary64`
4×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	39
1	40	39
2	55	39
3	63	39
4	68	39
5	69	39

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (-.f64 (+.f64 3 (.f64 2 (pow.f64 r -2))) (.f64 (pow.f64 (*.f64 w r) 2) (exp.f64 (log.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))))) 9/2)

Outputs

(-.f64 (-.f64 (+.f64 3 (*.f64 2 (pow.f64 r -2))) (*.f64 (pow.f64 (*.f64 w r) 2) (exp.f64 (log.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))))) 9/2)

(+.f64 (-.f64 (+.f64 3 (*.f64 2 (pow.f64 r -2))) (*.f64 (pow.f64 (*.f64 r w) 2) (exp.f64 (log.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))))) -9/2)

end228.0ms (3.6%)

Stop Event

1×

fuel

Compiler

Compiled 376 to 297 computations (21% saved)

Details

analyze1.5s (24.5%)

sample2.3s (35.8%)

preprocess29.0ms (0.5%)

simplify23.0ms (0.4%)

prune4.0ms (0.1%)

localize18.0ms (0.3%)

series23.0ms (0.4%)

rewrite71.0ms (1.1%)

simplify62.0ms (1%)

prune251.0ms (4%)

localize18.0ms (0.3%)

series15.0ms (0.2%)

rewrite35.0ms (0.6%)

simplify70.0ms (1.1%)

prune321.0ms (5.1%)

localize43.0ms (0.7%)

series1.0ms (0%)

rewrite32.0ms (0.5%)

simplify68.0ms (1.1%)

prune265.0ms (4.2%)

localize19.0ms (0.3%)

series10.0ms (0.2%)

rewrite53.0ms (0.8%)

simplify45.0ms (0.7%)

prune247.0ms (3.9%)

regimes558.0ms (8.8%)

simplify3.0ms (0%)

end228.0ms (3.6%)

Profiling