Metrics for Falkner and Boettcher, Appendix B, 2

analyze4.0ms (0.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
0%	0%	50%	0%	0%	50%	0%	3
50%	25%	25%	0%	0%	50%	0%	4
75%	37.5%	12.5%	0%	0%	50%	0%	5
87.5%	43.7%	6.2%	0%	0%	50%	0%	6
93.8%	46.9%	3.1%	0%	0%	50%	0%	7
96.9%	48.4%	1.6%	0%	0%	50%	0%	8
98.4%	49.2%	0.8%	0%	0%	50%	0%	9
99.2%	49.6%	0.4%	0%	0%	50%	0%	10
99.6%	49.8%	0.2%	0%	0%	50%	0%	11
99.8%	49.9%	0.1%	0%	0%	50%	0%	12

Compiler

Compiled 21 to 16 computations (23.8% saved)

sample1.0s (34.6%)

Results

1.0s	8256×	body	256	valid
1.0ms	12×	body	256	invalid

Bogosity

preprocess174.0ms (5.8%)

Algorithm

1×	egg-herbie

Rules

1628×	`div-sub`
1590×	`sub-neg`
1484×	`unsub-neg`
740×	`fma-def`
530×	`associate-/l*`

Problems

256×

No Errors

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	27	207
1	71	207
2	149	195
3	373	195
4	968	195
5	2497	183
6	4729	183
7	5769	183
8	7482	183

Stop Event

1×	node limit

Calls

Call 1

Inputs

(*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v)))

(*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v)))

(*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 (neg.f64 v) (neg.f64 v)))))) (-.f64 1 (*.f64 (neg.f64 v) (neg.f64 v))))

Outputs
(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (.f64 v v))))) (-.f64 1 (*.f64 v v)))
(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 (.f64 3 v) v)))) (-.f64 1 (*.f64 v v)))
(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 v (.f64 3 v))))) (-.f64 1 (*.f64 v v)))
(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (fma.f64 (.f64 v v) -3 1))) (-.f64 1 (.f64 v v)))
(.f64 (/.f64 (sqrt.f64 2) 4) (.f64 (sqrt.f64 (fma.f64 (.f64 v v) -3 1)) (-.f64 1 (.f64 v v))))
(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 (-.f64 1/4 (/.f64 (.f64 v v) 4)) (sqrt.f64 2)))
(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) (/.f64 (sqrt.f64 2) -4)))
(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (sqrt.f64 2) (/.f64 (fma.f64 v v -1) -4)))
(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (.f64 v v))))) (-.f64 1 (*.f64 v v)))
(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 (.f64 3 v) v)))) (-.f64 1 (*.f64 v v)))
(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 v (.f64 3 v))))) (-.f64 1 (*.f64 v v)))
(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (fma.f64 (.f64 v v) -3 1))) (-.f64 1 (.f64 v v)))
(.f64 (/.f64 (sqrt.f64 2) 4) (.f64 (sqrt.f64 (fma.f64 (.f64 v v) -3 1)) (-.f64 1 (.f64 v v))))
(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 (-.f64 1/4 (/.f64 (.f64 v v) 4)) (sqrt.f64 2)))
(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) (/.f64 (sqrt.f64 2) -4)))
(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (sqrt.f64 2) (/.f64 (fma.f64 v v -1) -4)))
(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (.f64 (neg.f64 v) (neg.f64 v)))))) (-.f64 1 (*.f64 (neg.f64 v) (neg.f64 v))))
(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 (.f64 3 v) v)))) (-.f64 1 (*.f64 v v)))
(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 v (.f64 3 v))))) (-.f64 1 (*.f64 v v)))
(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (fma.f64 (.f64 v v) -3 1))) (-.f64 1 (.f64 v v)))
(.f64 (/.f64 (sqrt.f64 2) 4) (.f64 (sqrt.f64 (fma.f64 (.f64 v v) -3 1)) (-.f64 1 (.f64 v v))))
(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 (-.f64 1/4 (/.f64 (.f64 v v) 4)) (sqrt.f64 2)))
(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) (/.f64 (sqrt.f64 2) -4)))
(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (sqrt.f64 2) (/.f64 (fma.f64 v v -1) -4)))

Symmetry

(abs v)

Compiler

Compiled 93 to 64 computations (31.2% saved)

eval2.0ms (0.1%)

Compiler: Compiled 127 to 93 computations (26.8% saved)

prune2.0ms (0.1%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 (.f64 3 v) v)))) (-.f64 1 (*.f64 v v)))
▶	100.0%	(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 (.f64 3 v) v)))) (-.f64 1 (*.f64 v v)))

Status

Accuracy

Program

▶

100.0%

(*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 (*.f64 3 v) v)))) (-.f64 1 (*.f64 v v)))

▶

100.0%

(*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 (*.f64 3 v) v)))) (-.f64 1 (*.f64 v v)))

Compiler

Compiled 40 to 32 computations (20% saved)

localize94.0ms (3.2%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
✓	100.0%	(sqrt.f64 (-.f64 1 (.f64 (.f64 3 v) v)))
✓	100.0%	(.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 (*.f64 3 v) v))))
✓	99.7%	(.f64 (.f64 3 v) v)

Compiler

Compiled 76 to 56 computations (26.3% saved)

series4.0ms (0.1%)

Counts

3 → 36

Calls

9 calls:

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

rewrite115.0ms (3.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1094×	`prod-diff`
974×	`log-prod`
866×	`log1p-expm1-u`
865×	`expm1-log1p-u`
314×	`fma-def`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	17	93
1	196	74
2	2452	66

Stop Event

1×	node limit

Counts

3 → 73

Calls

Call 1

Inputs
(.f64 (.f64 3 v) v)
(.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 (*.f64 3 v) v))))
(sqrt.f64 (-.f64 1 (.f64 (.f64 3 v) v)))

Outputs
(+.f64 0 (*.f64 3 (pow.f64 v 2)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 3) (pow.f64 v 2))) (cbrt.f64 (pow.f64 (exp.f64 3) (pow.f64 v 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 3) (pow.f64 v 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 3) (pow.f64 v 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 3) (pow.f64 v 2)))))
(-.f64 (fma.f64 3 (pow.f64 v 2) 1) 1)
(pow.f64 (*.f64 3 (pow.f64 v 2)) 1)
(pow.f64 (cbrt.f64 (*.f64 3 (pow.f64 v 2))) 3)
(pow.f64 (pow.f64 (*.f64 3 (pow.f64 v 2)) 3) 1/3)
(pow.f64 (*.f64 (sqrt.f64 3) v) 2)
(sqrt.f64 (pow.f64 (*.f64 3 (pow.f64 v 2)) 2))
(log.f64 (pow.f64 (exp.f64 3) (pow.f64 v 2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 3 (pow.f64 v 2)))))
(cbrt.f64 (pow.f64 (*.f64 3 (pow.f64 v 2)) 3))
(expm1.f64 (log1p.f64 (*.f64 3 (pow.f64 v 2))))
(exp.f64 (log.f64 (*.f64 3 (pow.f64 v 2))))
(exp.f64 (.f64 (log.f64 (.f64 3 (pow.f64 v 2))) 1))
(log1p.f64 (expm1.f64 (*.f64 3 (pow.f64 v 2))))
(fma.f64 1 (fma.f64 3 (pow.f64 v 2) 1) -1)
(fma.f64 (*.f64 (cbrt.f64 (fma.f64 3 (pow.f64 v 2) 1)) (cbrt.f64 (fma.f64 3 (pow.f64 v 2) 1))) (cbrt.f64 (fma.f64 3 (pow.f64 v 2) 1)) -1)
(fma.f64 (hypot.f64 1 (.f64 (sqrt.f64 3) v)) (hypot.f64 1 (.f64 (sqrt.f64 3) v)) -1)
(+.f64 0 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8)))) (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8)))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8)))) 1)
(/.f64 (sqrt.f64 2) (/.f64 4 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))
(/.f64 1 (/.f64 4 (sqrt.f64 (*.f64 2 (fma.f64 -3 (pow.f64 v 2) 1)))))
(/.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) (/.f64 4 (sqrt.f64 2)))
(/.f64 (sqrt.f64 (*.f64 2 (fma.f64 -3 (pow.f64 v 2) 1))) 4)
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (fma.f64 -3 (pow.f64 v 2) 1)))) -4)
(/.f64 (*.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) (neg.f64 (sqrt.f64 2))) -4)
(/.f64 (*.f64 (neg.f64 (sqrt.f64 2)) (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))) -4)
(pow.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8)) 1)
(pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))) 3)
(pow.f64 (pow.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8)) 3) 1/3)
(pow.f64 (sqrt.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))) 2)
(sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))
(log.f64 (exp.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8)))))
(cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8)) 3))
(cbrt.f64 (.f64 (.f64 (sqrt.f64 1/8) 1/8) (pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 3/2)))
(cbrt.f64 (.f64 (pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 3/2) (.f64 (sqrt.f64 1/8) 1/8)))
(expm1.f64 (log1p.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))))
(exp.f64 (log.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))) 1))
(log1p.f64 (expm1.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))))
(+.f64 0 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))) (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))) 1)
(*.f64 1 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))
(*.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1)
(*.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) (cbrt.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))
(*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))) (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))
(*.f64 (pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/4) (pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/4))
(*.f64 (pow.f64 1 1/2) (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 2) 1/2) (pow.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1/2))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))
(/.f64 (sqrt.f64 (-.f64 1 (pow.f64 (.f64 3 (pow.f64 v 2)) 2))) (hypot.f64 1 (.f64 (sqrt.f64 3) v)))
(/.f64 (sqrt.f64 (-.f64 1 (pow.f64 (.f64 3 (pow.f64 v 2)) 3))) (hypot.f64 1 (hypot.f64 (.f64 3 (pow.f64 v 2)) (*.f64 (sqrt.f64 3) v))))
(pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/2)
(pow.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1)
(pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))) 3)
(pow.f64 (pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 3/2) 1/3)
(pow.f64 (pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/4) 2)
(fabs.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))
(log.f64 (exp.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))))
(cbrt.f64 (pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))
(hypot.f64 1 (sqrt.f64 (*.f64 -3 (pow.f64 v 2))))
(exp.f64 (log.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))
(exp.f64 (.f64 (log1p.f64 (.f64 -3 (pow.f64 v 2))) 1/2))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))) 1))
(log1p.f64 (expm1.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))

simplify82.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

1880×	`fma-def`
702×	`fma-neg`
690×	`associate-/r*`
628×	`unswap-sqr`
566×	`*-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	267	3992
1	603	3849
2	1986	3624
3	7733	3624

Stop Event

1×	node limit

Counts

109 → 192

Calls

Call 1

Inputs
(*.f64 3 (pow.f64 v 2))
(*.f64 3 (pow.f64 v 2))
(*.f64 3 (pow.f64 v 2))
(*.f64 3 (pow.f64 v 2))
(*.f64 3 (pow.f64 v 2))
(*.f64 3 (pow.f64 v 2))
(*.f64 3 (pow.f64 v 2))
(*.f64 3 (pow.f64 v 2))
(*.f64 3 (pow.f64 v 2))
(*.f64 3 (pow.f64 v 2))
(*.f64 3 (pow.f64 v 2))
(*.f64 3 (pow.f64 v 2))
(*.f64 1/4 (sqrt.f64 2))
(+.f64 (.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(+.f64 (.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (+.f64 (.f64 -9/32 (.f64 (pow.f64 v 4) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2))))
(+.f64 (.f64 -27/64 (.f64 (pow.f64 v 6) (sqrt.f64 2))) (+.f64 (.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (+.f64 (.f64 -9/32 (.f64 (pow.f64 v 4) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))))
(.f64 1/4 (.f64 v (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))
(+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3)))) (.f64 1/4 (.f64 v (*.f64 (sqrt.f64 -3) (sqrt.f64 2)))))
(+.f64 (.f64 -1/32 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3)))) (+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3)))) (.f64 1/4 (.f64 v (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))))
(+.f64 (.f64 -1/32 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3)))) (+.f64 (.f64 1/64 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5)))) (+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3)))) (.f64 1/4 (.f64 v (*.f64 (sqrt.f64 -3) (sqrt.f64 2)))))))
(.f64 -1/4 (.f64 v (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (sqrt.f64 -3) (sqrt.f64 2)))) (.f64 -1/8 (/.f64 (sqrt.f64 2) (*.f64 v (sqrt.f64 -3)))))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (sqrt.f64 -3) (sqrt.f64 2)))) (+.f64 (.f64 -1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3)))) (.f64 1/32 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3))))))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (sqrt.f64 -3) (sqrt.f64 2)))) (+.f64 (.f64 -1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3)))) (+.f64 (.f64 -1/64 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5)))) (.f64 1/32 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3)))))))
1
(+.f64 1 (*.f64 -3/2 (pow.f64 v 2)))
(+.f64 1 (+.f64 (.f64 -3/2 (pow.f64 v 2)) (.f64 -9/8 (pow.f64 v 4))))
(+.f64 1 (+.f64 (.f64 -27/16 (pow.f64 v 6)) (+.f64 (.f64 -3/2 (pow.f64 v 2)) (*.f64 -9/8 (pow.f64 v 4)))))
(*.f64 v (sqrt.f64 -3))
(+.f64 (.f64 v (sqrt.f64 -3)) (.f64 1/2 (/.f64 1 (*.f64 v (sqrt.f64 -3)))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 v (sqrt.f64 -3))) (.f64 1/8 (/.f64 1 (*.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3)))))
(-.f64 (+.f64 (.f64 1/16 (/.f64 1 (.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5)))) (+.f64 (.f64 1/2 (/.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 v (sqrt.f64 -3)))) (.f64 1/8 (/.f64 1 (*.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3)))))
(.f64 -1 (.f64 v (sqrt.f64 -3)))
(-.f64 (.f64 -1 (.f64 v (sqrt.f64 -3))) (.f64 1/2 (/.f64 1 (.f64 v (sqrt.f64 -3)))))
(-.f64 (+.f64 (.f64 -1 (.f64 v (sqrt.f64 -3))) (.f64 1/8 (/.f64 1 (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3))))) (.f64 1/2 (/.f64 1 (.f64 v (sqrt.f64 -3)))))
(-.f64 (+.f64 (.f64 -1 (.f64 v (sqrt.f64 -3))) (.f64 1/8 (/.f64 1 (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3))))) (+.f64 (.f64 1/16 (/.f64 1 (.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5)))) (.f64 1/2 (/.f64 1 (.f64 v (sqrt.f64 -3))))))
(+.f64 0 (*.f64 3 (pow.f64 v 2)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 3) (pow.f64 v 2))) (cbrt.f64 (pow.f64 (exp.f64 3) (pow.f64 v 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 3) (pow.f64 v 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 3) (pow.f64 v 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 3) (pow.f64 v 2)))))
(-.f64 (fma.f64 3 (pow.f64 v 2) 1) 1)
(pow.f64 (*.f64 3 (pow.f64 v 2)) 1)
(pow.f64 (cbrt.f64 (*.f64 3 (pow.f64 v 2))) 3)
(pow.f64 (pow.f64 (*.f64 3 (pow.f64 v 2)) 3) 1/3)
(pow.f64 (*.f64 (sqrt.f64 3) v) 2)
(sqrt.f64 (pow.f64 (*.f64 3 (pow.f64 v 2)) 2))
(log.f64 (pow.f64 (exp.f64 3) (pow.f64 v 2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 3 (pow.f64 v 2)))))
(cbrt.f64 (pow.f64 (*.f64 3 (pow.f64 v 2)) 3))
(expm1.f64 (log1p.f64 (*.f64 3 (pow.f64 v 2))))
(exp.f64 (log.f64 (*.f64 3 (pow.f64 v 2))))
(exp.f64 (.f64 (log.f64 (.f64 3 (pow.f64 v 2))) 1))
(log1p.f64 (expm1.f64 (*.f64 3 (pow.f64 v 2))))
(fma.f64 1 (fma.f64 3 (pow.f64 v 2) 1) -1)
(fma.f64 (*.f64 (cbrt.f64 (fma.f64 3 (pow.f64 v 2) 1)) (cbrt.f64 (fma.f64 3 (pow.f64 v 2) 1))) (cbrt.f64 (fma.f64 3 (pow.f64 v 2) 1)) -1)
(fma.f64 (hypot.f64 1 (.f64 (sqrt.f64 3) v)) (hypot.f64 1 (.f64 (sqrt.f64 3) v)) -1)
(+.f64 0 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8)))) (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8)))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8)))) 1)
(/.f64 (sqrt.f64 2) (/.f64 4 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))
(/.f64 1 (/.f64 4 (sqrt.f64 (*.f64 2 (fma.f64 -3 (pow.f64 v 2) 1)))))
(/.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) (/.f64 4 (sqrt.f64 2)))
(/.f64 (sqrt.f64 (*.f64 2 (fma.f64 -3 (pow.f64 v 2) 1))) 4)
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (fma.f64 -3 (pow.f64 v 2) 1)))) -4)
(/.f64 (*.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) (neg.f64 (sqrt.f64 2))) -4)
(/.f64 (*.f64 (neg.f64 (sqrt.f64 2)) (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))) -4)
(pow.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8)) 1)
(pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))) 3)
(pow.f64 (pow.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8)) 3) 1/3)
(pow.f64 (sqrt.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))) 2)
(sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))
(log.f64 (exp.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8)))))
(cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8)) 3))
(cbrt.f64 (.f64 (.f64 (sqrt.f64 1/8) 1/8) (pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 3/2)))
(cbrt.f64 (.f64 (pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 3/2) (.f64 (sqrt.f64 1/8) 1/8)))
(expm1.f64 (log1p.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))))
(exp.f64 (log.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))) 1))
(log1p.f64 (expm1.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))))
(+.f64 0 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))) (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))) 1)
(*.f64 1 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))
(*.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1)
(*.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) (cbrt.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))
(*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))) (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))
(*.f64 (pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/4) (pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/4))
(*.f64 (pow.f64 1 1/2) (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 2) 1/2) (pow.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1/2))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))
(/.f64 (sqrt.f64 (-.f64 1 (pow.f64 (.f64 3 (pow.f64 v 2)) 2))) (hypot.f64 1 (.f64 (sqrt.f64 3) v)))
(/.f64 (sqrt.f64 (-.f64 1 (pow.f64 (.f64 3 (pow.f64 v 2)) 3))) (hypot.f64 1 (hypot.f64 (.f64 3 (pow.f64 v 2)) (*.f64 (sqrt.f64 3) v))))
(pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/2)
(pow.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1)
(pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))) 3)
(pow.f64 (pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 3/2) 1/3)
(pow.f64 (pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/4) 2)
(fabs.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))
(log.f64 (exp.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))))
(cbrt.f64 (pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))
(hypot.f64 1 (sqrt.f64 (*.f64 -3 (pow.f64 v 2))))
(exp.f64 (log.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))
(exp.f64 (.f64 (log1p.f64 (.f64 -3 (pow.f64 v 2))) 1/2))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))) 1))
(log1p.f64 (expm1.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))

Outputs
(*.f64 3 (pow.f64 v 2))
(*.f64 3 (pow.f64 v 2))
(*.f64 3 (pow.f64 v 2))
(*.f64 3 (pow.f64 v 2))
(*.f64 3 (pow.f64 v 2))
(*.f64 3 (pow.f64 v 2))
(*.f64 3 (pow.f64 v 2))
(*.f64 3 (pow.f64 v 2))
(*.f64 3 (pow.f64 v 2))
(*.f64 3 (pow.f64 v 2))
(*.f64 3 (pow.f64 v 2))
(*.f64 3 (pow.f64 v 2))
(*.f64 1/4 (sqrt.f64 2))
(+.f64 (.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 (pow.f64 v 2) -3/8)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(+.f64 (.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (+.f64 (.f64 -9/32 (.f64 (pow.f64 v 4) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2))))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (fma.f64 -9/32 (.f64 (sqrt.f64 2) (pow.f64 v 4)) (*.f64 1/4 (sqrt.f64 2))))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 (sqrt.f64 2) (+.f64 1/4 (*.f64 -9/32 (pow.f64 v 4)))))
(.f64 (sqrt.f64 2) (+.f64 (.f64 (pow.f64 v 2) -3/8) (fma.f64 -9/32 (pow.f64 v 4) 1/4)))
(+.f64 (.f64 -27/64 (.f64 (pow.f64 v 6) (sqrt.f64 2))) (+.f64 (.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (+.f64 (.f64 -9/32 (.f64 (pow.f64 v 4) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))))
(fma.f64 -27/64 (.f64 (sqrt.f64 2) (pow.f64 v 6)) (fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (fma.f64 -9/32 (.f64 (sqrt.f64 2) (pow.f64 v 4)) (.f64 1/4 (sqrt.f64 2)))))
(+.f64 (.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 -9/32 (pow.f64 v 4)))) (.f64 (sqrt.f64 2) (+.f64 (.f64 -27/64 (pow.f64 v 6)) (*.f64 (pow.f64 v 2) -3/8))))
(.f64 (sqrt.f64 2) (+.f64 (fma.f64 -9/32 (pow.f64 v 4) 1/4) (fma.f64 -27/64 (pow.f64 v 6) (.f64 (pow.f64 v 2) -3/8))))
(.f64 1/4 (.f64 v (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))
(.f64 1/4 (.f64 v (*.f64 (sqrt.f64 2) (sqrt.f64 -3))))
(.f64 1/4 (.f64 (sqrt.f64 2) (*.f64 v (sqrt.f64 -3))))
(+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3)))) (.f64 1/4 (.f64 v (*.f64 (sqrt.f64 -3) (sqrt.f64 2)))))
(fma.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) (.f64 1/4 (.f64 v (.f64 (sqrt.f64 2) (sqrt.f64 -3)))))
(fma.f64 1/4 (.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) (/.f64 1/8 (/.f64 (*.f64 v (sqrt.f64 -3)) (sqrt.f64 2))))
(fma.f64 v (.f64 1/4 (.f64 (sqrt.f64 2) (sqrt.f64 -3))) (*.f64 (/.f64 (sqrt.f64 2) v) (/.f64 1/8 (sqrt.f64 -3))))
(+.f64 (.f64 -1/32 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3)))) (+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3)))) (.f64 1/4 (.f64 v (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))))
(fma.f64 -1/32 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3))) (fma.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) (.f64 1/4 (.f64 v (*.f64 (sqrt.f64 2) (sqrt.f64 -3))))))
(fma.f64 -1/32 (/.f64 (sqrt.f64 2) (.f64 -3 (.f64 (sqrt.f64 -3) (pow.f64 v 3)))) (fma.f64 1/4 (.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) (/.f64 1/8 (/.f64 (*.f64 v (sqrt.f64 -3)) (sqrt.f64 2)))))
(fma.f64 v (.f64 1/4 (.f64 (sqrt.f64 2) (sqrt.f64 -3))) (fma.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) (.f64 (/.f64 (sqrt.f64 2) (*.f64 (sqrt.f64 -3) (pow.f64 v 3))) 1/96)))
(+.f64 (.f64 -1/32 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3)))) (+.f64 (.f64 1/64 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5)))) (+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3)))) (.f64 1/4 (.f64 v (*.f64 (sqrt.f64 -3) (sqrt.f64 2)))))))
(fma.f64 -1/32 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3))) (fma.f64 1/64 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5))) (fma.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) (.f64 1/4 (.f64 v (.f64 (sqrt.f64 2) (sqrt.f64 -3)))))))
(fma.f64 -1/32 (/.f64 (sqrt.f64 2) (.f64 -3 (.f64 (sqrt.f64 -3) (pow.f64 v 3)))) (fma.f64 1/64 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5))) (fma.f64 1/4 (.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) (/.f64 1/8 (/.f64 (.f64 v (sqrt.f64 -3)) (sqrt.f64 2))))))
(fma.f64 (/.f64 1/96 (sqrt.f64 -3)) (/.f64 (sqrt.f64 2) (pow.f64 v 3)) (fma.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) (fma.f64 1/64 (/.f64 (/.f64 (sqrt.f64 2) (pow.f64 v 5)) (pow.f64 (sqrt.f64 -3) 5)) (.f64 1/4 (.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3)))))))
(.f64 -1/4 (.f64 v (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))
(.f64 (.f64 v (*.f64 (sqrt.f64 2) (sqrt.f64 -3))) -1/4)
(.f64 (.f64 (sqrt.f64 2) (sqrt.f64 -3)) (*.f64 v -1/4))
(.f64 (sqrt.f64 2) (.f64 (*.f64 v (sqrt.f64 -3)) -1/4))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (sqrt.f64 -3) (sqrt.f64 2)))) (.f64 -1/8 (/.f64 (sqrt.f64 2) (*.f64 v (sqrt.f64 -3)))))
(fma.f64 -1/4 (.f64 v (.f64 (sqrt.f64 2) (sqrt.f64 -3))) (.f64 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) -1/8))
(fma.f64 (.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) -1/4 (.f64 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) -1/8))
(fma.f64 (.f64 (sqrt.f64 2) (sqrt.f64 -3)) (.f64 v -1/4) (/.f64 (.f64 (sqrt.f64 2) -1/8) (.f64 v (sqrt.f64 -3))))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (sqrt.f64 -3) (sqrt.f64 2)))) (+.f64 (.f64 -1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3)))) (.f64 1/32 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3))))))
(fma.f64 -1/4 (.f64 v (.f64 (sqrt.f64 2) (sqrt.f64 -3))) (fma.f64 -1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) (.f64 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3))) 1/32)))
(fma.f64 (.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) -1/4 (fma.f64 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) -1/8 (.f64 (/.f64 1/32 (*.f64 -3 (sqrt.f64 -3))) (/.f64 (sqrt.f64 2) (pow.f64 v 3)))))
(fma.f64 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) -1/8 (fma.f64 (/.f64 -1/96 (sqrt.f64 -3)) (/.f64 (sqrt.f64 2) (pow.f64 v 3)) (.f64 (sqrt.f64 2) (.f64 (.f64 v (sqrt.f64 -3)) -1/4))))
(+.f64 (.f64 -1/4 (.f64 v (.f64 (sqrt.f64 -3) (sqrt.f64 2)))) (+.f64 (.f64 -1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3)))) (+.f64 (.f64 -1/64 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5)))) (.f64 1/32 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3)))))))
(fma.f64 -1/4 (.f64 v (.f64 (sqrt.f64 2) (sqrt.f64 -3))) (fma.f64 -1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) (fma.f64 -1/64 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5))) (.f64 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3))) 1/32))))
(fma.f64 (.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) -1/4 (fma.f64 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) -1/8 (fma.f64 (/.f64 (sqrt.f64 2) (.f64 -3 (.f64 (sqrt.f64 -3) (pow.f64 v 3)))) 1/32 (.f64 (/.f64 (sqrt.f64 2) (*.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5))) -1/64))))
(fma.f64 v (.f64 (.f64 (sqrt.f64 2) (sqrt.f64 -3)) -1/4) (fma.f64 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) -1/8 (fma.f64 (/.f64 (/.f64 (sqrt.f64 2) (pow.f64 v 5)) (pow.f64 (sqrt.f64 -3) 5)) -1/64 (.f64 (/.f64 (sqrt.f64 2) (pow.f64 v 3)) (/.f64 -1/96 (sqrt.f64 -3))))))
1
(+.f64 1 (*.f64 -3/2 (pow.f64 v 2)))
(+.f64 1 (*.f64 (pow.f64 v 2) -3/2))
(fma.f64 (pow.f64 v 2) -3/2 1)
(+.f64 1 (+.f64 (.f64 -3/2 (pow.f64 v 2)) (.f64 -9/8 (pow.f64 v 4))))
(+.f64 1 (fma.f64 -3/2 (pow.f64 v 2) (*.f64 (pow.f64 v 4) -9/8)))
(+.f64 1 (fma.f64 (pow.f64 v 2) -3/2 (*.f64 (pow.f64 v 4) -9/8)))
(fma.f64 (pow.f64 v 2) -3/2 (fma.f64 (pow.f64 v 4) -9/8 1))
(+.f64 1 (+.f64 (.f64 -27/16 (pow.f64 v 6)) (+.f64 (.f64 -3/2 (pow.f64 v 2)) (*.f64 -9/8 (pow.f64 v 4)))))
(+.f64 1 (fma.f64 -27/16 (pow.f64 v 6) (fma.f64 -3/2 (pow.f64 v 2) (*.f64 (pow.f64 v 4) -9/8))))
(+.f64 1 (fma.f64 (pow.f64 v 6) -27/16 (fma.f64 (pow.f64 v 2) -3/2 (*.f64 (pow.f64 v 4) -9/8))))
(fma.f64 (pow.f64 v 6) -27/16 (fma.f64 (pow.f64 v 2) -3/2 (fma.f64 (pow.f64 v 4) -9/8 1)))
(*.f64 v (sqrt.f64 -3))
(+.f64 (.f64 v (sqrt.f64 -3)) (.f64 1/2 (/.f64 1 (*.f64 v (sqrt.f64 -3)))))
(fma.f64 v (sqrt.f64 -3) (/.f64 1/2 (*.f64 v (sqrt.f64 -3))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 v (sqrt.f64 -3))) (.f64 1/8 (/.f64 1 (*.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3)))))
(-.f64 (fma.f64 v (sqrt.f64 -3) (/.f64 1/2 (.f64 v (sqrt.f64 -3)))) (/.f64 1/8 (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3))))
(+.f64 (/.f64 1/2 (.f64 v (sqrt.f64 -3))) (fma.f64 v (sqrt.f64 -3) (/.f64 -1/8 (.f64 -3 (*.f64 (sqrt.f64 -3) (pow.f64 v 3))))))
(+.f64 (/.f64 1/2 (.f64 v (sqrt.f64 -3))) (fma.f64 v (sqrt.f64 -3) (/.f64 1/24 (.f64 (sqrt.f64 -3) (pow.f64 v 3)))))
(-.f64 (+.f64 (.f64 1/16 (/.f64 1 (.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5)))) (+.f64 (.f64 1/2 (/.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 v (sqrt.f64 -3)))) (.f64 1/8 (/.f64 1 (*.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3)))))
(+.f64 (/.f64 1/16 (.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5))) (-.f64 (fma.f64 v (sqrt.f64 -3) (/.f64 1/2 (.f64 v (sqrt.f64 -3)))) (/.f64 1/8 (*.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3)))))
(+.f64 (fma.f64 v (sqrt.f64 -3) (/.f64 1/2 (.f64 v (sqrt.f64 -3)))) (+.f64 (/.f64 1/16 (.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5))) (/.f64 -1/8 (.f64 -3 (.f64 (sqrt.f64 -3) (pow.f64 v 3))))))
(+.f64 (/.f64 1/2 (.f64 v (sqrt.f64 -3))) (+.f64 (fma.f64 v (sqrt.f64 -3) (/.f64 1/24 (.f64 (sqrt.f64 -3) (pow.f64 v 3)))) (/.f64 1/16 (*.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5)))))
(.f64 -1 (.f64 v (sqrt.f64 -3)))
(neg.f64 (*.f64 v (sqrt.f64 -3)))
(*.f64 v (neg.f64 (sqrt.f64 -3)))
(-.f64 (.f64 -1 (.f64 v (sqrt.f64 -3))) (.f64 1/2 (/.f64 1 (.f64 v (sqrt.f64 -3)))))
(-.f64 (neg.f64 (.f64 v (sqrt.f64 -3))) (/.f64 1/2 (.f64 v (sqrt.f64 -3))))
(neg.f64 (fma.f64 v (sqrt.f64 -3) (/.f64 1/2 (*.f64 v (sqrt.f64 -3)))))
(-.f64 (/.f64 -1/2 (.f64 v (sqrt.f64 -3))) (.f64 v (sqrt.f64 -3)))
(-.f64 (+.f64 (.f64 -1 (.f64 v (sqrt.f64 -3))) (.f64 1/8 (/.f64 1 (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3))))) (.f64 1/2 (/.f64 1 (.f64 v (sqrt.f64 -3)))))
(-.f64 (fma.f64 -1 (.f64 v (sqrt.f64 -3)) (/.f64 1/8 (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3)))) (/.f64 1/2 (*.f64 v (sqrt.f64 -3))))
(+.f64 (/.f64 1/8 (.f64 -3 (.f64 (sqrt.f64 -3) (pow.f64 v 3)))) (neg.f64 (fma.f64 v (sqrt.f64 -3) (/.f64 1/2 (*.f64 v (sqrt.f64 -3))))))
(-.f64 (/.f64 -1/24 (.f64 (sqrt.f64 -3) (pow.f64 v 3))) (fma.f64 v (sqrt.f64 -3) (/.f64 1/2 (.f64 v (sqrt.f64 -3)))))
(-.f64 (+.f64 (.f64 -1 (.f64 v (sqrt.f64 -3))) (.f64 1/8 (/.f64 1 (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3))))) (+.f64 (.f64 1/16 (/.f64 1 (.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5)))) (.f64 1/2 (/.f64 1 (.f64 v (sqrt.f64 -3))))))
(-.f64 (fma.f64 -1 (.f64 v (sqrt.f64 -3)) (/.f64 1/8 (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3)))) (+.f64 (/.f64 1/2 (.f64 v (sqrt.f64 -3))) (/.f64 1/16 (.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5)))))
(+.f64 (-.f64 (-.f64 (/.f64 1/8 (.f64 -3 (.f64 (sqrt.f64 -3) (pow.f64 v 3)))) (.f64 v (sqrt.f64 -3))) (/.f64 1/16 (.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5)))) (/.f64 -1/2 (*.f64 v (sqrt.f64 -3))))
(+.f64 (-.f64 (/.f64 -1/24 (.f64 (sqrt.f64 -3) (pow.f64 v 3))) (fma.f64 v (sqrt.f64 -3) (/.f64 1/2 (.f64 v (sqrt.f64 -3))))) (/.f64 -1/16 (*.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5))))
(+.f64 0 (*.f64 3 (pow.f64 v 2)))
(*.f64 3 (pow.f64 v 2))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 3) (pow.f64 v 2))) (cbrt.f64 (pow.f64 (exp.f64 3) (pow.f64 v 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 3) (pow.f64 v 2)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 3) (pow.f64 v 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 3) (pow.f64 v 2)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 3) (pow.f64 v 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 3) (pow.f64 v 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 3) (pow.f64 v 2)))))
(*.f64 3 (pow.f64 v 2))
(-.f64 (fma.f64 3 (pow.f64 v 2) 1) 1)
(*.f64 3 (pow.f64 v 2))
(pow.f64 (*.f64 3 (pow.f64 v 2)) 1)
(*.f64 3 (pow.f64 v 2))
(pow.f64 (cbrt.f64 (*.f64 3 (pow.f64 v 2))) 3)
(*.f64 3 (pow.f64 v 2))
(pow.f64 (pow.f64 (*.f64 3 (pow.f64 v 2)) 3) 1/3)
(*.f64 3 (pow.f64 v 2))
(pow.f64 (*.f64 (sqrt.f64 3) v) 2)
(*.f64 3 (pow.f64 v 2))
(sqrt.f64 (pow.f64 (*.f64 3 (pow.f64 v 2)) 2))
(*.f64 3 (pow.f64 v 2))
(log.f64 (pow.f64 (exp.f64 3) (pow.f64 v 2)))
(*.f64 3 (pow.f64 v 2))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 3 (pow.f64 v 2)))))
(*.f64 3 (pow.f64 v 2))
(cbrt.f64 (pow.f64 (*.f64 3 (pow.f64 v 2)) 3))
(*.f64 3 (pow.f64 v 2))
(expm1.f64 (log1p.f64 (*.f64 3 (pow.f64 v 2))))
(*.f64 3 (pow.f64 v 2))
(exp.f64 (log.f64 (*.f64 3 (pow.f64 v 2))))
(*.f64 3 (pow.f64 v 2))
(exp.f64 (.f64 (log.f64 (.f64 3 (pow.f64 v 2))) 1))
(*.f64 3 (pow.f64 v 2))
(log1p.f64 (expm1.f64 (*.f64 3 (pow.f64 v 2))))
(*.f64 3 (pow.f64 v 2))
(fma.f64 1 (fma.f64 3 (pow.f64 v 2) 1) -1)
(*.f64 3 (pow.f64 v 2))
(fma.f64 (*.f64 (cbrt.f64 (fma.f64 3 (pow.f64 v 2) 1)) (cbrt.f64 (fma.f64 3 (pow.f64 v 2) 1))) (cbrt.f64 (fma.f64 3 (pow.f64 v 2) 1)) -1)
(*.f64 3 (pow.f64 v 2))
(fma.f64 (hypot.f64 1 (.f64 (sqrt.f64 3) v)) (hypot.f64 1 (.f64 (sqrt.f64 3) v)) -1)
(fma.f64 (hypot.f64 1 (.f64 v (sqrt.f64 3))) (hypot.f64 1 (.f64 v (sqrt.f64 3))) -1)
(+.f64 0 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8)))
(sqrt.f64 (*.f64 1/8 (fma.f64 -3 (pow.f64 v 2) 1)))
(sqrt.f64 (*.f64 1/8 (fma.f64 (pow.f64 v 2) -3 1)))
(sqrt.f64 (fma.f64 1/8 (*.f64 (pow.f64 v 2) -3) 1/8))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8)))) (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8)))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 1/8 (fma.f64 -3 (pow.f64 v 2) 1))))) (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 1/8 (fma.f64 -3 (pow.f64 v 2) 1))))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 1/8 (fma.f64 -3 (pow.f64 v 2) 1)))))))
(+.f64 (.f64 2 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 1/8 (fma.f64 (pow.f64 v 2) -3 1))))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (*.f64 1/8 (fma.f64 (pow.f64 v 2) -3 1)))))))
(.f64 3 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 1/8 (.f64 (pow.f64 v 2) -3) 1/8))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))))))
(.f64 2 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (.f64 1/8 (fma.f64 -3 (pow.f64 v 2) 1)))))))
(.f64 2 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (.f64 1/8 (fma.f64 (pow.f64 v 2) -3 1)))))))
(.f64 2 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (fma.f64 1/8 (.f64 (pow.f64 v 2) -3) 1/8))))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8)))) 1)
(sqrt.f64 (*.f64 1/8 (fma.f64 -3 (pow.f64 v 2) 1)))
(sqrt.f64 (*.f64 1/8 (fma.f64 (pow.f64 v 2) -3 1)))
(sqrt.f64 (fma.f64 1/8 (*.f64 (pow.f64 v 2) -3) 1/8))
(/.f64 (sqrt.f64 2) (/.f64 4 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))
(*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))
(*.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1)) 4))
(.f64 (sqrt.f64 2) (.f64 1/4 (sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))))
(/.f64 1 (/.f64 4 (sqrt.f64 (*.f64 2 (fma.f64 -3 (pow.f64 v 2) 1)))))
(.f64 1/4 (sqrt.f64 (.f64 2 (fma.f64 -3 (pow.f64 v 2) 1))))
(.f64 1/4 (sqrt.f64 (.f64 2 (fma.f64 (pow.f64 v 2) -3 1))))
(/.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) (/.f64 4 (sqrt.f64 2)))
(*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))
(*.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1)) 4))
(.f64 (sqrt.f64 2) (.f64 1/4 (sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))))
(/.f64 (sqrt.f64 (*.f64 2 (fma.f64 -3 (pow.f64 v 2) 1))) 4)
(.f64 1/4 (sqrt.f64 (.f64 2 (fma.f64 -3 (pow.f64 v 2) 1))))
(.f64 1/4 (sqrt.f64 (.f64 2 (fma.f64 (pow.f64 v 2) -3 1))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (fma.f64 -3 (pow.f64 v 2) 1)))) -4)
(.f64 1/4 (sqrt.f64 (.f64 2 (fma.f64 -3 (pow.f64 v 2) 1))))
(.f64 1/4 (sqrt.f64 (.f64 2 (fma.f64 (pow.f64 v 2) -3 1))))
(/.f64 (*.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) (neg.f64 (sqrt.f64 2))) -4)
(*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))
(*.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1)) 4))
(.f64 (sqrt.f64 2) (.f64 1/4 (sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))))
(/.f64 (*.f64 (neg.f64 (sqrt.f64 2)) (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))) -4)
(*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))
(*.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1)) 4))
(.f64 (sqrt.f64 2) (.f64 1/4 (sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))))
(pow.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8)) 1)
(sqrt.f64 (*.f64 1/8 (fma.f64 -3 (pow.f64 v 2) 1)))
(sqrt.f64 (*.f64 1/8 (fma.f64 (pow.f64 v 2) -3 1)))
(sqrt.f64 (fma.f64 1/8 (*.f64 (pow.f64 v 2) -3) 1/8))
(pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))) 3)
(sqrt.f64 (*.f64 1/8 (fma.f64 -3 (pow.f64 v 2) 1)))
(sqrt.f64 (*.f64 1/8 (fma.f64 (pow.f64 v 2) -3 1)))
(sqrt.f64 (fma.f64 1/8 (*.f64 (pow.f64 v 2) -3) 1/8))
(pow.f64 (pow.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8)) 3) 1/3)
(sqrt.f64 (*.f64 1/8 (fma.f64 -3 (pow.f64 v 2) 1)))
(sqrt.f64 (*.f64 1/8 (fma.f64 (pow.f64 v 2) -3 1)))
(sqrt.f64 (fma.f64 1/8 (*.f64 (pow.f64 v 2) -3) 1/8))
(pow.f64 (sqrt.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))) 2)
(sqrt.f64 (*.f64 1/8 (fma.f64 -3 (pow.f64 v 2) 1)))
(sqrt.f64 (*.f64 1/8 (fma.f64 (pow.f64 v 2) -3 1)))
(sqrt.f64 (fma.f64 1/8 (*.f64 (pow.f64 v 2) -3) 1/8))
(sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))
(sqrt.f64 (*.f64 1/8 (fma.f64 -3 (pow.f64 v 2) 1)))
(sqrt.f64 (*.f64 1/8 (fma.f64 (pow.f64 v 2) -3 1)))
(sqrt.f64 (fma.f64 1/8 (*.f64 (pow.f64 v 2) -3) 1/8))
(log.f64 (exp.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))))
(sqrt.f64 (*.f64 1/8 (fma.f64 -3 (pow.f64 v 2) 1)))
(sqrt.f64 (*.f64 1/8 (fma.f64 (pow.f64 v 2) -3 1)))
(sqrt.f64 (fma.f64 1/8 (*.f64 (pow.f64 v 2) -3) 1/8))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8)))))
(sqrt.f64 (*.f64 1/8 (fma.f64 -3 (pow.f64 v 2) 1)))
(sqrt.f64 (*.f64 1/8 (fma.f64 (pow.f64 v 2) -3 1)))
(sqrt.f64 (fma.f64 1/8 (*.f64 (pow.f64 v 2) -3) 1/8))
(cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8)) 3))
(sqrt.f64 (*.f64 1/8 (fma.f64 -3 (pow.f64 v 2) 1)))
(sqrt.f64 (*.f64 1/8 (fma.f64 (pow.f64 v 2) -3 1)))
(sqrt.f64 (fma.f64 1/8 (*.f64 (pow.f64 v 2) -3) 1/8))
(cbrt.f64 (.f64 (.f64 (sqrt.f64 1/8) 1/8) (pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 3/2)))
(cbrt.f64 (.f64 (.f64 1/8 (sqrt.f64 1/8)) (pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 3/2)))
(cbrt.f64 (.f64 (sqrt.f64 1/8) (.f64 1/8 (pow.f64 (fma.f64 (pow.f64 v 2) -3 1) 3/2))))
(cbrt.f64 (.f64 (pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 3/2) (.f64 (sqrt.f64 1/8) 1/8)))
(cbrt.f64 (.f64 (.f64 1/8 (sqrt.f64 1/8)) (pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 3/2)))
(cbrt.f64 (.f64 (sqrt.f64 1/8) (.f64 1/8 (pow.f64 (fma.f64 (pow.f64 v 2) -3 1) 3/2))))
(expm1.f64 (log1p.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))))
(sqrt.f64 (*.f64 1/8 (fma.f64 -3 (pow.f64 v 2) 1)))
(sqrt.f64 (*.f64 1/8 (fma.f64 (pow.f64 v 2) -3 1)))
(sqrt.f64 (fma.f64 1/8 (*.f64 (pow.f64 v 2) -3) 1/8))
(exp.f64 (log.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))))
(sqrt.f64 (*.f64 1/8 (fma.f64 -3 (pow.f64 v 2) 1)))
(sqrt.f64 (*.f64 1/8 (fma.f64 (pow.f64 v 2) -3 1)))
(sqrt.f64 (fma.f64 1/8 (*.f64 (pow.f64 v 2) -3) 1/8))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))) 1))
(sqrt.f64 (*.f64 1/8 (fma.f64 -3 (pow.f64 v 2) 1)))
(sqrt.f64 (*.f64 1/8 (fma.f64 (pow.f64 v 2) -3 1)))
(sqrt.f64 (fma.f64 1/8 (*.f64 (pow.f64 v 2) -3) 1/8))
(log1p.f64 (expm1.f64 (sqrt.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8))))
(sqrt.f64 (*.f64 1/8 (fma.f64 -3 (pow.f64 v 2) 1)))
(sqrt.f64 (*.f64 1/8 (fma.f64 (pow.f64 v 2) -3 1)))
(sqrt.f64 (fma.f64 1/8 (*.f64 (pow.f64 v 2) -3) 1/8))
(+.f64 0 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))
(sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))) (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1)))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))) 1)
(sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))
(*.f64 1 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))
(sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))
(*.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1)
(sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))
(*.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) (cbrt.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))
(*.f64 (cbrt.f64 (fma.f64 (pow.f64 v 2) -3 1)) (cbrt.f64 (sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))))
(*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))) (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))
(*.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) (cbrt.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))
(*.f64 (cbrt.f64 (fma.f64 (pow.f64 v 2) -3 1)) (cbrt.f64 (sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))))
(*.f64 (pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/4) (pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/4))
(sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))
(*.f64 (pow.f64 1 1/2) (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))
(sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 2) 1/2) (pow.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1/2))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))
(*.f64 (fabs.f64 (cbrt.f64 (fma.f64 (pow.f64 v 2) -3 1))) (sqrt.f64 (cbrt.f64 (fma.f64 (pow.f64 v 2) -3 1))))
(*.f64 (cbrt.f64 (fma.f64 (pow.f64 v 2) -3 1)) (sqrt.f64 (cbrt.f64 (fma.f64 (pow.f64 v 2) -3 1))))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))
(*.f64 (fabs.f64 (cbrt.f64 (fma.f64 (pow.f64 v 2) -3 1))) (sqrt.f64 (cbrt.f64 (fma.f64 (pow.f64 v 2) -3 1))))
(*.f64 (cbrt.f64 (fma.f64 (pow.f64 v 2) -3 1)) (sqrt.f64 (cbrt.f64 (fma.f64 (pow.f64 v 2) -3 1))))
(/.f64 (sqrt.f64 (-.f64 1 (pow.f64 (.f64 3 (pow.f64 v 2)) 2))) (hypot.f64 1 (.f64 (sqrt.f64 3) v)))
(/.f64 (sqrt.f64 (-.f64 1 (pow.f64 (.f64 3 (pow.f64 v 2)) 2))) (hypot.f64 1 (.f64 v (sqrt.f64 3))))
(/.f64 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 v 4) 9))) (hypot.f64 1 (.f64 v (sqrt.f64 3))))
(/.f64 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 v 4) -9))) (hypot.f64 1 (.f64 v (sqrt.f64 3))))
(/.f64 (sqrt.f64 (-.f64 1 (pow.f64 (.f64 3 (pow.f64 v 2)) 3))) (hypot.f64 1 (hypot.f64 (.f64 3 (pow.f64 v 2)) (*.f64 (sqrt.f64 3) v))))
(/.f64 (sqrt.f64 (-.f64 1 (.f64 27 (pow.f64 (pow.f64 v 2) 3)))) (hypot.f64 1 (hypot.f64 (.f64 3 (pow.f64 v 2)) (*.f64 v (sqrt.f64 3)))))
(/.f64 (sqrt.f64 (+.f64 1 (.f64 -27 (pow.f64 v 6)))) (hypot.f64 1 (hypot.f64 (.f64 3 (pow.f64 v 2)) (*.f64 v (sqrt.f64 3)))))
(/.f64 (sqrt.f64 (fma.f64 -27 (pow.f64 v 6) 1)) (hypot.f64 1 (hypot.f64 (.f64 3 (pow.f64 v 2)) (.f64 v (sqrt.f64 3)))))
(pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/2)
(sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))
(pow.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1)
(sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))
(pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))) 3)
(sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))
(pow.f64 (pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 3/2) 1/3)
(cbrt.f64 (pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 3/2))
(cbrt.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -3 1) 3/2))
(pow.f64 (pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/4) 2)
(sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))
(fabs.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))
(sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))
(log.f64 (exp.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))
(sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)))))
(sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))
(cbrt.f64 (pow.f64 (fma.f64 -3 (pow.f64 v 2) 1) 3/2))
(cbrt.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -3 1) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))
(sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))
(hypot.f64 1 (sqrt.f64 (*.f64 -3 (pow.f64 v 2))))
(hypot.f64 1 (sqrt.f64 (*.f64 (pow.f64 v 2) -3)))
(exp.f64 (log.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))
(sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))
(exp.f64 (.f64 (log1p.f64 (.f64 -3 (pow.f64 v 2))) 1/2))
(sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))) 1))
(sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))
(log1p.f64 (expm1.f64 (sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))))
(sqrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -3 1))

eval101.0ms (3.4%)

Compiler: Compiled 4910 to 3989 computations (18.8% saved)

prune28.0ms (0.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	189	3	192
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	189	4	193

Accuracy

100.0%

Counts

193 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 (.f64 3 v) v)))) (-.f64 1 (*.f64 v v)))
▶	100.0%	(.f64 (.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 (pow.f64 v 2) -3/8))) (-.f64 1 (.f64 v v)))
▶	99.7%	(.f64 (.f64 1/4 (sqrt.f64 2)) (-.f64 1 (*.f64 v v)))
▶	100.0%	(.f64 (sqrt.f64 (fma.f64 1/8 (.f64 (pow.f64 v 2) -3) 1/8)) (-.f64 1 (*.f64 v v)))
✓	100.0%	(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 (.f64 3 v) v)))) (-.f64 1 (*.f64 v v)))
▶	100.0%	(.f64 (.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 (pow.f64 v 2) -3/8))) (-.f64 1 (.f64 v v)))
▶	99.7%	(.f64 (.f64 1/4 (sqrt.f64 2)) (-.f64 1 (*.f64 v v)))
▶	100.0%	(.f64 (sqrt.f64 (fma.f64 1/8 (.f64 (pow.f64 v 2) -3) 1/8)) (-.f64 1 (*.f64 v v)))

Compiler

Compiled 128 to 104 computations (18.8% saved)

localize167.0ms (5.6%)

Localize:

Found 4 expressions with local error:

New	Accuracy	Program
✓	100.0%	(.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 (pow.f64 v 2) -3/8)))
✓	99.7%	(*.f64 (pow.f64 v 2) -3/8)
✓	100.0%	(.f64 (.f64 1/4 (sqrt.f64 2)) (-.f64 1 (*.f64 v v)))
✓	99.7%	(*.f64 (pow.f64 v 2) -3)

Compiler

Compiled 139 to 100 computations (28.1% saved)

series3.0ms (0.1%)

Counts

4 → 48

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	v	@	0	(.f64 (.f64 1/4 (sqrt.f64 2)) (-.f64 1 (*.f64 v v)))
0.0ms	v	@	inf	(.f64 (.f64 1/4 (sqrt.f64 2)) (-.f64 1 (*.f64 v v)))
0.0ms	v	@	inf	(.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 (pow.f64 v 2) -3/8)))
0.0ms	v	@	inf	(*.f64 (pow.f64 v 2) -3)
0.0ms	v	@	inf	(*.f64 (pow.f64 v 2) -3/8)

rewrite92.0ms (3.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1246×	`log-prod`
972×	`prod-diff`
709×	`log1p-expm1-u`
709×	`expm1-log1p-u`
658×	`fma-def`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	21	96
1	260	86
2	3281	86

Stop Event

1×	node limit

Counts

4 → 149

Calls

Call 1

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

Outputs
(+.f64 0 (*.f64 (pow.f64 v 2) -3))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2))) (cbrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 v 2) -3))) 1)
(pow.f64 (*.f64 (pow.f64 v 2) -3) 1)
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 v 2) -3)) 3)
(pow.f64 (pow.f64 (*.f64 (pow.f64 v 2) -3) 3) 1/3)
(pow.f64 (*.f64 v (sqrt.f64 -3)) 2)
(sqrt.f64 (*.f64 (pow.f64 v 4) 9))
(log.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (pow.f64 v 2) -3))))
(cbrt.f64 (pow.f64 (*.f64 (pow.f64 v 2) -3) 3))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 v 2) -3)))
(exp.f64 (fma.f64 2 (log.f64 v) (log.f64 -3)))
(exp.f64 (*.f64 (fma.f64 2 (log.f64 v) (log.f64 -3)) 1))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 v 2) -3)))
(+.f64 (sqrt.f64 1/8) (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(+.f64 (sqrt.f64 1/8) (*.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(+.f64 0 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (-.f64 1 (pow.f64 v 2)))) (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (-.f64 1 (pow.f64 v 2)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (-.f64 1 (pow.f64 v 2))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (-.f64 1 (pow.f64 v 2))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (-.f64 1 (pow.f64 v 2))))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))) 1)
(/.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 6))) (+.f64 1 (fma.f64 v v (pow.f64 v 4))))
(/.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 4))) (fma.f64 v v 1))
(/.f64 (*.f64 (-.f64 1 (pow.f64 v 6)) (sqrt.f64 1/8)) (+.f64 1 (fma.f64 v v (pow.f64 v 4))))
(/.f64 (*.f64 (-.f64 1 (pow.f64 v 4)) (sqrt.f64 1/8)) (fma.f64 v v 1))
(pow.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))) 1)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))) 3)
(pow.f64 (pow.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))) 2)
(sqrt.f64 (*.f64 1/8 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)))
(log.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (-.f64 1 (pow.f64 v 2))))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))))
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))) 3))
(cbrt.f64 (.f64 (.f64 (sqrt.f64 1/8) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 3)))
(cbrt.f64 (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 3) (.f64 (sqrt.f64 1/8) 1/8)))
(expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))))
(exp.f64 (log.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))) 1))
(log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))))
(fma.f64 1/4 (sqrt.f64 2) (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 1/4 (sqrt.f64 2) (*.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 (sqrt.f64 2) 1/4 (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (sqrt.f64 2) 1/4 (*.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 (sqrt.f64 1/8) 1 (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (sqrt.f64 1/8) 1 (*.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 1 (sqrt.f64 1/8) (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 1 (sqrt.f64 1/8) (*.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8) (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8) (*.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 (cbrt.f64 1/8) (cbrt.f64 (sqrt.f64 1/8)) (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (cbrt.f64 1/8) (cbrt.f64 (sqrt.f64 1/8)) (*.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 (cbrt.f64 2) (.f64 (cbrt.f64 (sqrt.f64 2)) 1/4) (.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (cbrt.f64 2) (.f64 (cbrt.f64 (sqrt.f64 2)) 1/4) (.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 (sqrt.f64 (sqrt.f64 1/8)) (sqrt.f64 (sqrt.f64 1/8)) (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (sqrt.f64 (sqrt.f64 1/8)) (sqrt.f64 (sqrt.f64 1/8)) (*.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) 1/4) (.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) 1/4) (.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 (.f64 1/4 (cbrt.f64 2)) (cbrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (.f64 1/4 (cbrt.f64 2)) (cbrt.f64 (sqrt.f64 2)) (.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 (.f64 1/4 (pow.f64 2 1/4)) (pow.f64 2 1/4) (.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (.f64 1/4 (pow.f64 2 1/4)) (pow.f64 2 1/4) (.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(+.f64 0 (*.f64 (pow.f64 v 2) -3/8))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -3/8)) (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -3/8)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -3/8))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -3/8))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -3/8))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 v 2) -3/8))) 1)
(pow.f64 (*.f64 (pow.f64 v 2) -3/8) 1)
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 v 2) -3/8)) 3)
(pow.f64 (*.f64 (pow.f64 v 6) -27/512) 1/3)
(pow.f64 (*.f64 v (sqrt.f64 -3/8)) 2)
(sqrt.f64 (*.f64 (pow.f64 v 4) 9/64))
(log.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -3/8))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (pow.f64 v 2) -3/8))))
(cbrt.f64 (*.f64 (pow.f64 v 6) -27/512))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 v 2) -3/8)))
(exp.f64 (fma.f64 2 (log.f64 v) (log.f64 -3/8)))
(exp.f64 (*.f64 (fma.f64 2 (log.f64 v) (log.f64 -3/8)) 1))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 v 2) -3/8)))
(+.f64 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))
(+.f64 (sqrt.f64 1/8) (.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))) 1))
(+.f64 0 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4)))
(+.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) (sqrt.f64 1/8))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4)) (sqrt.f64 2))) (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4)) (sqrt.f64 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4)) (sqrt.f64 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4)) (sqrt.f64 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4)) (sqrt.f64 2)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4)))) 1)
(/.f64 (fma.f64 (sqrt.f64 1/8) 1/8 (pow.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) 3)) (+.f64 1/8 (-.f64 (.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2)))) (.f64 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2)))))))
(/.f64 (-.f64 1/8 (.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))) (-.f64 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2)))))
(/.f64 (.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 6) -27/512 1/64)) (fma.f64 (.f64 (pow.f64 v 2) -3/8) (fma.f64 (pow.f64 v 2) -3/8 -1/4) 1/16))
(/.f64 (.f64 (sqrt.f64 2) (-.f64 1/16 (.f64 (pow.f64 v 4) 9/64))) (+.f64 1/4 (*.f64 3/8 (pow.f64 v 2))))
(/.f64 (.f64 (fma.f64 (pow.f64 v 6) -27/512 1/64) (sqrt.f64 2)) (fma.f64 (.f64 (pow.f64 v 2) -3/8) (fma.f64 (pow.f64 v 2) -3/8 -1/4) 1/16))
(/.f64 (.f64 (-.f64 1/16 (.f64 (pow.f64 v 4) 9/64)) (sqrt.f64 2)) (+.f64 1/4 (*.f64 3/8 (pow.f64 v 2))))
(pow.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4)) 1)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))) 3)
(pow.f64 (pow.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))) 2)
(sqrt.f64 (*.f64 2 (pow.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4) 2)))
(log.f64 (pow.f64 (exp.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4)) (sqrt.f64 2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (sqrt.f64 1/8))) (exp.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))))))
(log.f64 (.f64 (exp.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2)))) (exp.f64 (sqrt.f64 1/8))))
(log.f64 (.f64 (exp.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2)))) (+.f64 1 (expm1.f64 (sqrt.f64 1/8)))))
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4)) 3))
(cbrt.f64 (.f64 (.f64 2 (sqrt.f64 2)) (pow.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4) 3)))
(cbrt.f64 (.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4) 3) (.f64 2 (sqrt.f64 2))))
(expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))))
(exp.f64 (log.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))) 1))
(log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))))
(fma.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2)) (sqrt.f64 1/8))
(fma.f64 1/4 (sqrt.f64 2) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))
(fma.f64 1/4 (sqrt.f64 2) (.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (sqrt.f64 2) 1/4 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (sqrt.f64 2) 1/4 (.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (sqrt.f64 2) (*.f64 (pow.f64 v 2) -3/8) (sqrt.f64 1/8))
(fma.f64 (sqrt.f64 1/8) 1 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (sqrt.f64 1/8) 1 (.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 1 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))
(fma.f64 1 (sqrt.f64 1/8) (.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 1 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) (sqrt.f64 1/8))
(fma.f64 -3/8 (*.f64 (pow.f64 v 2) (sqrt.f64 2)) (sqrt.f64 1/8))
(fma.f64 (*.f64 (pow.f64 v 2) -3/8) (sqrt.f64 2) (sqrt.f64 1/8))
(fma.f64 (cbrt.f64 (.f64 (pow.f64 v 4) 9/64)) (.f64 (cbrt.f64 (*.f64 (pow.f64 v 2) -3/8)) (sqrt.f64 2)) (sqrt.f64 1/8))
(fma.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8) (.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (cbrt.f64 1/8) (cbrt.f64 (sqrt.f64 1/8)) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (cbrt.f64 1/8) (cbrt.f64 (sqrt.f64 1/8)) (.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (cbrt.f64 2) (.f64 (cbrt.f64 (sqrt.f64 2)) 1/4) (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (cbrt.f64 2) (.f64 (cbrt.f64 (sqrt.f64 2)) 1/4) (.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (cbrt.f64 2) (.f64 (cbrt.f64 (sqrt.f64 2)) (.f64 (pow.f64 v 2) -3/8)) (sqrt.f64 1/8))
(fma.f64 (.f64 v (sqrt.f64 -3/8)) (.f64 (*.f64 v (sqrt.f64 -3/8)) (sqrt.f64 2)) (sqrt.f64 1/8))
(fma.f64 (sqrt.f64 (sqrt.f64 1/8)) (sqrt.f64 (sqrt.f64 1/8)) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (sqrt.f64 (sqrt.f64 1/8)) (sqrt.f64 (sqrt.f64 1/8)) (.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) 1/4) (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) 1/4) (.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) (.f64 (pow.f64 v 2) -3/8)) (sqrt.f64 1/8))
(fma.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2)))) (cbrt.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))) (cbrt.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2)))) (sqrt.f64 1/8))
(fma.f64 (sqrt.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2)))) (sqrt.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2)))) (sqrt.f64 1/8))
(fma.f64 (.f64 (.f64 v (sqrt.f64 -3/8)) (pow.f64 2 1/4)) (.f64 (.f64 v (sqrt.f64 -3/8)) (pow.f64 2 1/4)) (sqrt.f64 1/8))
(fma.f64 (.f64 (pow.f64 2 1/4) (.f64 v (sqrt.f64 -3/8))) (.f64 (pow.f64 2 1/4) (.f64 v (sqrt.f64 -3/8))) (sqrt.f64 1/8))
(fma.f64 (.f64 1/4 (cbrt.f64 2)) (cbrt.f64 (sqrt.f64 2)) (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (.f64 1/4 (cbrt.f64 2)) (cbrt.f64 (sqrt.f64 2)) (.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (.f64 1/4 (pow.f64 2 1/4)) (pow.f64 2 1/4) (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (.f64 1/4 (pow.f64 2 1/4)) (pow.f64 2 1/4) (.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (.f64 (.f64 (pow.f64 v 2) -3/8) (cbrt.f64 2)) (cbrt.f64 (sqrt.f64 2)) (sqrt.f64 1/8))
(fma.f64 (.f64 (.f64 (pow.f64 v 2) -3/8) (pow.f64 2 1/4)) (pow.f64 2 1/4) (sqrt.f64 1/8))
(fma.f64 (*.f64 (sqrt.f64 2) (pow.f64 v 2)) -3/8 (sqrt.f64 1/8))
(fma.f64 (*.f64 (sqrt.f64 2) -3/8) (pow.f64 v 2) (sqrt.f64 1/8))
(fma.f64 (.f64 (sqrt.f64 2) (cbrt.f64 (.f64 (pow.f64 v 4) 9/64))) (cbrt.f64 (*.f64 (pow.f64 v 2) -3/8)) (sqrt.f64 1/8))
(fma.f64 (.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3/8))) (*.f64 v (sqrt.f64 -3/8)) (sqrt.f64 1/8))

simplify82.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

1412×	`distribute-lft-in`
1376×	`distribute-rgt-in`
1102×	`unswap-sqr`
394×	`associate-r`
354×	`associate-l`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	345	6807
1	765	6235
2	2322	5939

Stop Event

1×	node limit

Counts

197 → 209

Calls

Call 1

Inputs
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 1/4 (sqrt.f64 2))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2)))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2)))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(*.f64 -3/8 (pow.f64 v 2))
(*.f64 -3/8 (pow.f64 v 2))
(*.f64 -3/8 (pow.f64 v 2))
(*.f64 -3/8 (pow.f64 v 2))
(*.f64 -3/8 (pow.f64 v 2))
(*.f64 -3/8 (pow.f64 v 2))
(*.f64 -3/8 (pow.f64 v 2))
(*.f64 -3/8 (pow.f64 v 2))
(*.f64 -3/8 (pow.f64 v 2))
(*.f64 -3/8 (pow.f64 v 2))
(*.f64 -3/8 (pow.f64 v 2))
(*.f64 -3/8 (pow.f64 v 2))
(*.f64 1/4 (sqrt.f64 2))
(+.f64 (.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(+.f64 (.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(+.f64 (.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)))
(+.f64 (.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(+.f64 (.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(+.f64 (.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)))
(+.f64 (.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(+.f64 (.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(+.f64 (.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(+.f64 0 (*.f64 (pow.f64 v 2) -3))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2))) (cbrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 v 2) -3))) 1)
(pow.f64 (*.f64 (pow.f64 v 2) -3) 1)
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 v 2) -3)) 3)
(pow.f64 (pow.f64 (*.f64 (pow.f64 v 2) -3) 3) 1/3)
(pow.f64 (*.f64 v (sqrt.f64 -3)) 2)
(sqrt.f64 (*.f64 (pow.f64 v 4) 9))
(log.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (pow.f64 v 2) -3))))
(cbrt.f64 (pow.f64 (*.f64 (pow.f64 v 2) -3) 3))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 v 2) -3)))
(exp.f64 (fma.f64 2 (log.f64 v) (log.f64 -3)))
(exp.f64 (*.f64 (fma.f64 2 (log.f64 v) (log.f64 -3)) 1))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 v 2) -3)))
(+.f64 (sqrt.f64 1/8) (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(+.f64 (sqrt.f64 1/8) (*.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(+.f64 0 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (-.f64 1 (pow.f64 v 2)))) (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (-.f64 1 (pow.f64 v 2)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (-.f64 1 (pow.f64 v 2))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (-.f64 1 (pow.f64 v 2))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (-.f64 1 (pow.f64 v 2))))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))) 1)
(/.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 6))) (+.f64 1 (fma.f64 v v (pow.f64 v 4))))
(/.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 4))) (fma.f64 v v 1))
(/.f64 (*.f64 (-.f64 1 (pow.f64 v 6)) (sqrt.f64 1/8)) (+.f64 1 (fma.f64 v v (pow.f64 v 4))))
(/.f64 (*.f64 (-.f64 1 (pow.f64 v 4)) (sqrt.f64 1/8)) (fma.f64 v v 1))
(pow.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))) 1)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))) 3)
(pow.f64 (pow.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))) 2)
(sqrt.f64 (*.f64 1/8 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)))
(log.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (-.f64 1 (pow.f64 v 2))))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))))
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))) 3))
(cbrt.f64 (.f64 (.f64 (sqrt.f64 1/8) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 3)))
(cbrt.f64 (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 3) (.f64 (sqrt.f64 1/8) 1/8)))
(expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))))
(exp.f64 (log.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))) 1))
(log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))))
(fma.f64 1/4 (sqrt.f64 2) (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 1/4 (sqrt.f64 2) (*.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 (sqrt.f64 2) 1/4 (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (sqrt.f64 2) 1/4 (*.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 (sqrt.f64 1/8) 1 (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (sqrt.f64 1/8) 1 (*.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 1 (sqrt.f64 1/8) (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 1 (sqrt.f64 1/8) (*.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8) (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8) (*.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 (cbrt.f64 1/8) (cbrt.f64 (sqrt.f64 1/8)) (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (cbrt.f64 1/8) (cbrt.f64 (sqrt.f64 1/8)) (*.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 (cbrt.f64 2) (.f64 (cbrt.f64 (sqrt.f64 2)) 1/4) (.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (cbrt.f64 2) (.f64 (cbrt.f64 (sqrt.f64 2)) 1/4) (.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 (sqrt.f64 (sqrt.f64 1/8)) (sqrt.f64 (sqrt.f64 1/8)) (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (sqrt.f64 (sqrt.f64 1/8)) (sqrt.f64 (sqrt.f64 1/8)) (*.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) 1/4) (.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) 1/4) (.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 (.f64 1/4 (cbrt.f64 2)) (cbrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (.f64 1/4 (cbrt.f64 2)) (cbrt.f64 (sqrt.f64 2)) (.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 (.f64 1/4 (pow.f64 2 1/4)) (pow.f64 2 1/4) (.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (.f64 1/4 (pow.f64 2 1/4)) (pow.f64 2 1/4) (.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(+.f64 0 (*.f64 (pow.f64 v 2) -3/8))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -3/8)) (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -3/8)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -3/8))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -3/8))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -3/8))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 v 2) -3/8))) 1)
(pow.f64 (*.f64 (pow.f64 v 2) -3/8) 1)
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 v 2) -3/8)) 3)
(pow.f64 (*.f64 (pow.f64 v 6) -27/512) 1/3)
(pow.f64 (*.f64 v (sqrt.f64 -3/8)) 2)
(sqrt.f64 (*.f64 (pow.f64 v 4) 9/64))
(log.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -3/8))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (pow.f64 v 2) -3/8))))
(cbrt.f64 (*.f64 (pow.f64 v 6) -27/512))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 v 2) -3/8)))
(exp.f64 (fma.f64 2 (log.f64 v) (log.f64 -3/8)))
(exp.f64 (*.f64 (fma.f64 2 (log.f64 v) (log.f64 -3/8)) 1))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 v 2) -3/8)))
(+.f64 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))
(+.f64 (sqrt.f64 1/8) (.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))) 1))
(+.f64 0 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4)))
(+.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) (sqrt.f64 1/8))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4)) (sqrt.f64 2))) (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4)) (sqrt.f64 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4)) (sqrt.f64 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4)) (sqrt.f64 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4)) (sqrt.f64 2)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4)))) 1)
(/.f64 (fma.f64 (sqrt.f64 1/8) 1/8 (pow.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) 3)) (+.f64 1/8 (-.f64 (.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2)))) (.f64 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2)))))))
(/.f64 (-.f64 1/8 (.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))) (-.f64 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2)))))
(/.f64 (.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 6) -27/512 1/64)) (fma.f64 (.f64 (pow.f64 v 2) -3/8) (fma.f64 (pow.f64 v 2) -3/8 -1/4) 1/16))
(/.f64 (.f64 (sqrt.f64 2) (-.f64 1/16 (.f64 (pow.f64 v 4) 9/64))) (+.f64 1/4 (*.f64 3/8 (pow.f64 v 2))))
(/.f64 (.f64 (fma.f64 (pow.f64 v 6) -27/512 1/64) (sqrt.f64 2)) (fma.f64 (.f64 (pow.f64 v 2) -3/8) (fma.f64 (pow.f64 v 2) -3/8 -1/4) 1/16))
(/.f64 (.f64 (-.f64 1/16 (.f64 (pow.f64 v 4) 9/64)) (sqrt.f64 2)) (+.f64 1/4 (*.f64 3/8 (pow.f64 v 2))))
(pow.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4)) 1)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))) 3)
(pow.f64 (pow.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))) 2)
(sqrt.f64 (*.f64 2 (pow.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4) 2)))
(log.f64 (pow.f64 (exp.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4)) (sqrt.f64 2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (sqrt.f64 1/8))) (exp.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))))))
(log.f64 (.f64 (exp.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2)))) (exp.f64 (sqrt.f64 1/8))))
(log.f64 (.f64 (exp.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2)))) (+.f64 1 (expm1.f64 (sqrt.f64 1/8)))))
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4)) 3))
(cbrt.f64 (.f64 (.f64 2 (sqrt.f64 2)) (pow.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4) 3)))
(cbrt.f64 (.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4) 3) (.f64 2 (sqrt.f64 2))))
(expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))))
(exp.f64 (log.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))) 1))
(log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))))
(fma.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2)) (sqrt.f64 1/8))
(fma.f64 1/4 (sqrt.f64 2) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))
(fma.f64 1/4 (sqrt.f64 2) (.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (sqrt.f64 2) 1/4 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (sqrt.f64 2) 1/4 (.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (sqrt.f64 2) (*.f64 (pow.f64 v 2) -3/8) (sqrt.f64 1/8))
(fma.f64 (sqrt.f64 1/8) 1 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (sqrt.f64 1/8) 1 (.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 1 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))
(fma.f64 1 (sqrt.f64 1/8) (.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 1 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) (sqrt.f64 1/8))
(fma.f64 -3/8 (*.f64 (pow.f64 v 2) (sqrt.f64 2)) (sqrt.f64 1/8))
(fma.f64 (*.f64 (pow.f64 v 2) -3/8) (sqrt.f64 2) (sqrt.f64 1/8))
(fma.f64 (cbrt.f64 (.f64 (pow.f64 v 4) 9/64)) (.f64 (cbrt.f64 (*.f64 (pow.f64 v 2) -3/8)) (sqrt.f64 2)) (sqrt.f64 1/8))
(fma.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8) (.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (cbrt.f64 1/8) (cbrt.f64 (sqrt.f64 1/8)) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (cbrt.f64 1/8) (cbrt.f64 (sqrt.f64 1/8)) (.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (cbrt.f64 2) (.f64 (cbrt.f64 (sqrt.f64 2)) 1/4) (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (cbrt.f64 2) (.f64 (cbrt.f64 (sqrt.f64 2)) 1/4) (.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (cbrt.f64 2) (.f64 (cbrt.f64 (sqrt.f64 2)) (.f64 (pow.f64 v 2) -3/8)) (sqrt.f64 1/8))
(fma.f64 (.f64 v (sqrt.f64 -3/8)) (.f64 (*.f64 v (sqrt.f64 -3/8)) (sqrt.f64 2)) (sqrt.f64 1/8))
(fma.f64 (sqrt.f64 (sqrt.f64 1/8)) (sqrt.f64 (sqrt.f64 1/8)) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (sqrt.f64 (sqrt.f64 1/8)) (sqrt.f64 (sqrt.f64 1/8)) (.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) 1/4) (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) 1/4) (.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) (.f64 (pow.f64 v 2) -3/8)) (sqrt.f64 1/8))
(fma.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2)))) (cbrt.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))) (cbrt.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2)))) (sqrt.f64 1/8))
(fma.f64 (sqrt.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2)))) (sqrt.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2)))) (sqrt.f64 1/8))
(fma.f64 (.f64 (.f64 v (sqrt.f64 -3/8)) (pow.f64 2 1/4)) (.f64 (.f64 v (sqrt.f64 -3/8)) (pow.f64 2 1/4)) (sqrt.f64 1/8))
(fma.f64 (.f64 (pow.f64 2 1/4) (.f64 v (sqrt.f64 -3/8))) (.f64 (pow.f64 2 1/4) (.f64 v (sqrt.f64 -3/8))) (sqrt.f64 1/8))
(fma.f64 (.f64 1/4 (cbrt.f64 2)) (cbrt.f64 (sqrt.f64 2)) (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (.f64 1/4 (cbrt.f64 2)) (cbrt.f64 (sqrt.f64 2)) (.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (.f64 1/4 (pow.f64 2 1/4)) (pow.f64 2 1/4) (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (.f64 1/4 (pow.f64 2 1/4)) (pow.f64 2 1/4) (.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (.f64 (.f64 (pow.f64 v 2) -3/8) (cbrt.f64 2)) (cbrt.f64 (sqrt.f64 2)) (sqrt.f64 1/8))
(fma.f64 (.f64 (.f64 (pow.f64 v 2) -3/8) (pow.f64 2 1/4)) (pow.f64 2 1/4) (sqrt.f64 1/8))
(fma.f64 (*.f64 (sqrt.f64 2) (pow.f64 v 2)) -3/8 (sqrt.f64 1/8))
(fma.f64 (*.f64 (sqrt.f64 2) -3/8) (pow.f64 v 2) (sqrt.f64 1/8))
(fma.f64 (.f64 (sqrt.f64 2) (cbrt.f64 (.f64 (pow.f64 v 4) 9/64))) (cbrt.f64 (*.f64 (pow.f64 v 2) -3/8)) (sqrt.f64 1/8))
(fma.f64 (.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3/8))) (*.f64 v (sqrt.f64 -3/8)) (sqrt.f64 1/8))

Outputs
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 1/4 (sqrt.f64 2))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(fma.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 (pow.f64 v 2) -1/4)))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(fma.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 (pow.f64 v 2) -1/4)))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(fma.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 (pow.f64 v 2) -1/4)))
(.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2)))
(.f64 (.f64 -1/4 (pow.f64 v 2)) (sqrt.f64 2))
(.f64 (pow.f64 v 2) (.f64 (sqrt.f64 2) -1/4))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(fma.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 (pow.f64 v 2) -1/4)))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(fma.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 (pow.f64 v 2) -1/4)))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(fma.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 (pow.f64 v 2) -1/4)))
(.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2)))
(.f64 (.f64 -1/4 (pow.f64 v 2)) (sqrt.f64 2))
(.f64 (pow.f64 v 2) (.f64 (sqrt.f64 2) -1/4))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(fma.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 (pow.f64 v 2) -1/4)))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(fma.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 (pow.f64 v 2) -1/4)))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(fma.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 (pow.f64 v 2) -1/4)))
(*.f64 -3/8 (pow.f64 v 2))
(*.f64 (pow.f64 v 2) -3/8)
(*.f64 -3/8 (pow.f64 v 2))
(*.f64 (pow.f64 v 2) -3/8)
(*.f64 -3/8 (pow.f64 v 2))
(*.f64 (pow.f64 v 2) -3/8)
(*.f64 -3/8 (pow.f64 v 2))
(*.f64 (pow.f64 v 2) -3/8)
(*.f64 -3/8 (pow.f64 v 2))
(*.f64 (pow.f64 v 2) -3/8)
(*.f64 -3/8 (pow.f64 v 2))
(*.f64 (pow.f64 v 2) -3/8)
(*.f64 -3/8 (pow.f64 v 2))
(*.f64 (pow.f64 v 2) -3/8)
(*.f64 -3/8 (pow.f64 v 2))
(*.f64 (pow.f64 v 2) -3/8)
(*.f64 -3/8 (pow.f64 v 2))
(*.f64 (pow.f64 v 2) -3/8)
(*.f64 -3/8 (pow.f64 v 2))
(*.f64 (pow.f64 v 2) -3/8)
(*.f64 -3/8 (pow.f64 v 2))
(*.f64 (pow.f64 v 2) -3/8)
(*.f64 -3/8 (pow.f64 v 2))
(*.f64 (pow.f64 v 2) -3/8)
(*.f64 1/4 (sqrt.f64 2))
(+.f64 (.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(+.f64 (.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(+.f64 (.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)))
(.f64 (pow.f64 v 2) (.f64 (sqrt.f64 2) -3/8))
(+.f64 (.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(+.f64 (.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(+.f64 (.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)))
(.f64 (pow.f64 v 2) (.f64 (sqrt.f64 2) -3/8))
(+.f64 (.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(+.f64 (.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(+.f64 (.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (*.f64 1/4 (sqrt.f64 2)))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(+.f64 0 (*.f64 (pow.f64 v 2) -3))
(*.f64 -3 (pow.f64 v 2))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2))) (cbrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))))
(*.f64 -3 (pow.f64 v 2))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 v 2) -3))) 1)
(*.f64 -3 (pow.f64 v 2))
(pow.f64 (*.f64 (pow.f64 v 2) -3) 1)
(*.f64 -3 (pow.f64 v 2))
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 v 2) -3)) 3)
(*.f64 -3 (pow.f64 v 2))
(pow.f64 (pow.f64 (*.f64 (pow.f64 v 2) -3) 3) 1/3)
(*.f64 -3 (pow.f64 v 2))
(pow.f64 (*.f64 v (sqrt.f64 -3)) 2)
(*.f64 -3 (pow.f64 v 2))
(sqrt.f64 (*.f64 (pow.f64 v 4) 9))
(log.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))
(*.f64 -3 (pow.f64 v 2))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (pow.f64 v 2) -3))))
(*.f64 -3 (pow.f64 v 2))
(cbrt.f64 (pow.f64 (*.f64 (pow.f64 v 2) -3) 3))
(*.f64 -3 (pow.f64 v 2))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 v 2) -3)))
(*.f64 -3 (pow.f64 v 2))
(exp.f64 (fma.f64 2 (log.f64 v) (log.f64 -3)))
(*.f64 -3 (pow.f64 v 2))
(exp.f64 (*.f64 (fma.f64 2 (log.f64 v) (log.f64 -3)) 1))
(*.f64 -3 (pow.f64 v 2))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 v 2) -3)))
(*.f64 -3 (pow.f64 v 2))
(+.f64 (sqrt.f64 1/8) (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(*.f64 (+.f64 (neg.f64 (pow.f64 v 2)) 1) (sqrt.f64 1/8))
(*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))
(+.f64 (sqrt.f64 1/8) (*.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(*.f64 (+.f64 (neg.f64 (pow.f64 v 2)) 1) (sqrt.f64 1/8))
(*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))
(+.f64 0 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(*.f64 (+.f64 (neg.f64 (pow.f64 v 2)) 1) (sqrt.f64 1/8))
(*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (-.f64 1 (pow.f64 v 2)))) (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (-.f64 1 (pow.f64 v 2)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (-.f64 1 (pow.f64 v 2))))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (-.f64 1 (pow.f64 v 2)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (-.f64 1 (pow.f64 v 2))))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (-.f64 1 (pow.f64 v 2))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (-.f64 1 (pow.f64 v 2))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (-.f64 1 (pow.f64 v 2))))))
(*.f64 (+.f64 (neg.f64 (pow.f64 v 2)) 1) (sqrt.f64 1/8))
(*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))) 1)
(*.f64 (+.f64 (neg.f64 (pow.f64 v 2)) 1) (sqrt.f64 1/8))
(*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))
(/.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 6))) (+.f64 1 (fma.f64 v v (pow.f64 v 4))))
(/.f64 (sqrt.f64 1/8) (/.f64 (+.f64 1 (fma.f64 v v (pow.f64 v 4))) (-.f64 1 (pow.f64 v 6))))
(*.f64 (/.f64 (-.f64 1 (pow.f64 v 6)) (+.f64 1 (fma.f64 v v (pow.f64 v 4)))) (sqrt.f64 1/8))
(*.f64 (/.f64 (sqrt.f64 1/8) (+.f64 (pow.f64 v 4) (fma.f64 v v 1))) (-.f64 1 (pow.f64 v 6)))
(/.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 4))) (fma.f64 v v 1))
(/.f64 (sqrt.f64 1/8) (/.f64 (fma.f64 v v 1) (-.f64 1 (pow.f64 v 4))))
(*.f64 (/.f64 (sqrt.f64 1/8) (fma.f64 v v 1)) (-.f64 1 (pow.f64 v 4)))
(/.f64 (*.f64 (-.f64 1 (pow.f64 v 6)) (sqrt.f64 1/8)) (+.f64 1 (fma.f64 v v (pow.f64 v 4))))
(/.f64 (sqrt.f64 1/8) (/.f64 (+.f64 1 (fma.f64 v v (pow.f64 v 4))) (-.f64 1 (pow.f64 v 6))))
(*.f64 (/.f64 (-.f64 1 (pow.f64 v 6)) (+.f64 1 (fma.f64 v v (pow.f64 v 4)))) (sqrt.f64 1/8))
(*.f64 (/.f64 (sqrt.f64 1/8) (+.f64 (pow.f64 v 4) (fma.f64 v v 1))) (-.f64 1 (pow.f64 v 6)))
(/.f64 (*.f64 (-.f64 1 (pow.f64 v 4)) (sqrt.f64 1/8)) (fma.f64 v v 1))
(/.f64 (sqrt.f64 1/8) (/.f64 (fma.f64 v v 1) (-.f64 1 (pow.f64 v 4))))
(*.f64 (/.f64 (sqrt.f64 1/8) (fma.f64 v v 1)) (-.f64 1 (pow.f64 v 4)))
(pow.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))) 1)
(*.f64 (+.f64 (neg.f64 (pow.f64 v 2)) 1) (sqrt.f64 1/8))
(*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))) 3)
(*.f64 (+.f64 (neg.f64 (pow.f64 v 2)) 1) (sqrt.f64 1/8))
(*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))
(pow.f64 (pow.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))) 3) 1/3)
(*.f64 (+.f64 (neg.f64 (pow.f64 v 2)) 1) (sqrt.f64 1/8))
(*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))) 2)
(*.f64 (+.f64 (neg.f64 (pow.f64 v 2)) 1) (sqrt.f64 1/8))
(*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))
(sqrt.f64 (*.f64 1/8 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)))
(log.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (-.f64 1 (pow.f64 v 2))))
(*.f64 (+.f64 (neg.f64 (pow.f64 v 2)) 1) (sqrt.f64 1/8))
(*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))))
(*.f64 (+.f64 (neg.f64 (pow.f64 v 2)) 1) (sqrt.f64 1/8))
(*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))) 3))
(*.f64 (+.f64 (neg.f64 (pow.f64 v 2)) 1) (sqrt.f64 1/8))
(*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))
(cbrt.f64 (.f64 (.f64 (sqrt.f64 1/8) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 3)))
(*.f64 (+.f64 (neg.f64 (pow.f64 v 2)) 1) (sqrt.f64 1/8))
(*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))
(cbrt.f64 (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 3) (.f64 (sqrt.f64 1/8) 1/8)))
(*.f64 (+.f64 (neg.f64 (pow.f64 v 2)) 1) (sqrt.f64 1/8))
(*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))
(expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))))
(*.f64 (+.f64 (neg.f64 (pow.f64 v 2)) 1) (sqrt.f64 1/8))
(*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))
(exp.f64 (log.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))))
(*.f64 (+.f64 (neg.f64 (pow.f64 v 2)) 1) (sqrt.f64 1/8))
(*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))) 1))
(*.f64 (+.f64 (neg.f64 (pow.f64 v 2)) 1) (sqrt.f64 1/8))
(*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))
(log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))))
(*.f64 (+.f64 (neg.f64 (pow.f64 v 2)) 1) (sqrt.f64 1/8))
(*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))
(fma.f64 1/4 (sqrt.f64 2) (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 1/4 (sqrt.f64 2) (*.f64 (pow.f64 v 2) (neg.f64 (sqrt.f64 1/8))))
(fma.f64 1/4 (sqrt.f64 2) (*.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 1/4 (sqrt.f64 2) (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 1/4 (sqrt.f64 2) (*.f64 (pow.f64 v 2) (neg.f64 (sqrt.f64 1/8))))
(fma.f64 (sqrt.f64 2) 1/4 (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 1/4 (sqrt.f64 2) (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 1/4 (sqrt.f64 2) (*.f64 (pow.f64 v 2) (neg.f64 (sqrt.f64 1/8))))
(fma.f64 (sqrt.f64 2) 1/4 (*.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 1/4 (sqrt.f64 2) (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 1/4 (sqrt.f64 2) (*.f64 (pow.f64 v 2) (neg.f64 (sqrt.f64 1/8))))
(fma.f64 (sqrt.f64 1/8) 1 (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(*.f64 (+.f64 (neg.f64 (pow.f64 v 2)) 1) (sqrt.f64 1/8))
(*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))
(fma.f64 (sqrt.f64 1/8) 1 (*.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(*.f64 (+.f64 (neg.f64 (pow.f64 v 2)) 1) (sqrt.f64 1/8))
(*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))
(fma.f64 1 (sqrt.f64 1/8) (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(*.f64 (+.f64 (neg.f64 (pow.f64 v 2)) 1) (sqrt.f64 1/8))
(*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))
(fma.f64 1 (sqrt.f64 1/8) (*.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(*.f64 (+.f64 (neg.f64 (pow.f64 v 2)) 1) (sqrt.f64 1/8))
(*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))
(fma.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8) (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8) (*.f64 (pow.f64 v 2) (neg.f64 (sqrt.f64 1/8))))
(-.f64 (.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8)) (.f64 (pow.f64 v 2) (sqrt.f64 1/8)))
(fma.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8) (*.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8) (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8) (*.f64 (pow.f64 v 2) (neg.f64 (sqrt.f64 1/8))))
(-.f64 (.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8)) (.f64 (pow.f64 v 2) (sqrt.f64 1/8)))
(fma.f64 (cbrt.f64 1/8) (cbrt.f64 (sqrt.f64 1/8)) (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8) (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8) (*.f64 (pow.f64 v 2) (neg.f64 (sqrt.f64 1/8))))
(-.f64 (.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8)) (.f64 (pow.f64 v 2) (sqrt.f64 1/8)))
(fma.f64 (cbrt.f64 1/8) (cbrt.f64 (sqrt.f64 1/8)) (*.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8) (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8) (*.f64 (pow.f64 v 2) (neg.f64 (sqrt.f64 1/8))))
(-.f64 (.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8)) (.f64 (pow.f64 v 2) (sqrt.f64 1/8)))
(fma.f64 (cbrt.f64 2) (.f64 (cbrt.f64 (sqrt.f64 2)) 1/4) (.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (cbrt.f64 2) (.f64 1/4 (cbrt.f64 (sqrt.f64 2))) (.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (cbrt.f64 2) (.f64 1/4 (cbrt.f64 (sqrt.f64 2))) (.f64 (pow.f64 v 2) (neg.f64 (sqrt.f64 1/8))))
(fma.f64 (cbrt.f64 (sqrt.f64 2)) (.f64 1/4 (cbrt.f64 2)) (.f64 (pow.f64 v 2) (neg.f64 (sqrt.f64 1/8))))
(fma.f64 (cbrt.f64 2) (.f64 (cbrt.f64 (sqrt.f64 2)) 1/4) (.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 (cbrt.f64 2) (.f64 1/4 (cbrt.f64 (sqrt.f64 2))) (.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (cbrt.f64 2) (.f64 1/4 (cbrt.f64 (sqrt.f64 2))) (.f64 (pow.f64 v 2) (neg.f64 (sqrt.f64 1/8))))
(fma.f64 (cbrt.f64 (sqrt.f64 2)) (.f64 1/4 (cbrt.f64 2)) (.f64 (pow.f64 v 2) (neg.f64 (sqrt.f64 1/8))))
(fma.f64 (sqrt.f64 (sqrt.f64 1/8)) (sqrt.f64 (sqrt.f64 1/8)) (*.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(*.f64 (+.f64 (neg.f64 (pow.f64 v 2)) 1) (sqrt.f64 1/8))
(*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))
(fma.f64 (sqrt.f64 (sqrt.f64 1/8)) (sqrt.f64 (sqrt.f64 1/8)) (*.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(*.f64 (+.f64 (neg.f64 (pow.f64 v 2)) 1) (sqrt.f64 1/8))
(*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))
(fma.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) 1/4) (.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (pow.f64 2 1/4) (.f64 1/4 (pow.f64 2 1/4)) (.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(-.f64 (.f64 1/4 (.f64 (pow.f64 2 1/4) (pow.f64 2 1/4))) (*.f64 (pow.f64 v 2) (sqrt.f64 1/8)))
(-.f64 (.f64 1/4 (pow.f64 2 1/2)) (.f64 (pow.f64 v 2) (sqrt.f64 1/8)))
(fma.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) 1/4) (.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 (pow.f64 2 1/4) (.f64 1/4 (pow.f64 2 1/4)) (.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(-.f64 (.f64 1/4 (.f64 (pow.f64 2 1/4) (pow.f64 2 1/4))) (*.f64 (pow.f64 v 2) (sqrt.f64 1/8)))
(-.f64 (.f64 1/4 (pow.f64 2 1/2)) (.f64 (pow.f64 v 2) (sqrt.f64 1/8)))
(fma.f64 (.f64 1/4 (cbrt.f64 2)) (cbrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (cbrt.f64 2) (.f64 1/4 (cbrt.f64 (sqrt.f64 2))) (.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (cbrt.f64 2) (.f64 1/4 (cbrt.f64 (sqrt.f64 2))) (.f64 (pow.f64 v 2) (neg.f64 (sqrt.f64 1/8))))
(fma.f64 (cbrt.f64 (sqrt.f64 2)) (.f64 1/4 (cbrt.f64 2)) (.f64 (pow.f64 v 2) (neg.f64 (sqrt.f64 1/8))))
(fma.f64 (.f64 1/4 (cbrt.f64 2)) (cbrt.f64 (sqrt.f64 2)) (.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 (cbrt.f64 2) (.f64 1/4 (cbrt.f64 (sqrt.f64 2))) (.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (cbrt.f64 2) (.f64 1/4 (cbrt.f64 (sqrt.f64 2))) (.f64 (pow.f64 v 2) (neg.f64 (sqrt.f64 1/8))))
(fma.f64 (cbrt.f64 (sqrt.f64 2)) (.f64 1/4 (cbrt.f64 2)) (.f64 (pow.f64 v 2) (neg.f64 (sqrt.f64 1/8))))
(fma.f64 (.f64 1/4 (pow.f64 2 1/4)) (pow.f64 2 1/4) (.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(fma.f64 (pow.f64 2 1/4) (.f64 1/4 (pow.f64 2 1/4)) (.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(-.f64 (.f64 1/4 (.f64 (pow.f64 2 1/4) (pow.f64 2 1/4))) (*.f64 (pow.f64 v 2) (sqrt.f64 1/8)))
(-.f64 (.f64 1/4 (pow.f64 2 1/2)) (.f64 (pow.f64 v 2) (sqrt.f64 1/8)))
(fma.f64 (.f64 1/4 (pow.f64 2 1/4)) (pow.f64 2 1/4) (.f64 (neg.f64 (pow.f64 v 2)) (sqrt.f64 1/8)))
(fma.f64 (pow.f64 2 1/4) (.f64 1/4 (pow.f64 2 1/4)) (.f64 (sqrt.f64 1/8) (neg.f64 (pow.f64 v 2))))
(-.f64 (.f64 1/4 (.f64 (pow.f64 2 1/4) (pow.f64 2 1/4))) (*.f64 (pow.f64 v 2) (sqrt.f64 1/8)))
(-.f64 (.f64 1/4 (pow.f64 2 1/2)) (.f64 (pow.f64 v 2) (sqrt.f64 1/8)))
(+.f64 0 (*.f64 (pow.f64 v 2) -3/8))
(*.f64 (pow.f64 v 2) -3/8)
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -3/8)) (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -3/8)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -3/8))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -3/8)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -3/8))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -3/8))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -3/8))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -3/8))))
(*.f64 (pow.f64 v 2) -3/8)
(-.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 v 2) -3/8))) 1)
(*.f64 (pow.f64 v 2) -3/8)
(pow.f64 (*.f64 (pow.f64 v 2) -3/8) 1)
(*.f64 (pow.f64 v 2) -3/8)
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 v 2) -3/8)) 3)
(*.f64 (pow.f64 v 2) -3/8)
(pow.f64 (*.f64 (pow.f64 v 6) -27/512) 1/3)
(cbrt.f64 (*.f64 (pow.f64 v 6) -27/512))
(pow.f64 (*.f64 v (sqrt.f64 -3/8)) 2)
(*.f64 (pow.f64 v 2) -3/8)
(sqrt.f64 (*.f64 (pow.f64 v 4) 9/64))
(log.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -3/8))
(*.f64 (pow.f64 v 2) -3/8)
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (pow.f64 v 2) -3/8))))
(*.f64 (pow.f64 v 2) -3/8)
(cbrt.f64 (*.f64 (pow.f64 v 6) -27/512))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 v 2) -3/8)))
(*.f64 (pow.f64 v 2) -3/8)
(exp.f64 (fma.f64 2 (log.f64 v) (log.f64 -3/8)))
(*.f64 (pow.f64 v 2) -3/8)
(exp.f64 (*.f64 (fma.f64 2 (log.f64 v) (log.f64 -3/8)) 1))
(*.f64 (pow.f64 v 2) -3/8)
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 v 2) -3/8)))
(*.f64 (pow.f64 v 2) -3/8)
(+.f64 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8) (sqrt.f64 1/8))
(+.f64 (sqrt.f64 1/8) (.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8) (sqrt.f64 1/8))
(+.f64 0 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4)))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(+.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) (sqrt.f64 1/8))
(fma.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8) (sqrt.f64 1/8))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4)) (sqrt.f64 2))) (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4)) (sqrt.f64 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4)) (sqrt.f64 2)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4)) (sqrt.f64 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4)) (sqrt.f64 2)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4)) (sqrt.f64 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4)) (sqrt.f64 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4)) (sqrt.f64 2)))))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4)))) 1)
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(/.f64 (fma.f64 (sqrt.f64 1/8) 1/8 (pow.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) 3)) (+.f64 1/8 (-.f64 (.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2)))) (.f64 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2)))))))
(/.f64 (fma.f64 (sqrt.f64 1/8) 1/8 (pow.f64 (.f64 (pow.f64 v 2) (.f64 (sqrt.f64 2) -3/8)) 3)) (+.f64 1/8 (.f64 (.f64 (pow.f64 v 2) (.f64 (sqrt.f64 2) -3/8)) (-.f64 (.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8)) (sqrt.f64 1/8)))))
(/.f64 (fma.f64 1/8 (sqrt.f64 1/8) (.f64 -27/512 (pow.f64 (.f64 (pow.f64 v 2) (sqrt.f64 2)) 3))) (fma.f64 (.f64 (pow.f64 v 2) (.f64 (sqrt.f64 2) -3/8)) (fma.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8) (neg.f64 (sqrt.f64 1/8))) 1/8))
(/.f64 (fma.f64 1/8 (sqrt.f64 1/8) (.f64 -27/512 (.f64 (pow.f64 v 6) (.f64 2 (sqrt.f64 2))))) (-.f64 (.f64 (pow.f64 v 4) 9/32) (fma.f64 (pow.f64 v 2) (.f64 (.f64 (sqrt.f64 2) -3/8) (sqrt.f64 1/8)) -1/8)))
(/.f64 (-.f64 1/8 (.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))) (-.f64 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2)))))
(/.f64 (-.f64 1/8 (.f64 (pow.f64 v 4) (.f64 (.f64 (sqrt.f64 2) -3/8) (.f64 (sqrt.f64 2) -3/8)))) (-.f64 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (.f64 (sqrt.f64 2) -3/8))))
(/.f64 (-.f64 1/8 (.f64 (pow.f64 v 4) (.f64 9/64 (.f64 (sqrt.f64 2) (sqrt.f64 2))))) (+.f64 (sqrt.f64 1/8) (.f64 (*.f64 (pow.f64 v 2) (sqrt.f64 2)) 3/8)))
(/.f64 (+.f64 1/8 (.f64 (pow.f64 v 4) -9/32)) (+.f64 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) 3/8))))
(/.f64 (.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 6) -27/512 1/64)) (fma.f64 (.f64 (pow.f64 v 2) -3/8) (fma.f64 (pow.f64 v 2) -3/8 -1/4) 1/16))
(/.f64 (sqrt.f64 2) (/.f64 (fma.f64 (*.f64 (pow.f64 v 2) -3/8) (fma.f64 (pow.f64 v 2) -3/8 -1/4) 1/16) (fma.f64 (pow.f64 v 6) -27/512 1/64)))
(.f64 (/.f64 (sqrt.f64 2) (fma.f64 (.f64 (pow.f64 v 2) -3/8) (fma.f64 (pow.f64 v 2) -3/8 -1/4) 1/16)) (fma.f64 (pow.f64 v 6) -27/512 1/64))
(/.f64 (.f64 (sqrt.f64 2) (-.f64 1/16 (.f64 (pow.f64 v 4) 9/64))) (+.f64 1/4 (*.f64 3/8 (pow.f64 v 2))))
(/.f64 (sqrt.f64 2) (/.f64 (+.f64 1/4 (.f64 (pow.f64 v 2) 3/8)) (-.f64 1/16 (.f64 (pow.f64 v 4) 9/64))))
(.f64 (/.f64 (-.f64 1/16 (.f64 (pow.f64 v 4) 9/64)) (fma.f64 (pow.f64 v 2) 3/8 1/4)) (sqrt.f64 2))
(.f64 (/.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) 3/8 1/4)) (+.f64 1/16 (.f64 (pow.f64 v 4) -9/64)))
(/.f64 (.f64 (fma.f64 (pow.f64 v 6) -27/512 1/64) (sqrt.f64 2)) (fma.f64 (.f64 (pow.f64 v 2) -3/8) (fma.f64 (pow.f64 v 2) -3/8 -1/4) 1/16))
(/.f64 (sqrt.f64 2) (/.f64 (fma.f64 (*.f64 (pow.f64 v 2) -3/8) (fma.f64 (pow.f64 v 2) -3/8 -1/4) 1/16) (fma.f64 (pow.f64 v 6) -27/512 1/64)))
(.f64 (/.f64 (sqrt.f64 2) (fma.f64 (.f64 (pow.f64 v 2) -3/8) (fma.f64 (pow.f64 v 2) -3/8 -1/4) 1/16)) (fma.f64 (pow.f64 v 6) -27/512 1/64))
(/.f64 (.f64 (-.f64 1/16 (.f64 (pow.f64 v 4) 9/64)) (sqrt.f64 2)) (+.f64 1/4 (*.f64 3/8 (pow.f64 v 2))))
(/.f64 (sqrt.f64 2) (/.f64 (+.f64 1/4 (.f64 (pow.f64 v 2) 3/8)) (-.f64 1/16 (.f64 (pow.f64 v 4) 9/64))))
(.f64 (/.f64 (-.f64 1/16 (.f64 (pow.f64 v 4) 9/64)) (fma.f64 (pow.f64 v 2) 3/8 1/4)) (sqrt.f64 2))
(.f64 (/.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) 3/8 1/4)) (+.f64 1/16 (.f64 (pow.f64 v 4) -9/64)))
(pow.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4)) 1)
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))) 3)
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(pow.f64 (pow.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4)) 3) 1/3)
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))) 2)
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(sqrt.f64 (*.f64 2 (pow.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4) 2)))
(log.f64 (pow.f64 (exp.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4)) (sqrt.f64 2)))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4)))))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (sqrt.f64 1/8))) (exp.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))))))
(fma.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8) (sqrt.f64 1/8))
(log.f64 (.f64 (exp.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2)))) (exp.f64 (sqrt.f64 1/8))))
(fma.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8) (sqrt.f64 1/8))
(log.f64 (.f64 (exp.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2)))) (+.f64 1 (expm1.f64 (sqrt.f64 1/8)))))
(fma.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8) (sqrt.f64 1/8))
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4)) 3))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(cbrt.f64 (.f64 (.f64 2 (sqrt.f64 2)) (pow.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4) 3)))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(cbrt.f64 (.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -3/8 1/4) 3) (.f64 2 (sqrt.f64 2))))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(exp.f64 (log.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))) 1))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(fma.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2)) (sqrt.f64 1/8))
(fma.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8) (sqrt.f64 1/8))
(fma.f64 1/4 (sqrt.f64 2) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(fma.f64 1/4 (sqrt.f64 2) (.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(fma.f64 (sqrt.f64 2) 1/4 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(fma.f64 (sqrt.f64 2) 1/4 (.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 -3/8 (.f64 (pow.f64 v 2) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) (fma.f64 (pow.f64 v 2) -3/8 1/4))
(fma.f64 (sqrt.f64 2) (*.f64 (pow.f64 v 2) -3/8) (sqrt.f64 1/8))
(fma.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8) (sqrt.f64 1/8))
(fma.f64 (sqrt.f64 1/8) 1 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8) (sqrt.f64 1/8))
(fma.f64 (sqrt.f64 1/8) 1 (.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8) (sqrt.f64 1/8))
(fma.f64 1 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8) (sqrt.f64 1/8))
(fma.f64 1 (sqrt.f64 1/8) (.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8) (sqrt.f64 1/8))
(fma.f64 1 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) (sqrt.f64 1/8))
(fma.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8) (sqrt.f64 1/8))
(fma.f64 -3/8 (*.f64 (pow.f64 v 2) (sqrt.f64 2)) (sqrt.f64 1/8))
(fma.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8) (sqrt.f64 1/8))
(fma.f64 (*.f64 (pow.f64 v 2) -3/8) (sqrt.f64 2) (sqrt.f64 1/8))
(fma.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8) (sqrt.f64 1/8))
(fma.f64 (cbrt.f64 (.f64 (pow.f64 v 4) 9/64)) (.f64 (cbrt.f64 (*.f64 (pow.f64 v 2) -3/8)) (sqrt.f64 2)) (sqrt.f64 1/8))
(fma.f64 (cbrt.f64 (.f64 (pow.f64 v 4) 9/64)) (.f64 (sqrt.f64 2) (cbrt.f64 (*.f64 (pow.f64 v 2) -3/8))) (sqrt.f64 1/8))
(fma.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8) (.f64 (pow.f64 v 2) (.f64 (sqrt.f64 2) -3/8)))
(fma.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8) (.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8) (.f64 (pow.f64 v 2) (.f64 (sqrt.f64 2) -3/8)))
(fma.f64 (cbrt.f64 1/8) (cbrt.f64 (sqrt.f64 1/8)) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8) (.f64 (pow.f64 v 2) (.f64 (sqrt.f64 2) -3/8)))
(fma.f64 (cbrt.f64 1/8) (cbrt.f64 (sqrt.f64 1/8)) (.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (cbrt.f64 (sqrt.f64 1/8)) (cbrt.f64 1/8) (.f64 (pow.f64 v 2) (.f64 (sqrt.f64 2) -3/8)))
(fma.f64 (cbrt.f64 2) (.f64 (cbrt.f64 (sqrt.f64 2)) 1/4) (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (cbrt.f64 2) (.f64 1/4 (cbrt.f64 (sqrt.f64 2))) (.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8)))
(fma.f64 (cbrt.f64 2) (.f64 (cbrt.f64 (sqrt.f64 2)) 1/4) (.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (cbrt.f64 2) (.f64 1/4 (cbrt.f64 (sqrt.f64 2))) (.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8)))
(fma.f64 (cbrt.f64 2) (.f64 (cbrt.f64 (sqrt.f64 2)) (.f64 (pow.f64 v 2) -3/8)) (sqrt.f64 1/8))
(fma.f64 (cbrt.f64 2) (.f64 (pow.f64 v 2) (.f64 -3/8 (cbrt.f64 (sqrt.f64 2)))) (sqrt.f64 1/8))
(fma.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (cbrt.f64 2))) (cbrt.f64 (sqrt.f64 2)) (sqrt.f64 1/8))
(fma.f64 (.f64 v (sqrt.f64 -3/8)) (.f64 (*.f64 v (sqrt.f64 -3/8)) (sqrt.f64 2)) (sqrt.f64 1/8))
(fma.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8) (sqrt.f64 1/8))
(fma.f64 (sqrt.f64 (sqrt.f64 1/8)) (sqrt.f64 (sqrt.f64 1/8)) (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8) (sqrt.f64 1/8))
(fma.f64 (sqrt.f64 (sqrt.f64 1/8)) (sqrt.f64 (sqrt.f64 1/8)) (.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8) (sqrt.f64 1/8))
(fma.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) 1/4) (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (pow.f64 2 1/4) (.f64 1/4 (pow.f64 2 1/4)) (.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8)))
(+.f64 (.f64 (pow.f64 v 2) (.f64 (sqrt.f64 2) -3/8)) (*.f64 1/4 (pow.f64 2 1/2)))
(fma.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) 1/4) (.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (pow.f64 2 1/4) (.f64 1/4 (pow.f64 2 1/4)) (.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8)))
(+.f64 (.f64 (pow.f64 v 2) (.f64 (sqrt.f64 2) -3/8)) (*.f64 1/4 (pow.f64 2 1/2)))
(fma.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) (.f64 (pow.f64 v 2) -3/8)) (sqrt.f64 1/8))
(fma.f64 (pow.f64 2 1/4) (.f64 (pow.f64 v 2) (.f64 -3/8 (pow.f64 2 1/4))) (sqrt.f64 1/8))
(+.f64 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (.f64 -3/8 (pow.f64 2 1/2))))
(fma.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2)))) (cbrt.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))))) (cbrt.f64 (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2)))) (sqrt.f64 1/8))
(fma.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8) (sqrt.f64 1/8))
(fma.f64 (sqrt.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2)))) (sqrt.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2)))) (sqrt.f64 1/8))
(fma.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8) (sqrt.f64 1/8))
(fma.f64 (.f64 (.f64 v (sqrt.f64 -3/8)) (pow.f64 2 1/4)) (.f64 (.f64 v (sqrt.f64 -3/8)) (pow.f64 2 1/4)) (sqrt.f64 1/8))
(fma.f64 (pow.f64 2 1/4) (.f64 (pow.f64 v 2) (.f64 -3/8 (pow.f64 2 1/4))) (sqrt.f64 1/8))
(+.f64 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (.f64 -3/8 (pow.f64 2 1/2))))
(fma.f64 (.f64 (pow.f64 2 1/4) (.f64 v (sqrt.f64 -3/8))) (.f64 (pow.f64 2 1/4) (.f64 v (sqrt.f64 -3/8))) (sqrt.f64 1/8))
(fma.f64 (pow.f64 2 1/4) (.f64 (pow.f64 v 2) (.f64 -3/8 (pow.f64 2 1/4))) (sqrt.f64 1/8))
(+.f64 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (.f64 -3/8 (pow.f64 2 1/2))))
(fma.f64 (.f64 1/4 (cbrt.f64 2)) (cbrt.f64 (sqrt.f64 2)) (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (cbrt.f64 2) (.f64 1/4 (cbrt.f64 (sqrt.f64 2))) (.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8)))
(fma.f64 (.f64 1/4 (cbrt.f64 2)) (cbrt.f64 (sqrt.f64 2)) (.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (cbrt.f64 2) (.f64 1/4 (cbrt.f64 (sqrt.f64 2))) (.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8)))
(fma.f64 (.f64 1/4 (pow.f64 2 1/4)) (pow.f64 2 1/4) (.f64 (pow.f64 v 2) (*.f64 -3/8 (sqrt.f64 2))))
(fma.f64 (pow.f64 2 1/4) (.f64 1/4 (pow.f64 2 1/4)) (.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8)))
(+.f64 (.f64 (pow.f64 v 2) (.f64 (sqrt.f64 2) -3/8)) (*.f64 1/4 (pow.f64 2 1/2)))
(fma.f64 (.f64 1/4 (pow.f64 2 1/4)) (pow.f64 2 1/4) (.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (sqrt.f64 2))) 1))
(fma.f64 (pow.f64 2 1/4) (.f64 1/4 (pow.f64 2 1/4)) (.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8)))
(+.f64 (.f64 (pow.f64 v 2) (.f64 (sqrt.f64 2) -3/8)) (*.f64 1/4 (pow.f64 2 1/2)))
(fma.f64 (.f64 (.f64 (pow.f64 v 2) -3/8) (cbrt.f64 2)) (cbrt.f64 (sqrt.f64 2)) (sqrt.f64 1/8))
(fma.f64 (cbrt.f64 2) (.f64 (cbrt.f64 (sqrt.f64 2)) (.f64 (pow.f64 v 2) -3/8)) (sqrt.f64 1/8))
(fma.f64 (cbrt.f64 2) (.f64 (pow.f64 v 2) (.f64 -3/8 (cbrt.f64 (sqrt.f64 2)))) (sqrt.f64 1/8))
(fma.f64 (.f64 (pow.f64 v 2) (.f64 -3/8 (cbrt.f64 2))) (cbrt.f64 (sqrt.f64 2)) (sqrt.f64 1/8))
(fma.f64 (.f64 (.f64 (pow.f64 v 2) -3/8) (pow.f64 2 1/4)) (pow.f64 2 1/4) (sqrt.f64 1/8))
(fma.f64 (pow.f64 2 1/4) (.f64 (pow.f64 v 2) (.f64 -3/8 (pow.f64 2 1/4))) (sqrt.f64 1/8))
(+.f64 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (.f64 -3/8 (pow.f64 2 1/2))))
(fma.f64 (*.f64 (sqrt.f64 2) (pow.f64 v 2)) -3/8 (sqrt.f64 1/8))
(fma.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8) (sqrt.f64 1/8))
(fma.f64 (*.f64 (sqrt.f64 2) -3/8) (pow.f64 v 2) (sqrt.f64 1/8))
(fma.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8) (sqrt.f64 1/8))
(fma.f64 (.f64 (sqrt.f64 2) (cbrt.f64 (.f64 (pow.f64 v 4) 9/64))) (cbrt.f64 (*.f64 (pow.f64 v 2) -3/8)) (sqrt.f64 1/8))
(fma.f64 (cbrt.f64 (.f64 (pow.f64 v 4) 9/64)) (.f64 (sqrt.f64 2) (cbrt.f64 (*.f64 (pow.f64 v 2) -3/8))) (sqrt.f64 1/8))
(fma.f64 (.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3/8))) (*.f64 v (sqrt.f64 -3/8)) (sqrt.f64 1/8))
(fma.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -3/8) (sqrt.f64 1/8))

eval106.0ms (3.6%)

Compiler: Compiled 3922 to 3222 computations (17.8% saved)

prune30.0ms (1%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	208	1	209
Fresh	0	0	0
Picked	0	3	3
Done	0	1	1
Total	208	5	213

Accuracy

100.0%

Counts

213 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 (.f64 3 v) v)))) (-.f64 1 (*.f64 v v)))
✓	100.0%	(.f64 (.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 (pow.f64 v 2) -3/8))) (-.f64 1 (.f64 v v)))
✓	99.7%	(.f64 (.f64 1/4 (sqrt.f64 2)) (-.f64 1 (*.f64 v v)))
✓	100.0%	(.f64 (sqrt.f64 (fma.f64 1/8 (.f64 (pow.f64 v 2) -3) 1/8)) (-.f64 1 (*.f64 v v)))
▶	99.7%	(*.f64 1/4 (sqrt.f64 2))
✓	100.0%	(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 (.f64 3 v) v)))) (-.f64 1 (*.f64 v v)))
✓	100.0%	(.f64 (.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 (pow.f64 v 2) -3/8))) (-.f64 1 (.f64 v v)))
✓	99.7%	(.f64 (.f64 1/4 (sqrt.f64 2)) (-.f64 1 (*.f64 v v)))
✓	100.0%	(.f64 (sqrt.f64 (fma.f64 1/8 (.f64 (pow.f64 v 2) -3) 1/8)) (-.f64 1 (*.f64 v v)))
▶	99.7%	(*.f64 1/4 (sqrt.f64 2))

Compiler

Compiled 138 to 114 computations (17.4% saved)

localize23.0ms (0.8%)

Compiler: Compiled 10 to 10 computations (0% saved)

eval0.0ms (0%)

Compiler: Compiled 1 to 1 computations (0% saved)

prune5.0ms (0.2%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	4	4
Total	5	5

Accuracy

100.0%

Counts

5 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 (.f64 3 v) v)))) (-.f64 1 (*.f64 v v)))
✓	100.0%	(.f64 (.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 (pow.f64 v 2) -3/8))) (-.f64 1 (.f64 v v)))
✓	99.7%	(.f64 (.f64 1/4 (sqrt.f64 2)) (-.f64 1 (*.f64 v v)))
✓	100.0%	(.f64 (sqrt.f64 (fma.f64 1/8 (.f64 (pow.f64 v 2) -3) 1/8)) (-.f64 1 (*.f64 v v)))
✓	99.7%	(*.f64 1/4 (sqrt.f64 2))

Compiler

Compiled 153 to 120 computations (21.6% saved)

regimes11.0ms (0.4%)

Counts

6 → 1

Calls

Call 1

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

Outputs
(.f64 (sqrt.f64 (fma.f64 1/8 (.f64 (pow.f64 v 2) -3) 1/8)) (-.f64 1 (*.f64 v v)))

Calls

3 calls:

3.0ms	v
3.0ms	(*.f64 v v)
2.0ms	(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (.f64 v v))))) (-.f64 1 (*.f64 v v)))

Results

Accuracy	Segments	Branch
100.0%	1	`v`
100.0%	1	`(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (.f64 v v))))) (-.f64 1 (*.f64 v v)))`
100.0%	1	`(*.f64 v v)`

Compiler

Compiled 110 to 81 computations (26.4% saved)

regimes9.0ms (0.3%)

Counts

5 → 1

Calls

Call 1

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

Outputs
(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (.f64 v v))))) (-.f64 1 (*.f64 v v)))

Calls

3 calls:

3.0ms	v
2.0ms	(*.f64 v v)
2.0ms	(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (.f64 v v))))) (-.f64 1 (*.f64 v v)))

Results

Accuracy	Segments	Branch
100.0%	1	`v`
100.0%	1	`(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (.f64 v v))))) (-.f64 1 (*.f64 v v)))`
100.0%	1	`(*.f64 v v)`

Compiler

Compiled 95 to 70 computations (26.3% saved)

regimes36.0ms (1.2%)

Counts

3 → 1

Calls

Call 1

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

Outputs
(.f64 (.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 (pow.f64 v 2) -3/8))) (-.f64 1 (.f64 v v)))

Calls

2 calls:

32.0ms	v
2.0ms	(*.f64 v v)

Results

Accuracy	Segments	Branch
100.0%	1	`v`
100.0%	1	`(*.f64 v v)`

Compiler

Compiled 37 to 28 computations (24.3% saved)

regimes5.0ms (0.2%)

Counts

2 → 1

Calls

Call 1

Inputs
(*.f64 1/4 (sqrt.f64 2))
(.f64 (.f64 1/4 (sqrt.f64 2)) (-.f64 1 (*.f64 v v)))

Outputs
(.f64 (.f64 1/4 (sqrt.f64 2)) (-.f64 1 (*.f64 v v)))

Calls

2 calls:

3.0ms	v
2.0ms	(*.f64 v v)

Results

Accuracy	Segments	Branch
99.7%	1	`v`
99.7%	1	`(*.f64 v v)`

Compiler

Compiled 21 to 16 computations (23.8% saved)

regimes3.0ms (0.1%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 1/4 (sqrt.f64 2))

Outputs
(*.f64 1/4 (sqrt.f64 2))

Calls

1 calls:

2.0ms

Results

Accuracy	Segments	Branch
99.7%	1	`v`

Compiler

Compiled 7 to 6 computations (14.3% saved)

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

28×	`*-commutative`
14×	`+-commutative`
12×	`sub-neg`
8×	`neg-mul-1`
8×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	223
1	58	223
2	74	223
3	82	223
4	86	223

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 69 to 56 computations (18.8% saved)

soundness679.0ms (22.9%)

Rules

1880×	`fma-def`
1880×	`fma-def`
1628×	`div-sub`
1590×	`sub-neg`
1484×	`unsub-neg`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	27	207
1	71	207
2	149	195
3	373	195
4	968	195
5	2497	183
6	4729	183
7	5769	183
8	7482	183
0	17	93
1	196	74
2	2452	66
0	267	3992
1	603	3849
2	1986	3624
3	7733	3624
0	267	3992
1	603	3849
2	1986	3624
3	7733	3624

Stop Event

1×	node limit
1×	node limit
1×	node limit
1×	node limit

Compiler

Compiled 553 to 433 computations (21.7% saved)

end0.0ms (0%)

preprocess80.0ms (2.7%)

Remove: (abs v)
Compiler: Compiled 202 to 154 computations (23.8% saved)

analyze4.0ms (0.1%)

sample1.0s (34.6%)

preprocess174.0ms (5.8%)

eval2.0ms (0.1%)

prune2.0ms (0.1%)

localize94.0ms (3.2%)

series4.0ms (0.1%)

rewrite115.0ms (3.9%)

simplify82.0ms (2.8%)

eval101.0ms (3.4%)

prune28.0ms (0.9%)

localize167.0ms (5.6%)

series3.0ms (0.1%)

rewrite92.0ms (3.1%)

simplify82.0ms (2.8%)

eval106.0ms (3.6%)

prune30.0ms (1%)

localize23.0ms (0.8%)

eval0.0ms (0%)

prune5.0ms (0.2%)

regimes11.0ms (0.4%)

regimes9.0ms (0.3%)

regimes36.0ms (1.2%)

regimes5.0ms (0.2%)

regimes3.0ms (0.1%)

simplify6.0ms (0.2%)

soundness679.0ms (22.9%)

end0.0ms (0%)

preprocess80.0ms (2.7%)

Profiling