Details

analyze1.5s (24.7%)

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.4s (38.2%)

Results

1.4s	8256×	body	128	valid
939.0ms	5162×	body	128	invalid

preprocess37.0ms (0.6%)

Algorithm

2×	egg-herbie

Rules

427×	`rule-a-*a1_binary64`
427×	`rule-a--a0_binary64`
427×	`rule-a-+a0_binary64`
420×	`rule-a-/a1_binary64`
383×	`rule-ab-ba_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	54	172
1	417	148
2	2012	148
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 3 (-.f64 (/.f64 2 (.f64 r r)) (.f64 (.f64 r (.f64 r (.f64 w w))) (/.f64 (-.f64 3/8 (.f64 1/8 (*.f64 2 v))) (-.f64 1 v))))) 9/2)
(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 (.f64 w w) (.f64 r r)) (-.f64 1 v))))
(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 r (.f64 r (.f64 w w))) (-.f64 1 v))))
(-.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))) 9/2) (/.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 w))) (.f64 r (.f64 r (*.f64 v v)))) (-.f64 1 w)))
(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (-.f64 3/8 (.f64 w 1/4)) (/.f64 (.f64 r (.f64 r (.f64 v v))) (-.f64 1 w))))
(-.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 v v))) 9/2) (.f64 (.f64 v (.f64 v (.f64 w w))) (/.f64 (.f64 -1/8 (-.f64 (*.f64 2 r) 3)) (-.f64 1 r))))
(-.f64 (+.f64 (/.f64 2 (.f64 v v)) -3/2) (.f64 (-.f64 3/8 (.f64 r 1/4)) (/.f64 (.f64 (.f64 w w) (.f64 v v)) (-.f64 1 r))))
(-.f64 (+.f64 (/.f64 2 (.f64 v v)) -3/2) (.f64 (-.f64 3/8 (.f64 r 1/4)) (/.f64 (.f64 v (.f64 v (.f64 w w))) (-.f64 1 r))))
(-.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))) 9/2) (.f64 (.f64 w (.f64 (.f64 r r) w)) (/.f64 (-.f64 3/8 (.f64 1/8 (*.f64 2 v))) (-.f64 1 v))))
(-.f64 (+.f64 (/.f64 2 (.f64 w w)) -3/2) (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 (.f64 r r) (.f64 w w)) (-.f64 1 v))))
(-.f64 (+.f64 (/.f64 2 (.f64 w w)) -3/2) (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 r (.f64 r (.f64 w w))) (-.f64 1 v))))

Compiler

Compiled 32 to 24 computations (25% saved)

simplify40.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

854×	`rule-a-/a1_binary64`
256×	`fma-neg_binary64`
197×	`fma-def_binary64`
139×	`rule-a-*a1_binary64`
139×	`rule-a--a0_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	23	43
1	167	37
2	705	35
3	4420	35

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 3 (-.f64 (/.f64 2 (.f64 r r)) (.f64 (.f64 r (.f64 r (.f64 w w))) (/.f64 (-.f64 3/8 (.f64 1/8 (*.f64 2 v))) (-.f64 1 v))))) 9/2)
(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 r (.f64 w (.f64 r w))) (-.f64 1 v))))
(+.f64 (/.f64 2 (.f64 r r)) (-.f64 -3/2 (.f64 (.f64 r r) (/.f64 (.f64 w w) (/.f64 (+.f64 v -1) (fma.f64 v 1/4 -3/8))))))

prune5.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

12.3b

Counts

3 → 2

Alt Table

Status	Error	Program
	18.6b	(+.f64 (/.f64 2 (.f64 r r)) (-.f64 -3/2 (.f64 (.f64 r r) (/.f64 (.f64 w w) (/.f64 (+.f64 v -1) (fma.f64 v 1/4 -3/8))))))
▶	14.3b	(-.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

18.6b

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

▶

14.3b

(-.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 174 to 121 computations (30.5% saved)

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	3.4b	(.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r))
✓	4.1b	(.f64 (.f64 (*.f64 w w) r) r)
✓	5.7b	(/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r)) (-.f64 1 v))
✓	10.7b	(.f64 (.f64 w w) r)

series26.0ms (0.4%)

Counts

4 → 120

Calls

30 calls:

Time	Variable		Point	Expression
2.0ms	v	@	0	(/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r)) (-.f64 1 v))
2.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 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	v	@	-inf	(/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r)) (-.f64 1 v))

rewrite40.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

198×	`add-sqr-sqrt_binary64`
186×	`add-cbrt-cube_binary64`
186×	`add-exp-log_binary64`
186×	`add-log-exp_binary64`
186×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	67
1	456	67

Stop Event

1×	node limit

Counts

4 → 95

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 (.f64 (.f64 w w) r) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 w w) r) (.f64 (.f64 w w) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 w w) r) (.f64 r 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (.f64 w w) r))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (.f64 w w) r) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (.f64 w w) r) (.f64 (.f64 w w) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (.f64 w w) r) (.f64 r 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (.f64 (.f64 w w) r)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 (.f64 w w) r) (.f64 (.f64 w w) r)) (.f64 (.f64 w w) r))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 w w) (/.f64 1 r))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 r (/.f64 1 (.f64 w w)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 w w) r) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 (.f64 w w) r)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 w w) r) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (.f64 (.f64 w w) r)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (.f64 w w) r))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (.f64 (.f64 w w) r)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (.f64 (.f64 w w) r) (.f64 (.f64 (.f64 w w) r) (.f64 (.f64 w w) r))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (.f64 w w) r)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (.f64 w w) r)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (.f64 w w) r)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v))) (/.f64 0 (-.f64 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v))) (/.f64 0 (-.f64 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v))) (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v)))) (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 r (.f64 (.f64 w w) r)) (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v)))) (.f64 (cbrt.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v)))) (cbrt.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v)))) (cbrt.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v))))) (cbrt.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v)))))) (/.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v)))))) (cbrt.f64 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v))))))) (-.f64 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v)))) (sqrt.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v)))))) (/.f64 (sqrt.f64 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v)))))) (-.f64 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 r (.f64 (.f64 w w) r)) (+.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (-.f64 3/8 (.f64 1/8 (.f64 2 v))))) (/.f64 -1/2 (+.f64 v -1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 -1/2 (+.f64 v -1)) (.f64 (.f64 r (.f64 (.f64 w w) r)) (+.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (-.f64 3/8 (.f64 1/8 (.f64 2 v))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))) (.f64 r (.f64 (.f64 w w) r)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v)))) (/.f64 (.f64 (.f64 w w) r) (-.f64 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v))) (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (neg.f64 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v)))))) (neg.f64 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v))))))) (/.f64 1/2 (+.f64 v -1)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v))) (.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v))) (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (*.f64 w w) r)) (-.f64 1 v)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 r (.f64 (.f64 w w) r)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 r (.f64 (.f64 w w) r)) (.f64 r 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 r (.f64 (.f64 w w) r)) (.f64 (.f64 (.f64 w w) r) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 r (.f64 (.f64 w w) r)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 r (.f64 (.f64 w w) r)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 r (.f64 (.f64 w w) r)) (.f64 r 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 r (.f64 (.f64 w w) r)) (.f64 (.f64 (.f64 w w) r) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (.f64 r (.f64 (.f64 w w) r))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 r (.f64 (.f64 w w) r)) (.f64 r (.f64 (.f64 w w) r))) (.f64 r (.f64 (.f64 w w) r)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 r (/.f64 1 (.f64 (.f64 w w) r)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 w w) r) (/.f64 1 r))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 r (.f64 (.f64 w w) r)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 r (.f64 (.f64 w w) r))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 r (.f64 (.f64 w w) r)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (.f64 r (.f64 (.f64 w w) r))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 r (.f64 (.f64 w w) r)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (.f64 r (.f64 (.f64 w w) r))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (.f64 r (.f64 (.f64 w w) r)) (.f64 (.f64 r (.f64 (.f64 w w) r)) (.f64 r (.f64 (.f64 w w) r)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 r (.f64 (.f64 w w) r))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 r (.f64 (.f64 w w) r))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 r (.f64 (*.f64 w w) r))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v))))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v))))) (.f64 (.f64 r (.f64 (.f64 w w) r)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v))))) (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v))))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v))))) (.f64 (.f64 r (.f64 (.f64 w w) r)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v))))) (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (.f64 r (.f64 (.f64 w w) r)) (+.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (-.f64 3/8 (.f64 1/8 (.f64 2 v))))) (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 3/8 (.f64 r (.f64 (.f64 w w) r))) (.f64 (.f64 r (.f64 (.f64 w w) r)) (.f64 1/8 (.f64 2 v))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 1 (.f64 r (.f64 (.f64 w w) r))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 r (.f64 (.f64 w w) r)) (/.f64 1 (-.f64 3/8 (.f64 1/8 (.f64 2 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v)))))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v))))) (.f64 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v))))) (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v))))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v)))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v)))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (.f64 (.f64 w w) r) (.f64 r (-.f64 3/8 (.f64 1/8 (.f64 2 v)))))))))))

simplify60.0ms (1%)

Algorithm

1×	egg-herbie

Rules

501×	`rule-a-*a1_binary64`
501×	`rule-a--a0_binary64`
501×	`rule-a-+a0_binary64`
501×	`rule-a-/a1_binary64`
492×	`rule-/ab-*+aa/1/2b_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	73	2709
1	586	2404
2	2900	2397

Stop Event

1×	node limit

Counts

215 → 129

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 (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -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 (pow.f64 v 2) (-.f64 (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2)))))) (.f64 1/8 (.f64 v (-.f64 (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -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 (pow.f64 v 2) (-.f64 (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2)))))) (+.f64 (.f64 1/8 (.f64 v (-.f64 (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2)))))) (.f64 1/8 (.f64 (pow.f64 v 3) (-.f64 (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2)))))))))
(.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(+.f64 (.f64 1/8 (/.f64 (-.f64 (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2)))) v)) (.f64 1/4 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(+.f64 (.f64 1/8 (/.f64 (-.f64 (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2)))) v)) (+.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/8 (/.f64 (-.f64 (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (pow.f64 v 2)))))
(+.f64 (.f64 1/8 (/.f64 (-.f64 (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -2 (.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 (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (pow.f64 v 2))) (.f64 1/8 (/.f64 (-.f64 (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -2 (*.f64 (pow.f64 w 2) (pow.f64 r 2)))) (pow.f64 v 3))))))
(.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 (.f64 3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 2 (*.f64 (pow.f64 w 2) (pow.f64 r 2)))) v)))
(+.f64 (.f64 1/8 (/.f64 (-.f64 (.f64 2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 3 (.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 -1/8 (/.f64 (-.f64 (.f64 3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 2 (.f64 (pow.f64 w 2) (pow.f64 r 2)))) v))))
(+.f64 (.f64 -1/8 (/.f64 (-.f64 (.f64 3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 2 (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (pow.f64 v 3))) (+.f64 (.f64 1/8 (/.f64 (-.f64 (.f64 2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 3 (.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 -1/8 (/.f64 (-.f64 (.f64 3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 2 (*.f64 (pow.f64 w 2) (pow.f64 r 2)))) v)))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.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 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.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 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.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 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))

Outputs
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 r w))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 r w))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 r w))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 r w))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 r w))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 r w))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 r w))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 r w))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 r w))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 r w))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 r w))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 r w))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 r w))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 r w))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 r w))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 r w))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 r w))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 r w))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 r w))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 r w))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 r w))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 r w))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 r w))
(*.f64 (pow.f64 w 2) r)
(.f64 (.f64 w w) r)
(.f64 w (.f64 r w))
(.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(.f64 (.f64 w w) (.f64 3/8 (.f64 r r)))
(+.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/8 (.f64 v (-.f64 (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2)))))))
(fma.f64 3/8 (.f64 (.f64 w w) (.f64 r r)) (.f64 v (.f64 1/8 (-.f64 (.f64 (.f64 w w) (.f64 -2 (.f64 r r))) (.f64 (.f64 w w) (.f64 -3 (*.f64 r r)))))))
(fma.f64 1/8 (.f64 (.f64 w w) (.f64 r (.f64 v r))) (.f64 (.f64 w w) (.f64 3/8 (.f64 r r))))
(fma.f64 (.f64 w w) (.f64 3/8 (.f64 r r)) (.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 v)))
(+.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (.f64 (pow.f64 v 2) (-.f64 (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2)))))) (.f64 1/8 (.f64 v (-.f64 (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))))))))
(fma.f64 3/8 (.f64 (.f64 w w) (.f64 r r)) (fma.f64 1/8 (.f64 (-.f64 (.f64 (.f64 w w) (.f64 -2 (.f64 r r))) (.f64 (.f64 w w) (.f64 -3 (.f64 r r)))) (.f64 v v)) (.f64 v (.f64 1/8 (-.f64 (.f64 (.f64 w w) (.f64 -2 (.f64 r r))) (.f64 (.f64 w w) (.f64 -3 (*.f64 r r))))))))
(fma.f64 (.f64 w w) (.f64 3/8 (.f64 r r)) (.f64 1/8 (+.f64 (.f64 (.f64 w w) (.f64 r (.f64 v r))) (.f64 (.f64 w (.f64 (.f64 r r) w)) (*.f64 v v)))))
(fma.f64 (.f64 w w) (.f64 3/8 (.f64 r r)) (.f64 1/8 (+.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 v v)) (.f64 (.f64 w w) (.f64 r (*.f64 v r))))))
(+.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (.f64 (pow.f64 v 2) (-.f64 (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2)))))) (+.f64 (.f64 1/8 (.f64 v (-.f64 (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2)))))) (.f64 1/8 (.f64 (pow.f64 v 3) (-.f64 (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2)))))))))
(fma.f64 3/8 (.f64 (.f64 w w) (.f64 r r)) (fma.f64 1/8 (.f64 (-.f64 (.f64 (.f64 w w) (.f64 -2 (.f64 r r))) (.f64 (.f64 w w) (.f64 -3 (.f64 r r)))) (.f64 v v)) (fma.f64 1/8 (.f64 v (-.f64 (.f64 (.f64 w w) (.f64 -2 (.f64 r r))) (.f64 (.f64 w w) (.f64 -3 (.f64 r r))))) (.f64 1/8 (.f64 (-.f64 (.f64 (.f64 w w) (.f64 -2 (.f64 r r))) (.f64 (.f64 w w) (.f64 -3 (.f64 r r)))) (pow.f64 v 3))))))
(fma.f64 (.f64 w w) (.f64 3/8 (.f64 r r)) (fma.f64 1/8 (.f64 (.f64 w (.f64 (.f64 r r) w)) (.f64 v v)) (.f64 1/8 (+.f64 (.f64 (.f64 w w) (.f64 r (.f64 v r))) (.f64 (.f64 w (.f64 (*.f64 r r) w)) (pow.f64 v 3))))))
(fma.f64 (.f64 w w) (.f64 3/8 (.f64 r r)) (fma.f64 1/8 (.f64 (.f64 w w) (.f64 r (.f64 v r))) (.f64 1/8 (+.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 v v)) (.f64 (.f64 (.f64 w w) (*.f64 r r)) (pow.f64 v 3))))))
(.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(.f64 (.f64 w w) (.f64 1/4 (.f64 r r)))
(.f64 (.f64 w w) (.f64 r (.f64 1/4 r)))
(.f64 (.f64 r r) (.f64 1/4 (.f64 w w)))
(+.f64 (.f64 1/8 (/.f64 (-.f64 (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2)))) v)) (.f64 1/4 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(fma.f64 1/8 (/.f64 (-.f64 (.f64 (.f64 w w) (.f64 -3 (.f64 r r))) (.f64 (.f64 w w) (.f64 -2 (.f64 r r)))) v) (.f64 (.f64 w w) (.f64 1/4 (.f64 r r))))
(fma.f64 (.f64 w w) (.f64 r (.f64 1/4 r)) (/.f64 1/8 (/.f64 (neg.f64 v) (.f64 w (.f64 (.f64 r r) w)))))
(fma.f64 (.f64 w w) (.f64 r (.f64 1/4 r)) (.f64 1/8 (/.f64 (.f64 (.f64 w w) (*.f64 r r)) (neg.f64 v))))
(+.f64 (.f64 1/8 (/.f64 (-.f64 (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2)))) v)) (+.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/8 (/.f64 (-.f64 (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (pow.f64 v 2)))))
(fma.f64 1/8 (/.f64 (-.f64 (.f64 (.f64 w w) (.f64 -3 (.f64 r r))) (.f64 (.f64 w w) (.f64 -2 (.f64 r r)))) v) (fma.f64 1/4 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 (.f64 (.f64 w w) (.f64 -3 (.f64 r r))) (.f64 (.f64 w w) (.f64 -2 (.f64 r r)))) (*.f64 v v)))))
(fma.f64 (.f64 w w) (.f64 r (.f64 1/4 r)) (.f64 1/8 (+.f64 (/.f64 (-.f64 0 (.f64 w (.f64 (.f64 r r) w))) v) (/.f64 (-.f64 0 (.f64 w (.f64 (.f64 r r) w))) (*.f64 v v)))))
(fma.f64 (.f64 w w) (.f64 r (.f64 1/4 r)) (.f64 1/8 (+.f64 (/.f64 (.f64 (.f64 w w) (.f64 r r)) (neg.f64 v)) (/.f64 (.f64 (.f64 w w) (.f64 r r)) (neg.f64 (*.f64 v v))))))
(+.f64 (.f64 1/8 (/.f64 (-.f64 (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -2 (.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 (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (pow.f64 v 2))) (.f64 1/8 (/.f64 (-.f64 (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -2 (*.f64 (pow.f64 w 2) (pow.f64 r 2)))) (pow.f64 v 3))))))
(fma.f64 1/8 (/.f64 (-.f64 (.f64 (.f64 w w) (.f64 -3 (.f64 r r))) (.f64 (.f64 w w) (.f64 -2 (.f64 r r)))) v) (fma.f64 1/4 (.f64 (.f64 w w) (.f64 r r)) (fma.f64 1/8 (/.f64 (-.f64 (.f64 (.f64 w w) (.f64 -3 (.f64 r r))) (.f64 (.f64 w w) (.f64 -2 (.f64 r r)))) (.f64 v v)) (/.f64 1/8 (/.f64 (pow.f64 v 3) (-.f64 (.f64 (.f64 w w) (.f64 -3 (.f64 r r))) (.f64 (.f64 w w) (.f64 -2 (.f64 r r)))))))))
(fma.f64 (.f64 w w) (.f64 r (.f64 1/4 r)) (fma.f64 1/8 (/.f64 (-.f64 0 (.f64 w (.f64 (.f64 r r) w))) v) (fma.f64 1/8 (/.f64 (-.f64 0 (.f64 w (.f64 (.f64 r r) w))) (pow.f64 v 3)) (/.f64 1/8 (/.f64 (neg.f64 (.f64 v v)) (.f64 w (.f64 (*.f64 r r) w)))))))
(fma.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 r r)) (neg.f64 v)) (fma.f64 (.f64 w w) (.f64 r (.f64 1/4 r)) (.f64 1/8 (+.f64 (/.f64 (.f64 (.f64 w w) (.f64 r r)) (neg.f64 (.f64 v v))) (/.f64 (.f64 (.f64 w w) (.f64 r r)) (neg.f64 (pow.f64 v 3)))))))
(.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(.f64 (.f64 w w) (.f64 1/4 (.f64 r r)))
(.f64 (.f64 w w) (.f64 r (.f64 1/4 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 (.f64 3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 2 (*.f64 (pow.f64 w 2) (pow.f64 r 2)))) v)))
(fma.f64 1/4 (.f64 (.f64 w w) (.f64 r r)) (.f64 -1/8 (/.f64 (-.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) 3) (.f64 2 (.f64 (.f64 w w) (.f64 r r)))) v)))
(fma.f64 (.f64 w w) (.f64 r (.f64 1/4 r)) (/.f64 (.f64 w (.f64 (.f64 r r) w)) (/.f64 v -1/8)))
(fma.f64 (.f64 w w) (.f64 r (.f64 1/4 r)) (/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 v -1/8)))
(+.f64 (.f64 1/8 (/.f64 (-.f64 (.f64 2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 3 (.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 -1/8 (/.f64 (-.f64 (.f64 3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 2 (.f64 (pow.f64 w 2) (pow.f64 r 2)))) v))))
(fma.f64 1/8 (/.f64 (fma.f64 2 (.f64 (.f64 w w) (.f64 r r)) (neg.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) 3))) (.f64 v v)) (fma.f64 1/4 (.f64 (.f64 w w) (.f64 r r)) (.f64 -1/8 (/.f64 (-.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) 3) (.f64 2 (.f64 (.f64 w w) (.f64 r r)))) v))))
(fma.f64 1/8 (/.f64 (-.f64 0 (.f64 w (.f64 (.f64 r r) w))) (.f64 v v)) (fma.f64 (.f64 w w) (.f64 r (.f64 1/4 r)) (/.f64 (.f64 w (.f64 (.f64 r r) w)) (/.f64 v -1/8))))
(fma.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 r r)) (neg.f64 (.f64 v v))) (fma.f64 (.f64 w w) (.f64 r (.f64 1/4 r)) (/.f64 (.f64 (.f64 w w) (.f64 r r)) (/.f64 v -1/8))))
(+.f64 (.f64 -1/8 (/.f64 (-.f64 (.f64 3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 2 (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (pow.f64 v 3))) (+.f64 (.f64 1/8 (/.f64 (-.f64 (.f64 2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 3 (.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 -1/8 (/.f64 (-.f64 (.f64 3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 2 (*.f64 (pow.f64 w 2) (pow.f64 r 2)))) v)))))
(fma.f64 -1/8 (/.f64 (-.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) 3) (.f64 2 (.f64 (.f64 w w) (.f64 r r)))) (pow.f64 v 3)) (fma.f64 1/8 (/.f64 (fma.f64 2 (.f64 (.f64 w w) (.f64 r r)) (neg.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) 3))) (.f64 v v)) (fma.f64 1/4 (.f64 (.f64 w w) (.f64 r r)) (.f64 -1/8 (/.f64 (-.f64 (.f64 (.f64 (.f64 w w) (.f64 r r)) 3) (.f64 2 (.f64 (.f64 w w) (.f64 r r)))) v)))))
(fma.f64 1/8 (/.f64 (-.f64 0 (.f64 w (.f64 (.f64 r r) w))) (.f64 v v)) (fma.f64 -1/8 (/.f64 (.f64 w (.f64 (.f64 r r) w)) (pow.f64 v 3)) (fma.f64 (.f64 w w) (.f64 r (.f64 1/4 r)) (/.f64 (.f64 w (.f64 (*.f64 r r) w)) (/.f64 v -1/8)))))
(fma.f64 1/8 (/.f64 (.f64 (.f64 w w) (.f64 r r)) (neg.f64 (.f64 v v))) (fma.f64 -1/8 (/.f64 (.f64 (.f64 w w) (.f64 r r)) (pow.f64 v 3)) (fma.f64 (.f64 w w) (.f64 r (.f64 1/4 r)) (/.f64 (.f64 (.f64 w w) (*.f64 r r)) (/.f64 v -1/8)))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (*.f64 r r)))))
(.f64 1/8 (.f64 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r)) (/.f64 (.f64 w w) (-.f64 1 v))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (*.f64 r r)))))
(.f64 1/8 (.f64 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r)) (/.f64 (.f64 w w) (-.f64 1 v))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (*.f64 r r)))))
(.f64 1/8 (.f64 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r)) (/.f64 (.f64 w w) (-.f64 1 v))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (*.f64 r r)))))
(.f64 1/8 (.f64 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r)) (/.f64 (.f64 w w) (-.f64 1 v))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (*.f64 r r)))))
(.f64 1/8 (.f64 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r)) (/.f64 (.f64 w w) (-.f64 1 v))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (*.f64 r r)))))
(.f64 1/8 (.f64 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r)) (/.f64 (.f64 w w) (-.f64 1 v))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (*.f64 r r)))))
(.f64 1/8 (.f64 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r)) (/.f64 (.f64 w w) (-.f64 1 v))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (*.f64 r r)))))
(.f64 1/8 (.f64 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r)) (/.f64 (.f64 w w) (-.f64 1 v))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (*.f64 r r)))))
(.f64 1/8 (.f64 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r)) (/.f64 (.f64 w w) (-.f64 1 v))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (*.f64 r r)))))
(.f64 1/8 (.f64 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r)) (/.f64 (.f64 w w) (-.f64 1 v))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (*.f64 r r)))))
(.f64 1/8 (.f64 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r)) (/.f64 (.f64 w w) (-.f64 1 v))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (*.f64 r r)))))
(.f64 1/8 (.f64 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r)) (/.f64 (.f64 w w) (-.f64 1 v))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (*.f64 r r)))))
(.f64 1/8 (.f64 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r)) (/.f64 (.f64 w w) (-.f64 1 v))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (*.f64 r r)))))
(.f64 1/8 (.f64 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r)) (/.f64 (.f64 w w) (-.f64 1 v))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (*.f64 r r)))))
(.f64 1/8 (.f64 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r)) (/.f64 (.f64 w w) (-.f64 1 v))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (*.f64 r r)))))
(.f64 1/8 (.f64 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r)) (/.f64 (.f64 w w) (-.f64 1 v))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (*.f64 r r)))))
(.f64 1/8 (.f64 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r)) (/.f64 (.f64 w w) (-.f64 1 v))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (*.f64 r r)))))
(.f64 1/8 (.f64 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r)) (/.f64 (.f64 w w) (-.f64 1 v))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (*.f64 r r)))))
(.f64 1/8 (.f64 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r)) (/.f64 (.f64 w w) (-.f64 1 v))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (*.f64 r r)))))
(.f64 1/8 (.f64 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r)) (/.f64 (.f64 w w) (-.f64 1 v))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (*.f64 r r)))))
(.f64 1/8 (.f64 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r)) (/.f64 (.f64 w w) (-.f64 1 v))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (*.f64 r r)))))
(.f64 1/8 (.f64 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r)) (/.f64 (.f64 w w) (-.f64 1 v))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (*.f64 r r)))))
(.f64 1/8 (.f64 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r)) (/.f64 (.f64 w w) (-.f64 1 v))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (*.f64 r r)))))
(.f64 1/8 (.f64 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r)) (/.f64 (.f64 w w) (-.f64 1 v))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v))))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(.f64 (.f64 w w) (.f64 3/8 (.f64 r r)))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(fma.f64 -1/4 (.f64 (.f64 w w) (.f64 v (.f64 r r))) (.f64 (.f64 w w) (.f64 3/8 (.f64 r r))))
(fma.f64 (.f64 w w) (.f64 3/8 (.f64 r r)) (.f64 (.f64 w w) (.f64 -1/4 (.f64 r (.f64 v r)))))
(fma.f64 (.f64 w w) (.f64 3/8 (.f64 r r)) (.f64 (.f64 (.f64 w w) (.f64 r (.f64 v r))) -1/4))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(fma.f64 -1/4 (.f64 (.f64 w w) (.f64 v (.f64 r r))) (.f64 (.f64 w w) (.f64 3/8 (.f64 r r))))
(fma.f64 (.f64 w w) (.f64 3/8 (.f64 r r)) (.f64 (.f64 w w) (.f64 -1/4 (.f64 r (.f64 v r)))))
(fma.f64 (.f64 w w) (.f64 3/8 (.f64 r r)) (.f64 (.f64 (.f64 w w) (.f64 r (.f64 v r))) -1/4))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(fma.f64 -1/4 (.f64 (.f64 w w) (.f64 v (.f64 r r))) (.f64 (.f64 w w) (.f64 3/8 (.f64 r r))))
(fma.f64 (.f64 w w) (.f64 3/8 (.f64 r r)) (.f64 (.f64 w w) (.f64 -1/4 (.f64 r (.f64 v r)))))
(fma.f64 (.f64 w w) (.f64 3/8 (.f64 r r)) (.f64 (.f64 (.f64 w w) (.f64 r (.f64 v r))) -1/4))
(.f64 -1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 v (.f64 -1/4 (.f64 (.f64 w w) (*.f64 r r))))
(.f64 (.f64 w w) (.f64 -1/4 (.f64 r (*.f64 v r))))
(.f64 (.f64 (.f64 w w) (.f64 r (*.f64 v r))) -1/4)
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(fma.f64 -1/4 (.f64 (.f64 w w) (.f64 v (.f64 r r))) (.f64 (.f64 w w) (.f64 3/8 (.f64 r r))))
(fma.f64 (.f64 w w) (.f64 3/8 (.f64 r r)) (.f64 (.f64 w w) (.f64 -1/4 (.f64 r (.f64 v r)))))
(fma.f64 (.f64 w w) (.f64 3/8 (.f64 r r)) (.f64 (.f64 (.f64 w w) (.f64 r (.f64 v r))) -1/4))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(fma.f64 -1/4 (.f64 (.f64 w w) (.f64 v (.f64 r r))) (.f64 (.f64 w w) (.f64 3/8 (.f64 r r))))
(fma.f64 (.f64 w w) (.f64 3/8 (.f64 r r)) (.f64 (.f64 w w) (.f64 -1/4 (.f64 r (.f64 v r)))))
(fma.f64 (.f64 w w) (.f64 3/8 (.f64 r r)) (.f64 (.f64 (.f64 w w) (.f64 r (.f64 v r))) -1/4))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(fma.f64 -1/4 (.f64 (.f64 w w) (.f64 v (.f64 r r))) (.f64 (.f64 w w) (.f64 3/8 (.f64 r r))))
(fma.f64 (.f64 w w) (.f64 3/8 (.f64 r r)) (.f64 (.f64 w w) (.f64 -1/4 (.f64 r (.f64 v r)))))
(fma.f64 (.f64 w w) (.f64 3/8 (.f64 r r)) (.f64 (.f64 (.f64 w w) (.f64 r (.f64 v r))) -1/4))
(.f64 -1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 v (.f64 -1/4 (.f64 (.f64 w w) (*.f64 r r))))
(.f64 (.f64 w w) (.f64 -1/4 (.f64 r (*.f64 v r))))
(.f64 (.f64 (.f64 w w) (.f64 r (*.f64 v r))) -1/4)
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(fma.f64 -1/4 (.f64 (.f64 w w) (.f64 v (.f64 r r))) (.f64 (.f64 w w) (.f64 3/8 (.f64 r r))))
(fma.f64 (.f64 w w) (.f64 3/8 (.f64 r r)) (.f64 (.f64 w w) (.f64 -1/4 (.f64 r (.f64 v r)))))
(fma.f64 (.f64 w w) (.f64 3/8 (.f64 r r)) (.f64 (.f64 (.f64 w w) (.f64 r (.f64 v r))) -1/4))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(fma.f64 -1/4 (.f64 (.f64 w w) (.f64 v (.f64 r r))) (.f64 (.f64 w w) (.f64 3/8 (.f64 r r))))
(fma.f64 (.f64 w w) (.f64 3/8 (.f64 r r)) (.f64 (.f64 w w) (.f64 -1/4 (.f64 r (.f64 v r)))))
(fma.f64 (.f64 w w) (.f64 3/8 (.f64 r r)) (.f64 (.f64 (.f64 w w) (.f64 r (.f64 v r))) -1/4))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(fma.f64 -1/4 (.f64 (.f64 w w) (.f64 v (.f64 r r))) (.f64 (.f64 w w) (.f64 3/8 (.f64 r r))))
(fma.f64 (.f64 w w) (.f64 3/8 (.f64 r r)) (.f64 (.f64 w w) (.f64 -1/4 (.f64 r (.f64 v r)))))
(fma.f64 (.f64 w w) (.f64 3/8 (.f64 r r)) (.f64 (.f64 (.f64 w w) (.f64 r (.f64 v r))) -1/4))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (.f64 w w) (.f64 1/8 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (-.f64 3 (.f64 2 v))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (.f64 w w) (.f64 1/8 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (-.f64 3 (.f64 2 v))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (.f64 w w) (.f64 1/8 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (-.f64 3 (.f64 2 v))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (.f64 w w) (.f64 1/8 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (-.f64 3 (.f64 2 v))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (.f64 w w) (.f64 1/8 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (-.f64 3 (.f64 2 v))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (.f64 w w) (.f64 1/8 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (-.f64 3 (.f64 2 v))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (.f64 w w) (.f64 1/8 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (-.f64 3 (.f64 2 v))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (.f64 w w) (.f64 1/8 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (-.f64 3 (.f64 2 v))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (.f64 w w) (.f64 1/8 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (-.f64 3 (.f64 2 v))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (.f64 w w) (.f64 1/8 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (-.f64 3 (.f64 2 v))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (.f64 w w) (.f64 1/8 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (-.f64 3 (.f64 2 v))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (.f64 w w) (.f64 1/8 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (-.f64 3 (.f64 2 v))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (.f64 w w) (.f64 1/8 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (-.f64 3 (.f64 2 v))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (.f64 w w) (.f64 1/8 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (-.f64 3 (.f64 2 v))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (.f64 w w) (.f64 1/8 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (-.f64 3 (.f64 2 v))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (.f64 w w) (.f64 1/8 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (-.f64 3 (.f64 2 v))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (.f64 w w) (.f64 1/8 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (-.f64 3 (.f64 2 v))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (.f64 w w) (.f64 1/8 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (-.f64 3 (.f64 2 v))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (.f64 w w) (.f64 1/8 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (-.f64 3 (.f64 2 v))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (.f64 w w) (.f64 1/8 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (-.f64 3 (.f64 2 v))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (.f64 w w) (.f64 1/8 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (-.f64 3 (.f64 2 v))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (.f64 w w) (.f64 1/8 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (-.f64 3 (.f64 2 v))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (.f64 w w) (.f64 1/8 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (-.f64 3 (.f64 2 v))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (.f64 w w) (.f64 1/8 (.f64 r (.f64 (-.f64 3 (.f64 2 v)) r))))
(.f64 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (-.f64 3 (.f64 2 v))))

prune335.0ms (5.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	122	7	129
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	123	8	131

Error

1.2b

Counts

131 → 8

Alt Table

Status	Error	Program
	14.3b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (.f64 (.f64 r (.f64 (.f64 w w) r)) (+.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (-.f64 3/8 (.f64 1/8 (.f64 2 v))))) (/.f64 -1/2 (+.f64 v -1)))) 9/2)
	14.3b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (/.f64 (.f64 w w) (/.f64 1 r)) r)) (-.f64 1 v))) 9/2)
	9.3b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (.f64 r (.f64 (.f64 w w) r)) (.f64 1/8 (/.f64 (-.f64 3 (*.f64 2 v)) (-.f64 1 v))))) 9/2)
	16.4b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 w (.f64 (*.f64 r r) w))) (-.f64 1 v))) 9/2)
▶	7.7b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 w (*.f64 r w)) r)) (-.f64 1 v))) 9/2)
	18.6b	(+.f64 (/.f64 2 (.f64 r r)) (-.f64 -3/2 (.f64 (.f64 r r) (/.f64 (.f64 w w) (/.f64 (+.f64 v -1) (fma.f64 v 1/4 -3/8))))))
	9.6b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (cbrt.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v)))) (.f64 (cbrt.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v)))) (cbrt.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (*.f64 w w) r)) (-.f64 1 v))))))) 9/2)
	22.2b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (.f64 w w) (.f64 3/8 (*.f64 r r)))) 9/2)

Compiler

Compiled 5434 to 3416 computations (37.1% saved)

localize21.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 2 (*.f64 r r))
✓	3.4b	(.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 w (.f64 r w)) r))
✓	4.1b	(.f64 (.f64 w (*.f64 r w)) r)
✓	5.7b	(/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 w (.f64 r w)) r)) (-.f64 1 v))

series9.0ms (0.1%)

Counts

4 → 108

Calls

27 calls:

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

rewrite38.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

222×	`add-sqr-sqrt_binary64`
209×	`pow1_binary64`
209×	`rules-30_binary64`
209×	`rules-31_binary64`
209×	`rules-32_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	67
1	511	67

Stop Event

1×	node limit

Counts

4 → 49

Calls

Call 1

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

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

simplify58.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

506×	`rule-a-*a1_binary64`
506×	`rule-a--a0_binary64`
506×	`rule-a-+a0_binary64`
506×	`rule-a-/a1_binary64`
504×	`rule-/ab-*+aa/1/2b_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	73	2625
1	589	2320
2	2918	2313

Stop Event

1×	node limit

Counts

157 → 83

Calls

Call 1

Inputs
(.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 (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -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 (pow.f64 v 2) (-.f64 (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2)))))) (.f64 1/8 (.f64 v (-.f64 (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -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 (pow.f64 v 2) (-.f64 (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2)))))) (+.f64 (.f64 1/8 (.f64 v (-.f64 (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2)))))) (.f64 1/8 (.f64 (pow.f64 v 3) (-.f64 (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2)))))))))
(.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(+.f64 (.f64 1/8 (/.f64 (-.f64 (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2)))) v)) (.f64 1/4 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(+.f64 (.f64 1/8 (/.f64 (-.f64 (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2)))) v)) (+.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/8 (/.f64 (-.f64 (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (pow.f64 v 2)))))
(+.f64 (.f64 1/8 (/.f64 (-.f64 (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -2 (.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 (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (pow.f64 v 2))) (.f64 1/8 (/.f64 (-.f64 (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -2 (*.f64 (pow.f64 w 2) (pow.f64 r 2)))) (pow.f64 v 3))))))
(.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 (.f64 3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 2 (*.f64 (pow.f64 w 2) (pow.f64 r 2)))) v)))
(+.f64 (.f64 1/8 (/.f64 (-.f64 (.f64 2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 3 (.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 -1/8 (/.f64 (-.f64 (.f64 3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 2 (.f64 (pow.f64 w 2) (pow.f64 r 2)))) v))))
(+.f64 (.f64 -1/8 (/.f64 (-.f64 (.f64 3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 2 (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (pow.f64 v 3))) (+.f64 (.f64 1/8 (/.f64 (-.f64 (.f64 2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 3 (.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 -1/8 (/.f64 (-.f64 (.f64 3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 2 (*.f64 (pow.f64 w 2) (pow.f64 r 2)))) v)))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.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 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.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 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.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 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 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 2 (pow.f64 r 2))

Outputs
(.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(.f64 3/8 (.f64 (.f64 w w) (.f64 r r)))
(.f64 3/8 (.f64 w (.f64 (.f64 r r) w)))
(+.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/8 (.f64 v (-.f64 (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2)))))))
(fma.f64 3/8 (.f64 (.f64 w w) (.f64 r r)) (.f64 v (.f64 1/8 (fma.f64 -2 (.f64 (.f64 w w) (.f64 r r)) (neg.f64 (.f64 (.f64 w w) (.f64 -3 (.f64 r r))))))))
(fma.f64 3/8 (.f64 w (.f64 (.f64 r r) w)) (.f64 (.f64 w (.f64 (.f64 r r) w)) (.f64 1/8 v)))
(+.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (.f64 (pow.f64 v 2) (-.f64 (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2)))))) (.f64 1/8 (.f64 v (-.f64 (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))))))))
(fma.f64 3/8 (.f64 (.f64 w w) (.f64 r r)) (fma.f64 1/8 (.f64 (fma.f64 -2 (.f64 (.f64 w w) (.f64 r r)) (neg.f64 (.f64 (.f64 w w) (.f64 -3 (.f64 r r))))) (.f64 v v)) (.f64 v (.f64 1/8 (fma.f64 -2 (.f64 (.f64 w w) (.f64 r r)) (neg.f64 (.f64 (.f64 w w) (.f64 -3 (*.f64 r r)))))))))
(fma.f64 3/8 (.f64 w (.f64 (.f64 r r) w)) (.f64 1/8 (+.f64 (.f64 (.f64 r r) (.f64 v (.f64 w w))) (.f64 (.f64 w (.f64 (.f64 r r) w)) (*.f64 v v)))))
(+.f64 (.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (+.f64 (.f64 1/8 (.f64 (pow.f64 v 2) (-.f64 (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2)))))) (+.f64 (.f64 1/8 (.f64 v (-.f64 (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2)))))) (.f64 1/8 (.f64 (pow.f64 v 3) (-.f64 (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2)))))))))
(fma.f64 3/8 (.f64 (.f64 w w) (.f64 r r)) (fma.f64 1/8 (.f64 (fma.f64 -2 (.f64 (.f64 w w) (.f64 r r)) (neg.f64 (.f64 (.f64 w w) (.f64 -3 (.f64 r r))))) (.f64 v v)) (fma.f64 1/8 (.f64 v (fma.f64 -2 (.f64 (.f64 w w) (.f64 r r)) (neg.f64 (.f64 (.f64 w w) (.f64 -3 (.f64 r r)))))) (.f64 1/8 (.f64 (fma.f64 -2 (.f64 (.f64 w w) (.f64 r r)) (neg.f64 (.f64 (.f64 w w) (.f64 -3 (*.f64 r r))))) (pow.f64 v 3))))))
(fma.f64 3/8 (.f64 w (.f64 (.f64 r r) w)) (fma.f64 1/8 (.f64 (.f64 w (.f64 (.f64 r r) w)) (.f64 v v)) (.f64 1/8 (+.f64 (.f64 (.f64 r r) (.f64 v (.f64 w w))) (.f64 (.f64 w (.f64 (*.f64 r r) w)) (pow.f64 v 3))))))
(.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(.f64 (.f64 w w) (.f64 1/4 (.f64 r r)))
(.f64 (.f64 w w) (.f64 r (.f64 1/4 r)))
(+.f64 (.f64 1/8 (/.f64 (-.f64 (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2)))) v)) (.f64 1/4 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(fma.f64 1/8 (/.f64 (-.f64 (.f64 (.f64 w w) (.f64 -3 (.f64 r r))) (.f64 (.f64 w w) (.f64 -2 (.f64 r r)))) v) (.f64 (.f64 w w) (.f64 1/4 (.f64 r r))))
(fma.f64 (.f64 w w) (.f64 r (.f64 1/4 r)) (/.f64 1/8 (/.f64 (neg.f64 v) (.f64 w (.f64 (.f64 r r) w)))))
(fma.f64 1/8 (/.f64 (.f64 w (.f64 (.f64 r r) w)) (neg.f64 v)) (.f64 (.f64 w w) (.f64 r (*.f64 1/4 r))))
(+.f64 (.f64 1/8 (/.f64 (-.f64 (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2)))) v)) (+.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 1/8 (/.f64 (-.f64 (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (pow.f64 v 2)))))
(fma.f64 1/8 (/.f64 (-.f64 (.f64 (.f64 w w) (.f64 -3 (.f64 r r))) (.f64 (.f64 w w) (.f64 -2 (.f64 r r)))) v) (fma.f64 1/4 (.f64 (.f64 w w) (.f64 r r)) (.f64 1/8 (/.f64 (-.f64 (.f64 (.f64 w w) (.f64 -3 (.f64 r r))) (.f64 (.f64 w w) (.f64 -2 (.f64 r r)))) (*.f64 v v)))))
(fma.f64 1/8 (/.f64 (-.f64 0 (.f64 w (.f64 (.f64 r r) w))) v) (fma.f64 (.f64 w w) (.f64 r (.f64 1/4 r)) (/.f64 1/8 (.f64 v (/.f64 (neg.f64 v) (.f64 w (.f64 (.f64 r r) w)))))))
(fma.f64 (.f64 w w) (.f64 r (.f64 1/4 r)) (.f64 1/8 (+.f64 (/.f64 (.f64 w (.f64 (.f64 r r) w)) (neg.f64 v)) (/.f64 (.f64 w (.f64 (.f64 r r) w)) (neg.f64 (*.f64 v v))))))
(+.f64 (.f64 1/8 (/.f64 (-.f64 (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -2 (.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 (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -2 (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (pow.f64 v 2))) (.f64 1/8 (/.f64 (-.f64 (.f64 -3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -2 (*.f64 (pow.f64 w 2) (pow.f64 r 2)))) (pow.f64 v 3))))))
(fma.f64 1/8 (/.f64 (-.f64 (.f64 (.f64 w w) (.f64 -3 (.f64 r r))) (.f64 (.f64 w w) (.f64 -2 (.f64 r r)))) v) (fma.f64 1/4 (.f64 (.f64 w w) (.f64 r r)) (fma.f64 1/8 (/.f64 (-.f64 (.f64 (.f64 w w) (.f64 -3 (.f64 r r))) (.f64 (.f64 w w) (.f64 -2 (.f64 r r)))) (.f64 v v)) (.f64 1/8 (/.f64 (-.f64 (.f64 (.f64 w w) (.f64 -3 (.f64 r r))) (.f64 (.f64 w w) (.f64 -2 (*.f64 r r)))) (pow.f64 v 3))))))
(fma.f64 (.f64 w w) (.f64 r (.f64 1/4 r)) (fma.f64 1/8 (/.f64 (-.f64 0 (.f64 w (.f64 (.f64 r r) w))) v) (fma.f64 1/8 (/.f64 (-.f64 0 (.f64 w (.f64 (.f64 r r) w))) (pow.f64 v 3)) (/.f64 1/8 (.f64 v (/.f64 (neg.f64 v) (.f64 w (.f64 (*.f64 r r) w))))))))
(fma.f64 (.f64 w w) (.f64 r (.f64 1/4 r)) (fma.f64 1/8 (/.f64 (.f64 w (.f64 (.f64 r r) w)) (neg.f64 v)) (.f64 1/8 (+.f64 (/.f64 (.f64 w (.f64 (.f64 r r) w)) (neg.f64 (.f64 v v))) (/.f64 (.f64 w (.f64 (.f64 r r) w)) (neg.f64 (pow.f64 v 3)))))))
(.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(.f64 (.f64 w w) (.f64 1/4 (.f64 r r)))
(.f64 (.f64 w w) (.f64 r (.f64 1/4 r)))
(+.f64 (.f64 1/4 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 -1/8 (/.f64 (-.f64 (.f64 3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 2 (*.f64 (pow.f64 w 2) (pow.f64 r 2)))) v)))
(fma.f64 1/4 (.f64 (.f64 w w) (.f64 r r)) (.f64 -1/8 (/.f64 (-.f64 (.f64 (.f64 w w) (.f64 3 (.f64 r r))) (.f64 2 (.f64 (.f64 w w) (.f64 r r)))) v)))
(fma.f64 (.f64 w w) (.f64 r (.f64 1/4 r)) (/.f64 (.f64 w (.f64 (.f64 r r) w)) (/.f64 v -1/8)))
(+.f64 (.f64 1/8 (/.f64 (-.f64 (.f64 2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 3 (.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 -1/8 (/.f64 (-.f64 (.f64 3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 2 (.f64 (pow.f64 w 2) (pow.f64 r 2)))) v))))
(fma.f64 1/8 (/.f64 (fma.f64 2 (.f64 (.f64 w w) (.f64 r r)) (neg.f64 (.f64 (.f64 w w) (.f64 3 (.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) (.f64 3 (.f64 r r))) (.f64 2 (.f64 (.f64 w w) (.f64 r r)))) v))))
(fma.f64 (.f64 w w) (.f64 r (.f64 1/4 r)) (fma.f64 1/8 (/.f64 (-.f64 0 (.f64 w (.f64 (.f64 r r) w))) (.f64 v v)) (/.f64 (.f64 w (.f64 (.f64 r r) w)) (/.f64 v -1/8))))
(fma.f64 (.f64 w w) (.f64 r (.f64 1/4 r)) (fma.f64 1/8 (/.f64 (.f64 w (.f64 (.f64 r r) w)) (neg.f64 (.f64 v v))) (/.f64 (.f64 w (.f64 (.f64 r r) w)) (/.f64 v -1/8))))
(+.f64 (.f64 -1/8 (/.f64 (-.f64 (.f64 3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 2 (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (pow.f64 v 3))) (+.f64 (.f64 1/8 (/.f64 (-.f64 (.f64 2 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 3 (.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 -1/8 (/.f64 (-.f64 (.f64 3 (.f64 (pow.f64 w 2) (pow.f64 r 2))) (.f64 2 (*.f64 (pow.f64 w 2) (pow.f64 r 2)))) v)))))
(fma.f64 -1/8 (/.f64 (-.f64 (.f64 (.f64 w w) (.f64 3 (.f64 r r))) (.f64 2 (.f64 (.f64 w w) (.f64 r r)))) (pow.f64 v 3)) (fma.f64 1/8 (/.f64 (fma.f64 2 (.f64 (.f64 w w) (.f64 r r)) (neg.f64 (.f64 (.f64 w w) (.f64 3 (.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) (.f64 3 (.f64 r r))) (.f64 2 (.f64 (.f64 w w) (.f64 r r)))) v)))))
(fma.f64 1/8 (/.f64 (-.f64 0 (.f64 w (.f64 (.f64 r r) w))) (.f64 v v)) (fma.f64 -1/8 (/.f64 (.f64 w (.f64 (.f64 r r) w)) (pow.f64 v 3)) (fma.f64 (.f64 w w) (.f64 r (.f64 1/4 r)) (/.f64 (.f64 w (.f64 (*.f64 r r) w)) (/.f64 v -1/8)))))
(fma.f64 1/8 (/.f64 (.f64 w (.f64 (.f64 r r) w)) (neg.f64 (.f64 v v))) (fma.f64 -1/8 (/.f64 (.f64 w (.f64 (.f64 r r) w)) (pow.f64 v 3)) (fma.f64 (.f64 w w) (.f64 r (.f64 1/4 r)) (/.f64 (.f64 w (.f64 (*.f64 r r) w)) (/.f64 v -1/8)))))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 (.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r)))) (-.f64 1 v))
(.f64 (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))) (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 (.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r)))) (-.f64 1 v))
(.f64 (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))) (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 (.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r)))) (-.f64 1 v))
(.f64 (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))) (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 (.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r)))) (-.f64 1 v))
(.f64 (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))) (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 (.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r)))) (-.f64 1 v))
(.f64 (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))) (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 (.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r)))) (-.f64 1 v))
(.f64 (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))) (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 (.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r)))) (-.f64 1 v))
(.f64 (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))) (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 (.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r)))) (-.f64 1 v))
(.f64 (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))) (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 (.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r)))) (-.f64 1 v))
(.f64 (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))) (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 (.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r)))) (-.f64 1 v))
(.f64 (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))) (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 (.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r)))) (-.f64 1 v))
(.f64 (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))) (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 (.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r)))) (-.f64 1 v))
(.f64 (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))) (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 (.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r)))) (-.f64 1 v))
(.f64 (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))) (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 (.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r)))) (-.f64 1 v))
(.f64 (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))) (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 (.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r)))) (-.f64 1 v))
(.f64 (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))) (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 (.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r)))) (-.f64 1 v))
(.f64 (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))) (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 (.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r)))) (-.f64 1 v))
(.f64 (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))) (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 (.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r)))) (-.f64 1 v))
(.f64 (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))) (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 (.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r)))) (-.f64 1 v))
(.f64 (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))) (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 (.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r)))) (-.f64 1 v))
(.f64 (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))) (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 (.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r)))) (-.f64 1 v))
(.f64 (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))) (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 (.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r)))) (-.f64 1 v))
(.f64 (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))) (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 (.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r)))) (-.f64 1 v))
(.f64 (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))) (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v)))
(.f64 1/8 (/.f64 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))) (-.f64 1 v)))
(/.f64 (.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r)))) (-.f64 1 v))
(.f64 (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))) (/.f64 (-.f64 3 (.f64 2 v)) (-.f64 1 v)))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(*.f64 (pow.f64 w 2) (pow.f64 r 2))
(.f64 (.f64 w w) (*.f64 r r))
(.f64 w (.f64 (*.f64 r r) w))
(.f64 3/8 (.f64 (pow.f64 w 2) (pow.f64 r 2)))
(.f64 3/8 (.f64 (.f64 w w) (.f64 r r)))
(.f64 3/8 (.f64 w (.f64 (.f64 r r) w)))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(fma.f64 -1/4 (.f64 (.f64 w w) (.f64 v (.f64 r r))) (.f64 3/8 (.f64 (.f64 w w) (.f64 r r))))
(fma.f64 3/8 (.f64 w (.f64 (.f64 r r) w)) (.f64 (.f64 w (.f64 (.f64 r r) w)) (.f64 -1/4 v)))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(fma.f64 -1/4 (.f64 (.f64 w w) (.f64 v (.f64 r r))) (.f64 3/8 (.f64 (.f64 w w) (.f64 r r))))
(fma.f64 3/8 (.f64 w (.f64 (.f64 r r) w)) (.f64 (.f64 w (.f64 (.f64 r r) w)) (.f64 -1/4 v)))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(fma.f64 -1/4 (.f64 (.f64 w w) (.f64 v (.f64 r r))) (.f64 3/8 (.f64 (.f64 w w) (.f64 r r))))
(fma.f64 3/8 (.f64 w (.f64 (.f64 r r) w)) (.f64 (.f64 w (.f64 (.f64 r r) w)) (.f64 -1/4 v)))
(.f64 -1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 v (.f64 -1/4 (.f64 (.f64 w w) (*.f64 r r))))
(.f64 (.f64 w (.f64 (.f64 r r) w)) (*.f64 -1/4 v))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(fma.f64 -1/4 (.f64 (.f64 w w) (.f64 v (.f64 r r))) (.f64 3/8 (.f64 (.f64 w w) (.f64 r r))))
(fma.f64 3/8 (.f64 w (.f64 (.f64 r r) w)) (.f64 (.f64 w (.f64 (.f64 r r) w)) (.f64 -1/4 v)))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(fma.f64 -1/4 (.f64 (.f64 w w) (.f64 v (.f64 r r))) (.f64 3/8 (.f64 (.f64 w w) (.f64 r r))))
(fma.f64 3/8 (.f64 w (.f64 (.f64 r r) w)) (.f64 (.f64 w (.f64 (.f64 r r) w)) (.f64 -1/4 v)))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(fma.f64 -1/4 (.f64 (.f64 w w) (.f64 v (.f64 r r))) (.f64 3/8 (.f64 (.f64 w w) (.f64 r r))))
(fma.f64 3/8 (.f64 w (.f64 (.f64 r r) w)) (.f64 (.f64 w (.f64 (.f64 r r) w)) (.f64 -1/4 v)))
(.f64 -1/4 (.f64 v (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 v (.f64 -1/4 (.f64 (.f64 w w) (*.f64 r r))))
(.f64 (.f64 w (.f64 (.f64 r r) w)) (*.f64 -1/4 v))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(fma.f64 -1/4 (.f64 (.f64 w w) (.f64 v (.f64 r r))) (.f64 3/8 (.f64 (.f64 w w) (.f64 r r))))
(fma.f64 3/8 (.f64 w (.f64 (.f64 r r) w)) (.f64 (.f64 w (.f64 (.f64 r r) w)) (.f64 -1/4 v)))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(fma.f64 -1/4 (.f64 (.f64 w w) (.f64 v (.f64 r r))) (.f64 3/8 (.f64 (.f64 w w) (.f64 r r))))
(fma.f64 3/8 (.f64 w (.f64 (.f64 r r) w)) (.f64 (.f64 w (.f64 (.f64 r r) w)) (.f64 -1/4 v)))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (pow.f64 w 2) (pow.f64 r 2)))) (.f64 3/8 (*.f64 (pow.f64 w 2) (pow.f64 r 2))))
(fma.f64 -1/4 (.f64 (.f64 w w) (.f64 v (.f64 r r))) (.f64 3/8 (.f64 (.f64 w w) (.f64 r r))))
(fma.f64 3/8 (.f64 w (.f64 (.f64 r r) w)) (.f64 (.f64 w (.f64 (.f64 r r) w)) (.f64 -1/4 v)))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (-.f64 3 (.f64 2 v)) (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (-.f64 3 (.f64 2 v)) (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (-.f64 3 (.f64 2 v)) (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (-.f64 3 (.f64 2 v)) (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (-.f64 3 (.f64 2 v)) (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (-.f64 3 (.f64 2 v)) (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (-.f64 3 (.f64 2 v)) (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (-.f64 3 (.f64 2 v)) (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (-.f64 3 (.f64 2 v)) (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (-.f64 3 (.f64 2 v)) (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (-.f64 3 (.f64 2 v)) (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (-.f64 3 (.f64 2 v)) (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (-.f64 3 (.f64 2 v)) (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (-.f64 3 (.f64 2 v)) (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (-.f64 3 (.f64 2 v)) (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (-.f64 3 (.f64 2 v)) (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (-.f64 3 (.f64 2 v)) (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (-.f64 3 (.f64 2 v)) (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (-.f64 3 (.f64 2 v)) (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (-.f64 3 (.f64 2 v)) (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (-.f64 3 (.f64 2 v)) (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (-.f64 3 (.f64 2 v)) (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (-.f64 3 (.f64 2 v)) (.f64 (.f64 w w) (.f64 1/8 (.f64 r r))))
(.f64 1/8 (.f64 (-.f64 3 (.f64 2 v)) (.f64 (pow.f64 w 2) (pow.f64 r 2))))
(.f64 1/8 (.f64 (.f64 w w) (.f64 (-.f64 3 (.f64 2 v)) (.f64 r r))))
(.f64 (-.f64 3 (.f64 2 v)) (.f64 (.f64 w w) (.f64 1/8 (.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 2 (pow.f64 r 2))
(/.f64 2 (*.f64 r r))

prune188.0ms (3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	77	6	83
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	81	10	91

Error

0.3b

Counts

91 → 10

Alt Table

Status	Error	Program
	8.1b	(-.f64 (-.f64 (+.f64 3 (.f64 (.f64 (cbrt.f64 (/.f64 2 (.f64 r r))) (cbrt.f64 (/.f64 2 (.f64 r r)))) (cbrt.f64 (/.f64 2 (.f64 r r))))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 w (*.f64 r w)) r)) (-.f64 1 v))) 9/2)
	14.3b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (.f64 (.f64 r (.f64 (.f64 w w) r)) (+.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (-.f64 3/8 (.f64 1/8 (.f64 2 v))))) (/.f64 -1/2 (+.f64 v -1)))) 9/2)
	16.4b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (fma.f64 3/8 (.f64 w (.f64 (.f64 r r) w)) (.f64 (.f64 w (.f64 (.f64 r r) w)) (*.f64 -1/4 v))) (-.f64 1 v))) 9/2)
	9.6b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (cbrt.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v)))) (.f64 (cbrt.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v)))) (cbrt.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (*.f64 w w) r)) (-.f64 1 v))))))) 9/2)
	18.6b	(+.f64 (/.f64 2 (.f64 r r)) (-.f64 -3/2 (.f64 (.f64 r r) (/.f64 (.f64 w w) (/.f64 (+.f64 v -1) (fma.f64 v 1/4 -3/8))))))
	29.4b	(-.f64 (-.f64 (+.f64 3 (cbrt.f64 (.f64 (.f64 (/.f64 2 (.f64 r r)) (/.f64 2 (.f64 r r))) (/.f64 2 (.f64 r r))))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 w (*.f64 r w)) r)) (-.f64 1 v))) 9/2)
▶	7.8b	(-.f64 (-.f64 (+.f64 3 (.f64 (sqrt.f64 (/.f64 2 (.f64 r r))) (sqrt.f64 (/.f64 2 (.f64 r r))))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 w (*.f64 r w)) r)) (-.f64 1 v))) 9/2)
	9.3b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (.f64 r (.f64 (.f64 w w) r)) (.f64 1/8 (/.f64 (-.f64 3 (*.f64 2 v)) (-.f64 1 v))))) 9/2)
	23.7b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (fma.f64 3/8 (.f64 w (.f64 (.f64 r r) w)) (.f64 (.f64 w (.f64 (.f64 r r) w)) (*.f64 1/8 v)))) 9/2)
	17.4b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 3/8 (.f64 w (.f64 (*.f64 r r) w)))) 9/2)

Compiler

Compiled 3953 to 2487 computations (37.1% saved)

localize20.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	3.4b	(.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 w (.f64 r w)) r))
	4.1b	(.f64 (.f64 w (*.f64 r w)) r)
	5.7b	(/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 w (.f64 r w)) r)) (-.f64 1 v))
✓	12.4b	(sqrt.f64 (/.f64 2 (*.f64 r r)))

series2.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite35.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

649×	`rules-30_binary64`
649×	`rules-31_binary64`
649×	`rules-32_binary64`
649×	`rules-33_binary64`
596×	`rules-27_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	157	6
2	2000	6

Stop Event

1×	node limit

Counts

1 → 42

Calls

Call 1

Inputs
(sqrt.f64 (/.f64 2 (*.f64 r r)))

Outputs

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

simplify42.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

435×	`rule-a-/a1_binary64`
424×	`rule-a-*a1_binary64`
369×	`rule-a--a0_binary64`
369×	`rule-a-+a0_binary64`
313×	`fma-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	72
1	46	72
2	165	72
3	711	72
4	3549	72

Stop Event

1×	node limit

Counts

54 → 43

Calls

Call 1

Inputs
(/.f64 (sqrt.f64 2) r)
(/.f64 (sqrt.f64 2) r)
(/.f64 (sqrt.f64 2) r)
(/.f64 (sqrt.f64 2) r)
(/.f64 (sqrt.f64 2) r)
(/.f64 (sqrt.f64 2) r)
(/.f64 (sqrt.f64 2) r)
(/.f64 (sqrt.f64 2) r)
(*.f64 -1 (/.f64 (sqrt.f64 2) r))
(*.f64 -1 (/.f64 (sqrt.f64 2) r))
(*.f64 -1 (/.f64 (sqrt.f64 2) r))
(*.f64 -1 (/.f64 (sqrt.f64 2) r))

Outputs
(/.f64 (sqrt.f64 2) r)
(/.f64 (sqrt.f64 2) r)
(/.f64 (sqrt.f64 2) r)
(/.f64 (sqrt.f64 2) r)
(/.f64 (sqrt.f64 2) r)
(/.f64 (sqrt.f64 2) r)
(/.f64 (sqrt.f64 2) r)
(/.f64 (sqrt.f64 2) r)
(*.f64 -1 (/.f64 (sqrt.f64 2) r))
(/.f64 (sqrt.f64 2) r)
(*.f64 -1 (/.f64 (sqrt.f64 2) r))
(/.f64 (sqrt.f64 2) r)
(*.f64 -1 (/.f64 (sqrt.f64 2) r))
(/.f64 (sqrt.f64 2) r)
(*.f64 -1 (/.f64 (sqrt.f64 2) r))
(/.f64 (sqrt.f64 2) r)

prune361.0ms (5.8%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	149	4	153
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	150	13	163

Error

0.3b

Counts

163 → 13

Alt Table

Status	Error	Program
	8.1b	(-.f64 (-.f64 (+.f64 3 (.f64 (.f64 (cbrt.f64 (/.f64 2 (.f64 r r))) (cbrt.f64 (/.f64 2 (.f64 r r)))) (cbrt.f64 (/.f64 2 (.f64 r r))))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 w (*.f64 r w)) r)) (-.f64 1 v))) 9/2)
	14.3b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (.f64 (.f64 r (.f64 (.f64 w w) r)) (+.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (-.f64 3/8 (.f64 1/8 (.f64 2 v))))) (/.f64 -1/2 (+.f64 v -1)))) 9/2)
	16.4b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (fma.f64 3/8 (.f64 w (.f64 (.f64 r r) w)) (.f64 (.f64 w (.f64 (.f64 r r) w)) (*.f64 -1/4 v))) (-.f64 1 v))) 9/2)
	7.9b	(-.f64 (-.f64 (+.f64 3 (.f64 (sqrt.f64 (/.f64 2 (.f64 r r))) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (/.f64 2 (.f64 r r))) 2)) (sqrt.f64 (cbrt.f64 (/.f64 2 (.f64 r r))))))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 w (*.f64 r w)) r)) (-.f64 1 v))) 9/2)
	9.6b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (cbrt.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v)))) (.f64 (cbrt.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v)))) (cbrt.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (*.f64 w w) r)) (-.f64 1 v))))))) 9/2)
	24.0b	(-.f64 (-.f64 (+.f64 3 (.f64 (sqrt.f64 (/.f64 2 (.f64 r r))) (.f64 (cbrt.f64 (/.f64 (sqrt.f64 2) r)) (cbrt.f64 (/.f64 2 (.f64 r r)))))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 w (.f64 r w)) r)) (-.f64 1 v))) 9/2)
	9.3b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (.f64 r (.f64 (.f64 w w) r)) (.f64 1/8 (/.f64 (-.f64 3 (*.f64 2 v)) (-.f64 1 v))))) 9/2)
	18.6b	(+.f64 (/.f64 2 (.f64 r r)) (-.f64 -3/2 (.f64 (.f64 r r) (/.f64 (.f64 w w) (/.f64 (+.f64 v -1) (fma.f64 v 1/4 -3/8))))))
	27.4b	(-.f64 (-.f64 (+.f64 3 (.f64 (sqrt.f64 (/.f64 2 (.f64 r r))) (cbrt.f64 (pow.f64 (/.f64 (sqrt.f64 2) r) 3)))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 w (.f64 r w)) r)) (-.f64 1 v))) 9/2)
▶	7.8b	(-.f64 (-.f64 (+.f64 3 (.f64 (sqrt.f64 (/.f64 2 (.f64 r r))) (fabs.f64 (/.f64 (sqrt.f64 2) r)))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 w (.f64 r w)) r)) (-.f64 1 v))) 9/2)
✓	7.8b	(-.f64 (-.f64 (+.f64 3 (.f64 (sqrt.f64 (/.f64 2 (.f64 r r))) (sqrt.f64 (/.f64 2 (.f64 r r))))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 w (*.f64 r w)) r)) (-.f64 1 v))) 9/2)
	23.7b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (fma.f64 3/8 (.f64 w (.f64 (.f64 r r) w)) (.f64 (.f64 w (.f64 (.f64 r r) w)) (*.f64 1/8 v)))) 9/2)
	17.4b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 3/8 (.f64 w (.f64 (*.f64 r r) w)))) 9/2)

Compiler

Compiled 7620 to 4908 computations (35.6% saved)

localize22.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	3.4b	(.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 w (.f64 r w)) r))
	4.1b	(.f64 (.f64 w (*.f64 r w)) r)
	5.7b	(/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 w (.f64 r w)) r)) (-.f64 1 v))
	12.4b	(sqrt.f64 (/.f64 2 (*.f64 r r)))

prune310.0ms (4.9%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	108	2	110
Fresh	2	9	11
Picked	1	0	1
Done	0	1	1
Total	111	12	123

Error

0.2b

Counts

123 → 12

Alt Table

Status	Error	Program
	8.1b	(-.f64 (-.f64 (+.f64 3 (.f64 (.f64 (cbrt.f64 (/.f64 2 (.f64 r r))) (cbrt.f64 (/.f64 2 (.f64 r r)))) (cbrt.f64 (/.f64 2 (.f64 r r))))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 w (*.f64 r w)) r)) (-.f64 1 v))) 9/2)
	14.3b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (.f64 (.f64 r (.f64 (.f64 w w) r)) (+.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (-.f64 3/8 (.f64 1/8 (.f64 2 v))))) (/.f64 -1/2 (+.f64 v -1)))) 9/2)
	16.4b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (fma.f64 3/8 (.f64 w (.f64 (.f64 r r) w)) (.f64 (.f64 w (.f64 (.f64 r r) w)) (*.f64 -1/4 v))) (-.f64 1 v))) 9/2)
	17.5b	(-.f64 (-.f64 (+.f64 3 (.f64 (sqrt.f64 (/.f64 2 (.f64 r r))) (fabs.f64 (/.f64 (sqrt.f64 2) r)))) (.f64 3/8 (.f64 w (.f64 (.f64 r r) w)))) 9/2)
	9.6b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (cbrt.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v)))) (.f64 (cbrt.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (.f64 w w) r)) (-.f64 1 v)))) (cbrt.f64 (.f64 (-.f64 3/8 (.f64 1/8 (.f64 2 v))) (/.f64 (.f64 r (.f64 (*.f64 w w) r)) (-.f64 1 v))))))) 9/2)
	24.0b	(-.f64 (-.f64 (+.f64 3 (.f64 (sqrt.f64 (/.f64 2 (.f64 r r))) (.f64 (cbrt.f64 (/.f64 (sqrt.f64 2) r)) (cbrt.f64 (/.f64 2 (.f64 r r)))))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 w (.f64 r w)) r)) (-.f64 1 v))) 9/2)
	9.3b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (.f64 r (.f64 (.f64 w w) r)) (.f64 1/8 (/.f64 (-.f64 3 (*.f64 2 v)) (-.f64 1 v))))) 9/2)
	7.9b	(-.f64 (-.f64 (+.f64 3 (.f64 (fabs.f64 (/.f64 (sqrt.f64 2) r)) (fabs.f64 (/.f64 (sqrt.f64 2) r)))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 w (*.f64 r w)) r)) (-.f64 1 v))) 9/2)
	18.6b	(+.f64 (/.f64 2 (.f64 r r)) (-.f64 -3/2 (.f64 (.f64 r r) (/.f64 (.f64 w w) (/.f64 (+.f64 v -1) (fma.f64 v 1/4 -3/8))))))
✓	7.8b	(-.f64 (-.f64 (+.f64 3 (.f64 (sqrt.f64 (/.f64 2 (.f64 r r))) (sqrt.f64 (/.f64 2 (.f64 r r))))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 w (*.f64 r w)) r)) (-.f64 1 v))) 9/2)
	23.7b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (fma.f64 3/8 (.f64 w (.f64 (.f64 r r) w)) (.f64 (.f64 w (.f64 (.f64 r r) w)) (*.f64 1/8 v)))) 9/2)
	17.4b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 3/8 (.f64 w (.f64 (*.f64 r r) w)))) 9/2)

Compiler

Compiled 5239 to 3512 computations (33% saved)

regimes345.0ms (5.5%)

Accuracy

Total -35.8b remaining (-1558.4%)

Threshold costs -35.8b (-1558.4%)

Counts

41 → 5

Compiler

Compiled 1468 to 932 computations (36.5% saved)

bsearch76.0ms (1.2%)

Algorithm

4×	binary-search

Calls

4 calls:

33.0ms	w
33.0ms	w
5.0ms	w
4.0ms	w

Steps

Iters	Point		Range
1e+160	∈ [	3.0865342671704723e+151	,	3.688322123855386e+162	]
7.2107315068699966e-180	∈ [	7.2107315068699966e-180	,	7.910894886534034e-176	]
-1.599018522345869e-146	∈ [	-1.599018522345869e-146	,	-5.816074351483628e-149	]
-1e+155	∈ [	-3.4074720528016554e+156	,	-1.942284561894045e+150	]

Compiler

Compiled 157 to 117 computations (25.5% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	221
1	60	221

Stop Event

1×

saturated

Calls

Call 1

Inputs

(if (<=.f64 w -100000000000000000717623154091016830408061481189160311806712772146250661680488340128266606984576189330386573813296762136260081534229469225952733653677113344) (-.f64 (-.f64 (+.f64 3 (/.f64 2 (*.f64 r r))) (*.f64 3/8 (*.f64 w (*.f64 (*.f64 r r) w)))) 9/2) (if (<=.f64 w -920812350452724224/57586096570152913699974892898380567793532123114264532903689671329431521032595044740083720782129802971518987656109067457577065805510327036019308994315074097345724416) (-.f64 (-.f64 (+.f64 3 (/.f64 2 (*.f64 r r))) (*.f64 (*.f64 r (*.f64 (*.f64 w w) r)) (*.f64 1/8 (/.f64 (-.f64 3 (*.f64 2 v)) (-.f64 1 v))))) 9/2) (if (<=.f64 w 8422024783286213/1167984798111281975972139931059274579172666497855631342228273284582214442805421410945513679697247078343332431250840168271536308408672112127552681297848886832192510636636227827221215793215130566656) (-.f64 (-.f64 (+.f64 3 (/.f64 2 (*.f64 r r))) (/.f64 (*.f64 (*.f64 1/8 (-.f64 3 (*.f64 2 v))) (*.f64 (*.f64 w (*.f64 r w)) r)) (-.f64 1 v))) 9/2) (if (<=.f64 w 10000000000000000065284077450682265568456642148886267118448844545520511777838181142510337509988867035816342470187175785193750117648543530356184548650438281396224) (-.f64 (-.f64 (+.f64 3 (/.f64 2 (*.f64 r r))) (*.f64 (*.f64 r (*.f64 (*.f64 w w) r)) (*.f64 1/8 (/.f64 (-.f64 3 (*.f64 2 v)) (-.f64 1 v))))) 9/2) (-.f64 (-.f64 (+.f64 3 (*.f64 (sqrt.f64 (/.f64 2 (*.f64 r r))) (fabs.f64 (/.f64 (sqrt.f64 2) r)))) (*.f64 3/8 (*.f64 w (*.f64 (*.f64 r r) w)))) 9/2)))))

Outputs

(if (<=.f64 w -100000000000000000717623154091016830408061481189160311806712772146250661680488340128266606984576189330386573813296762136260081534229469225952733653677113344) (-.f64 (-.f64 (+.f64 3 (/.f64 2 (*.f64 r r))) (*.f64 3/8 (*.f64 w (*.f64 (*.f64 r r) w)))) 9/2) (if (<=.f64 w -920812350452724224/57586096570152913699974892898380567793532123114264532903689671329431521032595044740083720782129802971518987656109067457577065805510327036019308994315074097345724416) (-.f64 (-.f64 (+.f64 3 (/.f64 2 (*.f64 r r))) (*.f64 (*.f64 r (*.f64 (*.f64 w w) r)) (*.f64 1/8 (/.f64 (-.f64 3 (*.f64 2 v)) (-.f64 1 v))))) 9/2) (if (<=.f64 w 8422024783286213/1167984798111281975972139931059274579172666497855631342228273284582214442805421410945513679697247078343332431250840168271536308408672112127552681297848886832192510636636227827221215793215130566656) (-.f64 (-.f64 (+.f64 3 (/.f64 2 (*.f64 r r))) (/.f64 (*.f64 (*.f64 1/8 (-.f64 3 (*.f64 2 v))) (*.f64 (*.f64 w (*.f64 r w)) r)) (-.f64 1 v))) 9/2) (if (<=.f64 w 10000000000000000065284077450682265568456642148886267118448844545520511777838181142510337509988867035816342470187175785193750117648543530356184548650438281396224) (-.f64 (-.f64 (+.f64 3 (/.f64 2 (*.f64 r r))) (*.f64 (*.f64 r (*.f64 (*.f64 w w) r)) (*.f64 1/8 (/.f64 (-.f64 3 (*.f64 2 v)) (-.f64 1 v))))) 9/2) (-.f64 (-.f64 (+.f64 3 (*.f64 (sqrt.f64 (/.f64 2 (*.f64 r r))) (fabs.f64 (/.f64 (sqrt.f64 2) r)))) (*.f64 3/8 (*.f64 w (*.f64 (*.f64 r r) w)))) 9/2)))))

(if (<=.f64 w -100000000000000000717623154091016830408061481189160311806712772146250661680488340128266606984576189330386573813296762136260081534229469225952733653677113344) (-.f64 (-.f64 (+.f64 3 (/.f64 2 (*.f64 r r))) (*.f64 3/8 (*.f64 w (*.f64 (*.f64 r r) w)))) 9/2) (if (<=.f64 w -1798461621977977/112472844863579909570263462692149546471742427957547915827518889315295939516787196757976017152597271428748022765838022378080206651387357492225212879521629096378368) (-.f64 (-.f64 (+.f64 3 (/.f64 2 (*.f64 r r))) (*.f64 (*.f64 r (*.f64 (*.f64 w w) r)) (*.f64 1/8 (/.f64 (-.f64 3 (*.f64 2 v)) (-.f64 1 v))))) 9/2) (if (<=.f64 w 8422024783286213/1167984798111281975972139931059274579172666497855631342228273284582214442805421410945513679697247078343332431250840168271536308408672112127552681297848886832192510636636227827221215793215130566656) (-.f64 (-.f64 (+.f64 3 (/.f64 2 (*.f64 r r))) (/.f64 (*.f64 (*.f64 1/8 (-.f64 3 (*.f64 2 v))) (*.f64 (*.f64 w (*.f64 r w)) r)) (-.f64 1 v))) 9/2) (if (<=.f64 w 10000000000000000065284077450682265568456642148886267118448844545520511777838181142510337509988867035816342470187175785193750117648543530356184548650438281396224) (-.f64 (-.f64 (+.f64 3 (/.f64 2 (*.f64 r r))) (*.f64 (*.f64 r (*.f64 (*.f64 w w) r)) (*.f64 1/8 (/.f64 (-.f64 3 (*.f64 2 v)) (-.f64 1 v))))) 9/2) (-.f64 (-.f64 (+.f64 3 (*.f64 (sqrt.f64 (/.f64 2 (*.f64 r r))) (fabs.f64 (/.f64 (sqrt.f64 2) r)))) (*.f64 3/8 (*.f64 w (*.f64 (*.f64 r r) w)))) 9/2)))))

end234.0ms (3.7%)

Stop Event

1×

fuel

Compiler

Compiled 734 to 446 computations (39.2% saved)

Details

analyze1.5s (24.7%)

sample2.4s (38.2%)

preprocess37.0ms (0.6%)

simplify40.0ms (0.6%)

prune5.0ms (0.1%)

localize18.0ms (0.3%)

series26.0ms (0.4%)

rewrite40.0ms (0.6%)

simplify60.0ms (1%)

prune335.0ms (5.3%)

localize21.0ms (0.3%)

series9.0ms (0.1%)

rewrite38.0ms (0.6%)

simplify58.0ms (0.9%)

prune188.0ms (3%)

localize20.0ms (0.3%)

series2.0ms (0%)

rewrite35.0ms (0.6%)

simplify42.0ms (0.7%)

prune361.0ms (5.8%)

localize22.0ms (0.3%)

prune310.0ms (4.9%)

regimes345.0ms (5.5%)

bsearch76.0ms (1.2%)

simplify3.0ms (0%)

end234.0ms (3.7%)

Profiling