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.1s (39.7%)

Results

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

Bogosity

preprocess196.0ms (7%)

Algorithm

1×	egg-herbie

Rules

1496×	`fma-def`
1142×	`sub-neg`
800×	`div-sub`
692×	`associate-/r*`
630×	`distribute-lft-neg-in`

Problems

256×

No Errors

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	28	280
1	78	276
2	193	260
3	619	256
4	1788	244
5	3931	244
6	5379	244
7	6463	244
8	7647	244

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))))
(neg.f64 (.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 (sqrt.f64 2) 4) (.f64 (sqrt.f64 (+.f64 1 (.f64 -3 (.f64 v v)))) (-.f64 1 (*.f64 v v))))
(.f64 (/.f64 (sqrt.f64 2) 4) (.f64 (sqrt.f64 (+.f64 1 (.f64 (.f64 -3 v) v))) (-.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 (/.f64 (sqrt.f64 2) 4) (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (-.f64 1 (.f64 v v))))
(.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 -1/4 (sqrt.f64 2))) (fma.f64 v v -1))
(.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (/.f64 -4 (fma.f64 v v -1))))
(.f64 (sqrt.f64 2) (.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) -1/4) (fma.f64 v v -1)))
(.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) 4) (.f64 (sqrt.f64 (+.f64 1 (.f64 -3 (.f64 v v)))) (-.f64 1 (*.f64 v v))))
(.f64 (/.f64 (sqrt.f64 2) 4) (.f64 (sqrt.f64 (+.f64 1 (.f64 (.f64 -3 v) v))) (-.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 (/.f64 (sqrt.f64 2) 4) (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (-.f64 1 (.f64 v v))))
(.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 -1/4 (sqrt.f64 2))) (fma.f64 v v -1))
(.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (/.f64 -4 (fma.f64 v v -1))))
(.f64 (sqrt.f64 2) (.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) -1/4) (fma.f64 v v -1)))
(.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 (sqrt.f64 2) 4) (.f64 (sqrt.f64 (+.f64 1 (.f64 -3 (.f64 v v)))) (-.f64 1 (*.f64 v v))))
(.f64 (/.f64 (sqrt.f64 2) 4) (.f64 (sqrt.f64 (+.f64 1 (.f64 (.f64 -3 v) v))) (-.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 (/.f64 (sqrt.f64 2) 4) (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (-.f64 1 (.f64 v v))))
(.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 -1/4 (sqrt.f64 2))) (fma.f64 v v -1))
(.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (/.f64 -4 (fma.f64 v v -1))))
(.f64 (sqrt.f64 2) (.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) -1/4) (fma.f64 v v -1)))
(neg.f64 (.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 -3 (.f64 v v))))) (neg.f64 (-.f64 1 (*.f64 v v))))
(.f64 (sqrt.f64 (+.f64 1 (.f64 (.f64 -3 v) v))) (.f64 (/.f64 (sqrt.f64 2) 4) (+.f64 -1 (*.f64 v v))))
(/.f64 (.f64 (sqrt.f64 (fma.f64 (.f64 v v) -3 1)) (.f64 (sqrt.f64 2) (+.f64 (.f64 v v) -1))) 4)
(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (/.f64 (sqrt.f64 2) 4) (fma.f64 v v -1)))
(.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (/.f64 4 (fma.f64 v v -1))))

Symmetry

(abs v)

Compiler

Compiled 93 to 64 computations (31.2% saved)

eval2.0ms (0.1%)

Compiler: Compiled 126 to 93 computations (26.2% saved)

prune3.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 3 (.f64 v v))))) (-.f64 1 (*.f64 v v)))
▶	100.0%	(.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (/.f64 -4 (fma.f64 v v -1))))
▶	100.0%	(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (.f64 v v))))) (-.f64 1 (*.f64 v v)))
▶	100.0%	(.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (/.f64 -4 (fma.f64 v v -1))))

Compiler

Compiled 76 to 58 computations (23.7% saved)

localize156.0ms (5.5%)

Localize:

Found 6 expressions with local error:

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

Compiler

Compiled 138 to 96 computations (30.4% saved)

series10.0ms (0.3%)

Counts

6 → 72

Calls

18 calls:

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

rewrite168.0ms (6%)

Algorithm

1×	batch-egg-rewrite

Rules

1126×	`prod-diff`
945×	`log1p-expm1-u`
514×	`expm1-udef`
512×	`log1p-udef`
308×	`associate-r`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	28	220
1	355	203
2	4757	203

Stop Event

1×	node limit

Counts

6 → 155

Calls

Call 1

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

Outputs
(+.f64 (.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) -1/4) (pow.f64 v 2)) (.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) -1/4) -1))
(+.f64 (.f64 (pow.f64 v 2) (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) -1/4)) (.f64 -1 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) -1/4)))
(-.f64 (exp.f64 (log1p.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4)))) 1)
(.f64 1 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 (fma.f64 v v -1) -1/4)))
(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4))
(.f64 (fma.f64 v v -1) (.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)) -1/4))
(.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 (fma.f64 v v -1) -1/4)) 1)
(.f64 (cbrt.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 (fma.f64 v v -1) -1/4))) (cbrt.f64 (/.f64 (fma.f64 v (*.f64 v -3) 1) (/.f64 16 (pow.f64 (fma.f64 v v -1) 2)))))
(.f64 (cbrt.f64 (/.f64 (fma.f64 v (.f64 v -3) 1) (/.f64 16 (pow.f64 (fma.f64 v v -1) 2)))) (cbrt.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4))))
(.f64 (cbrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1))) (*.f64 (fma.f64 v v -1) -1/4)))
(.f64 (sqrt.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 (fma.f64 v v -1) -1/4))) (sqrt.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4))))
(.f64 (pow.f64 (fma.f64 v (.f64 v -3) 1) 1/4) (.f64 (pow.f64 (fma.f64 v (.f64 v -3) 1) 1/4) (*.f64 (fma.f64 v v -1) -1/4)))
(.f64 (neg.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1))) (/.f64 1 (/.f64 4 (fma.f64 v v -1))))
(.f64 (.f64 (fma.f64 v v -1) -1/4) (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)))
(.f64 (.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)) -1/4) (fma.f64 v v -1))
(.f64 -1/4 (/.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (/.f64 1 (fma.f64 v v -1))))
(.f64 (/.f64 1 (cbrt.f64 (/.f64 16 (pow.f64 (fma.f64 v v -1) 2)))) (/.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (cbrt.f64 (/.f64 -4 (fma.f64 v v -1)))))
(.f64 (/.f64 1 (sqrt.f64 (/.f64 -4 (fma.f64 v v -1)))) (/.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (sqrt.f64 (/.f64 -4 (fma.f64 v v -1)))))
(.f64 (/.f64 (cbrt.f64 (fma.f64 v (.f64 v -3) 1)) 1) (/.f64 (cbrt.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))) (/.f64 -4 (fma.f64 v v -1))))
(.f64 (/.f64 (cbrt.f64 (fma.f64 v (.f64 v -3) 1)) -4) (/.f64 (cbrt.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))) (/.f64 1 (fma.f64 v v -1))))
(.f64 (/.f64 (cbrt.f64 (fma.f64 v (.f64 v -3) 1)) (cbrt.f64 (/.f64 16 (pow.f64 (fma.f64 v v -1) 2)))) (cbrt.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4))))
(.f64 (/.f64 (cbrt.f64 (fma.f64 v (.f64 v -3) 1)) (sqrt.f64 (/.f64 -4 (fma.f64 v v -1)))) (/.f64 (cbrt.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))) (sqrt.f64 (/.f64 -4 (fma.f64 v v -1)))))
(.f64 (/.f64 (pow.f64 (fma.f64 v (.f64 v -3) 1) 1/4) 1) (/.f64 (pow.f64 (fma.f64 v (*.f64 v -3) 1) 1/4) (/.f64 -4 (fma.f64 v v -1))))
(.f64 (/.f64 (pow.f64 (fma.f64 v (.f64 v -3) 1) 1/4) -4) (/.f64 (pow.f64 (fma.f64 v (*.f64 v -3) 1) 1/4) (/.f64 1 (fma.f64 v v -1))))
(.f64 (/.f64 (pow.f64 (fma.f64 v (.f64 v -3) 1) 1/4) (cbrt.f64 (/.f64 16 (pow.f64 (fma.f64 v v -1) 2)))) (/.f64 (pow.f64 (fma.f64 v (*.f64 v -3) 1) 1/4) (cbrt.f64 (/.f64 -4 (fma.f64 v v -1)))))
(.f64 (.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) -1/4) 1) (fma.f64 v v -1))
(.f64 (.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) -1/4) (cbrt.f64 (pow.f64 (fma.f64 v v -1) 2))) (cbrt.f64 (fma.f64 v v -1)))
(.f64 (.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) -1/4) (sqrt.f64 (fma.f64 v v -1))) (sqrt.f64 (fma.f64 v v -1)))
(.f64 (/.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) 1) (*.f64 (fma.f64 v v -1) -1/4))
(.f64 (/.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) 4) (neg.f64 (fma.f64 v v -1)))
(pow.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4)) 1)
(pow.f64 (cbrt.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4))) 3)
(pow.f64 (pow.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4))) 2)
(pow.f64 (/.f64 (/.f64 -4 (fma.f64 v v -1)) (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))) -1)
(neg.f64 (/.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)) (/.f64 4 (fma.f64 v v -1))))
(sqrt.f64 (/.f64 (fma.f64 v (*.f64 v -3) 1) (/.f64 16 (pow.f64 (fma.f64 v v -1) 2))))
(log.f64 (exp.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4)))))
(cbrt.f64 (pow.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4)) 3))
(cbrt.f64 (/.f64 (pow.f64 (fma.f64 v (*.f64 v -3) 1) 3/2) (pow.f64 (/.f64 -4 (fma.f64 v v -1)) 3)))
(expm1.f64 (log1p.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4))))
(exp.f64 (log.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4))))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 (fma.f64 v v -1) -1/4))) 1))
(log1p.f64 (expm1.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)))) 1)
(.f64 1 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)))
(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) 1)
(.f64 (cbrt.f64 (fma.f64 v (.f64 v -3) 1)) (cbrt.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))))
(.f64 (cbrt.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1))) (cbrt.f64 (fma.f64 v (*.f64 v -3) 1)))
(.f64 (pow.f64 (fma.f64 v (.f64 v -3) 1) 1/4) (pow.f64 (fma.f64 v (*.f64 v -3) 1) 1/4))
(.f64 (pow.f64 1 1/2) (sqrt.f64 (fma.f64 v (.f64 v -3) 1)))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 v (.f64 v -3) 1)) 2) 1/2) (pow.f64 (cbrt.f64 (fma.f64 v (*.f64 v -3) 1)) 1/2))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 v (.f64 v -3) 1)) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 v (*.f64 v -3) 1))))
(/.f64 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 v 4) 9))) (sqrt.f64 (+.f64 1 (.f64 3 (pow.f64 v 2)))))
(/.f64 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (pow.f64 v 2) 3) 27))) (sqrt.f64 (+.f64 1 (+.f64 (.f64 3 (pow.f64 v 2)) (*.f64 (pow.f64 v 4) 9)))))
(pow.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)) 1)
(pow.f64 (fma.f64 v (*.f64 v -3) 1) 1/2)
(pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))) 3)
(pow.f64 (pow.f64 (fma.f64 v (*.f64 v -3) 1) 3/2) 1/3)
(pow.f64 (pow.f64 (fma.f64 v (*.f64 v -3) 1) 1/4) 2)
(fabs.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)))
(log.f64 (exp.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)))))
(cbrt.f64 (pow.f64 (fma.f64 v (*.f64 v -3) 1) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))))
(exp.f64 (.f64 1/2 (log1p.f64 (.f64 -3 (pow.f64 v 2)))))
(exp.f64 (.f64 (log1p.f64 (.f64 -3 (pow.f64 v 2))) 1/2))
(exp.f64 (.f64 (.f64 1/2 (log1p.f64 (*.f64 -3 (pow.f64 v 2)))) 1))
(log1p.f64 (expm1.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))))
(-.f64 (exp.f64 (log1p.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 v (*.f64 v -3) 1) 1/8)) (neg.f64 (fma.f64 v v -1))))) 1)
(/.f64 1 (/.f64 (/.f64 -4 (fma.f64 v v -1)) (sqrt.f64 (.f64 2 (fma.f64 v (.f64 v -3) 1)))))
(/.f64 (sqrt.f64 2) (/.f64 (/.f64 -4 (fma.f64 v v -1)) (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))))
(/.f64 (sqrt.f64 (.f64 2 (fma.f64 v (.f64 v -3) 1))) (/.f64 -4 (fma.f64 v v -1)))
(/.f64 (neg.f64 (sqrt.f64 (.f64 2 (fma.f64 v (.f64 v -3) 1)))) (/.f64 4 (fma.f64 v v -1)))
(/.f64 (.f64 (sqrt.f64 2) (neg.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)))) (/.f64 4 (fma.f64 v v -1)))
(/.f64 (.f64 (neg.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1))) (sqrt.f64 2)) (/.f64 4 (fma.f64 v v -1)))
(/.f64 (/.f64 (sqrt.f64 (.f64 2 (fma.f64 v (.f64 v -3) 1))) 1) (/.f64 -4 (fma.f64 v v -1)))
(/.f64 (/.f64 (sqrt.f64 (.f64 2 (fma.f64 v (.f64 v -3) 1))) -4) (/.f64 1 (fma.f64 v v -1)))
(/.f64 (/.f64 (sqrt.f64 (.f64 2 (fma.f64 v (.f64 v -3) 1))) (cbrt.f64 (/.f64 16 (pow.f64 (fma.f64 v v -1) 2)))) (cbrt.f64 (/.f64 -4 (fma.f64 v v -1))))
(/.f64 (/.f64 (sqrt.f64 (.f64 2 (fma.f64 v (.f64 v -3) 1))) (sqrt.f64 (/.f64 -4 (fma.f64 v v -1)))) (sqrt.f64 (/.f64 -4 (fma.f64 v v -1))))
(pow.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 v (*.f64 v -3) 1) 1/8)) (neg.f64 (fma.f64 v v -1))) 1)
(pow.f64 (cbrt.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 v (*.f64 v -3) 1) 1/8)) (neg.f64 (fma.f64 v v -1)))) 3)
(pow.f64 (pow.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 v (*.f64 v -3) 1) 1/8)) (neg.f64 (fma.f64 v v -1))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 v (*.f64 v -3) 1) 1/8)) (neg.f64 (fma.f64 v v -1)))) 2)
(sqrt.f64 (.f64 2 (/.f64 (fma.f64 v (.f64 v -3) 1) (/.f64 16 (pow.f64 (fma.f64 v v -1) 2)))))
(log.f64 (exp.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 v (*.f64 v -3) 1) 1/8)) (neg.f64 (fma.f64 v v -1)))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 v (*.f64 v -3) 1) 1/8)) (neg.f64 (fma.f64 v v -1))))))
(cbrt.f64 (pow.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 v (*.f64 v -3) 1) 1/8)) (neg.f64 (fma.f64 v v -1))) 3))
(cbrt.f64 (.f64 (pow.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 (fma.f64 v v -1) -1/4)) 3) (*.f64 2 (sqrt.f64 2))))
(cbrt.f64 (.f64 (.f64 2 (sqrt.f64 2)) (pow.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4)) 3)))
(expm1.f64 (log1p.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 v (*.f64 v -3) 1) 1/8)) (neg.f64 (fma.f64 v v -1)))))
(exp.f64 (log.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 v (*.f64 v -3) 1) 1/8)) (neg.f64 (fma.f64 v v -1)))))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8)) (neg.f64 (fma.f64 v v -1)))) 1))
(log1p.f64 (expm1.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 v (*.f64 v -3) 1) 1/8)) (neg.f64 (fma.f64 v v -1)))))
(-.f64 (+.f64 1 (*.f64 3 (pow.f64 v 2))) 1)
(pow.f64 (*.f64 3 (pow.f64 v 2)) 1)
(pow.f64 (cbrt.f64 (*.f64 3 (pow.f64 v 2))) 3)
(pow.f64 (*.f64 (pow.f64 (pow.f64 v 2) 3) 27) 1/3)
(pow.f64 (*.f64 v (sqrt.f64 3)) 2)
(sqrt.f64 (*.f64 (pow.f64 v 4) 9))
(log.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) 3))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 3 (pow.f64 v 2)))))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 v 2) 3) 27))
(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))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8)))) 1)
(/.f64 1 (/.f64 4 (sqrt.f64 (.f64 2 (fma.f64 v (.f64 v -3) 1)))))
(/.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)) (/.f64 4 (sqrt.f64 2)))
(/.f64 (sqrt.f64 2) (/.f64 4 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))))
(/.f64 (sqrt.f64 (.f64 2 (fma.f64 v (.f64 v -3) 1))) 4)
(/.f64 (neg.f64 (sqrt.f64 (.f64 2 (fma.f64 v (.f64 v -3) 1)))) -4)
(/.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (neg.f64 (sqrt.f64 2))) -4)
(/.f64 (.f64 (neg.f64 (sqrt.f64 2)) (sqrt.f64 (fma.f64 v (.f64 v -3) 1))) -4)
(pow.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8)) 1)
(pow.f64 (cbrt.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8))) 3)
(pow.f64 (pow.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8)) 3) 1/3)
(pow.f64 (sqrt.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8))) 2)
(sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8))
(log.f64 (exp.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8))))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8)))))
(cbrt.f64 (pow.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8)) 3))
(cbrt.f64 (.f64 (.f64 (sqrt.f64 1/8) 1/8) (pow.f64 (fma.f64 v (*.f64 v -3) 1) 3/2)))
(cbrt.f64 (.f64 (pow.f64 (fma.f64 v (.f64 v -3) 1) 3/2) (*.f64 (sqrt.f64 1/8) 1/8)))
(expm1.f64 (log1p.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8))))
(exp.f64 (log.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8))))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (fma.f64 v (*.f64 v -3) 1) 1/8))) 1))
(log1p.f64 (expm1.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)))) 1)
(.f64 1 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)))
(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) 1)
(.f64 (cbrt.f64 (fma.f64 v (.f64 v -3) 1)) (cbrt.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))))
(.f64 (cbrt.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1))) (cbrt.f64 (fma.f64 v (*.f64 v -3) 1)))
(.f64 (pow.f64 (fma.f64 v (.f64 v -3) 1) 1/4) (pow.f64 (fma.f64 v (*.f64 v -3) 1) 1/4))
(.f64 (pow.f64 1 1/2) (sqrt.f64 (fma.f64 v (.f64 v -3) 1)))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 v (.f64 v -3) 1)) 2) 1/2) (pow.f64 (cbrt.f64 (fma.f64 v (*.f64 v -3) 1)) 1/2))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 v (.f64 v -3) 1)) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 v (*.f64 v -3) 1))))
(/.f64 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 v 4) 9))) (sqrt.f64 (+.f64 1 (.f64 3 (pow.f64 v 2)))))
(/.f64 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (pow.f64 v 2) 3) 27))) (sqrt.f64 (+.f64 1 (+.f64 (.f64 3 (pow.f64 v 2)) (*.f64 (pow.f64 v 4) 9)))))
(pow.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)) 1)
(pow.f64 (fma.f64 v (*.f64 v -3) 1) 1/2)
(pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))) 3)
(pow.f64 (pow.f64 (fma.f64 v (*.f64 v -3) 1) 3/2) 1/3)
(pow.f64 (pow.f64 (fma.f64 v (*.f64 v -3) 1) 1/4) 2)
(fabs.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)))
(log.f64 (exp.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)))))
(cbrt.f64 (pow.f64 (fma.f64 v (*.f64 v -3) 1) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))))
(exp.f64 (.f64 1/2 (log1p.f64 (.f64 -3 (pow.f64 v 2)))))
(exp.f64 (.f64 (log1p.f64 (.f64 -3 (pow.f64 v 2))) 1/2))
(exp.f64 (.f64 (.f64 1/2 (log1p.f64 (*.f64 -3 (pow.f64 v 2)))) 1))
(log1p.f64 (expm1.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))))

simplify132.0ms (4.7%)

Algorithm

1×	egg-herbie

Rules

1418×	`times-frac`
686×	`associate-r`
674×	`fma-def`
646×	`associate-l`
628×	`log-prod`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	496	11528
1	1310	11190
2	5148	11158

Stop Event

1×	node limit

Counts

227 → 315

Calls

Call 1

Inputs
1/4
(+.f64 1/4 (*.f64 -5/8 (pow.f64 v 2)))
(+.f64 1/4 (+.f64 (.f64 -5/8 (pow.f64 v 2)) (.f64 3/32 (pow.f64 v 4))))
(+.f64 1/4 (+.f64 (.f64 -5/8 (pow.f64 v 2)) (+.f64 (.f64 -9/64 (pow.f64 v 6)) (*.f64 3/32 (pow.f64 v 4)))))
(.f64 -1/4 (.f64 (pow.f64 v 3) (sqrt.f64 -3)))
(+.f64 (.f64 -1/4 (.f64 v (+.f64 (.f64 -1 (sqrt.f64 -3)) (.f64 1/2 (/.f64 1 (sqrt.f64 -3)))))) (.f64 -1/4 (.f64 (pow.f64 v 3) (sqrt.f64 -3))))
(+.f64 (.f64 -1/4 (.f64 v (+.f64 (.f64 -1 (sqrt.f64 -3)) (.f64 1/2 (/.f64 1 (sqrt.f64 -3)))))) (+.f64 (.f64 -1/4 (.f64 (pow.f64 v 3) (sqrt.f64 -3))) (.f64 1/4 (/.f64 (+.f64 (.f64 1/2 (/.f64 1 (sqrt.f64 -3))) (*.f64 1/8 (/.f64 1 (pow.f64 (sqrt.f64 -3) 3)))) v))))
(+.f64 (.f64 -1/4 (.f64 v (+.f64 (.f64 -1 (sqrt.f64 -3)) (.f64 1/2 (/.f64 1 (sqrt.f64 -3)))))) (+.f64 (.f64 -1/4 (.f64 (pow.f64 v 3) (sqrt.f64 -3))) (+.f64 (.f64 -1/4 (/.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 (sqrt.f64 -3) 3))) (.f64 1/16 (/.f64 1 (pow.f64 (sqrt.f64 -3) 5)))) (pow.f64 v 3))) (.f64 1/4 (/.f64 (+.f64 (.f64 1/2 (/.f64 1 (sqrt.f64 -3))) (.f64 1/8 (/.f64 1 (pow.f64 (sqrt.f64 -3) 3)))) v)))))
(.f64 1/4 (.f64 (pow.f64 v 3) (sqrt.f64 -3)))
(+.f64 (.f64 1/4 (.f64 v (+.f64 (.f64 -1 (sqrt.f64 -3)) (.f64 1/2 (/.f64 1 (sqrt.f64 -3)))))) (.f64 1/4 (.f64 (pow.f64 v 3) (sqrt.f64 -3))))
(+.f64 (.f64 -1/4 (/.f64 (+.f64 (.f64 1/2 (/.f64 1 (sqrt.f64 -3))) (.f64 1/8 (/.f64 1 (pow.f64 (sqrt.f64 -3) 3)))) v)) (+.f64 (.f64 1/4 (.f64 v (+.f64 (.f64 -1 (sqrt.f64 -3)) (.f64 1/2 (/.f64 1 (sqrt.f64 -3)))))) (.f64 1/4 (*.f64 (pow.f64 v 3) (sqrt.f64 -3)))))
(+.f64 (.f64 -1/4 (/.f64 (+.f64 (.f64 1/2 (/.f64 1 (sqrt.f64 -3))) (.f64 1/8 (/.f64 1 (pow.f64 (sqrt.f64 -3) 3)))) v)) (+.f64 (.f64 1/4 (.f64 v (+.f64 (.f64 -1 (sqrt.f64 -3)) (.f64 1/2 (/.f64 1 (sqrt.f64 -3)))))) (+.f64 (.f64 1/4 (.f64 (pow.f64 v 3) (sqrt.f64 -3))) (.f64 1/4 (/.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 (sqrt.f64 -3) 3))) (.f64 1/16 (/.f64 1 (pow.f64 (sqrt.f64 -3) 5)))) (pow.f64 v 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 1/4 (sqrt.f64 2))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 v 2) (+.f64 (sqrt.f64 2) (.f64 3/2 (sqrt.f64 2))))) (.f64 1/4 (sqrt.f64 2)))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 v 2) (+.f64 (sqrt.f64 2) (.f64 3/2 (sqrt.f64 2))))) (+.f64 (.f64 -1/4 (.f64 (pow.f64 v 4) (+.f64 (.f64 -3/2 (sqrt.f64 2)) (.f64 9/8 (sqrt.f64 2))))) (.f64 1/4 (sqrt.f64 2))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 v 2) (+.f64 (sqrt.f64 2) (.f64 3/2 (sqrt.f64 2))))) (+.f64 (.f64 -1/4 (.f64 (pow.f64 v 4) (+.f64 (.f64 -3/2 (sqrt.f64 2)) (.f64 9/8 (sqrt.f64 2))))) (+.f64 (.f64 -1/4 (.f64 (pow.f64 v 6) (+.f64 (.f64 -9/8 (sqrt.f64 2)) (.f64 27/16 (sqrt.f64 2))))) (.f64 1/4 (sqrt.f64 2)))))
(.f64 -1/4 (.f64 (pow.f64 v 3) (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))
(+.f64 (.f64 -1/4 (.f64 v (+.f64 (.f64 -1 (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (.f64 1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))))) (.f64 -1/4 (.f64 (pow.f64 v 3) (.f64 (sqrt.f64 -3) (sqrt.f64 2)))))
(+.f64 (.f64 -1/4 (.f64 v (+.f64 (.f64 -1 (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (.f64 1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))))) (+.f64 (.f64 -1/4 (.f64 (pow.f64 v 3) (.f64 (sqrt.f64 -3) (sqrt.f64 2)))) (.f64 -1/4 (/.f64 (+.f64 (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3))) (*.f64 -1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3)))) v))))
(+.f64 (.f64 -1/4 (.f64 v (+.f64 (.f64 -1 (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (.f64 1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))))) (+.f64 (.f64 -1/4 (.f64 (pow.f64 v 3) (.f64 (sqrt.f64 -3) (sqrt.f64 2)))) (+.f64 (.f64 -1/4 (/.f64 (+.f64 (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3))) (.f64 -1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3)))) v)) (.f64 -1/4 (/.f64 (+.f64 (.f64 1/16 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 5))) (.f64 1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3)))) (pow.f64 v 3))))))
(.f64 1/4 (.f64 (pow.f64 v 3) (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))
(+.f64 (.f64 1/4 (.f64 v (+.f64 (.f64 -1 (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (.f64 1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))))) (.f64 1/4 (.f64 (pow.f64 v 3) (.f64 (sqrt.f64 -3) (sqrt.f64 2)))))
(+.f64 (.f64 1/4 (.f64 v (+.f64 (.f64 -1 (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (.f64 1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))))) (+.f64 (.f64 1/4 (.f64 (pow.f64 v 3) (.f64 (sqrt.f64 -3) (sqrt.f64 2)))) (.f64 1/4 (/.f64 (+.f64 (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3))) (*.f64 -1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3)))) v))))
(+.f64 (.f64 1/4 (.f64 v (+.f64 (.f64 -1 (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (.f64 1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))))) (+.f64 (.f64 1/4 (.f64 (pow.f64 v 3) (.f64 (sqrt.f64 -3) (sqrt.f64 2)))) (+.f64 (.f64 1/4 (/.f64 (+.f64 (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3))) (.f64 -1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3)))) v)) (.f64 1/4 (/.f64 (+.f64 (.f64 1/16 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 5))) (.f64 1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3)))) (pow.f64 v 3))))))
(*.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 (.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) -1/4) (pow.f64 v 2)) (.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) -1/4) -1))
(+.f64 (.f64 (pow.f64 v 2) (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) -1/4)) (.f64 -1 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) -1/4)))
(-.f64 (exp.f64 (log1p.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4)))) 1)
(.f64 1 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 (fma.f64 v v -1) -1/4)))
(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4))
(.f64 (fma.f64 v v -1) (.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)) -1/4))
(.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 (fma.f64 v v -1) -1/4)) 1)
(.f64 (cbrt.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 (fma.f64 v v -1) -1/4))) (cbrt.f64 (/.f64 (fma.f64 v (*.f64 v -3) 1) (/.f64 16 (pow.f64 (fma.f64 v v -1) 2)))))
(.f64 (cbrt.f64 (/.f64 (fma.f64 v (.f64 v -3) 1) (/.f64 16 (pow.f64 (fma.f64 v v -1) 2)))) (cbrt.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4))))
(.f64 (cbrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1))) (*.f64 (fma.f64 v v -1) -1/4)))
(.f64 (sqrt.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 (fma.f64 v v -1) -1/4))) (sqrt.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4))))
(.f64 (pow.f64 (fma.f64 v (.f64 v -3) 1) 1/4) (.f64 (pow.f64 (fma.f64 v (.f64 v -3) 1) 1/4) (*.f64 (fma.f64 v v -1) -1/4)))
(.f64 (neg.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1))) (/.f64 1 (/.f64 4 (fma.f64 v v -1))))
(.f64 (.f64 (fma.f64 v v -1) -1/4) (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)))
(.f64 (.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)) -1/4) (fma.f64 v v -1))
(.f64 -1/4 (/.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (/.f64 1 (fma.f64 v v -1))))
(.f64 (/.f64 1 (cbrt.f64 (/.f64 16 (pow.f64 (fma.f64 v v -1) 2)))) (/.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (cbrt.f64 (/.f64 -4 (fma.f64 v v -1)))))
(.f64 (/.f64 1 (sqrt.f64 (/.f64 -4 (fma.f64 v v -1)))) (/.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (sqrt.f64 (/.f64 -4 (fma.f64 v v -1)))))
(.f64 (/.f64 (cbrt.f64 (fma.f64 v (.f64 v -3) 1)) 1) (/.f64 (cbrt.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))) (/.f64 -4 (fma.f64 v v -1))))
(.f64 (/.f64 (cbrt.f64 (fma.f64 v (.f64 v -3) 1)) -4) (/.f64 (cbrt.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))) (/.f64 1 (fma.f64 v v -1))))
(.f64 (/.f64 (cbrt.f64 (fma.f64 v (.f64 v -3) 1)) (cbrt.f64 (/.f64 16 (pow.f64 (fma.f64 v v -1) 2)))) (cbrt.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4))))
(.f64 (/.f64 (cbrt.f64 (fma.f64 v (.f64 v -3) 1)) (sqrt.f64 (/.f64 -4 (fma.f64 v v -1)))) (/.f64 (cbrt.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))) (sqrt.f64 (/.f64 -4 (fma.f64 v v -1)))))
(.f64 (/.f64 (pow.f64 (fma.f64 v (.f64 v -3) 1) 1/4) 1) (/.f64 (pow.f64 (fma.f64 v (*.f64 v -3) 1) 1/4) (/.f64 -4 (fma.f64 v v -1))))
(.f64 (/.f64 (pow.f64 (fma.f64 v (.f64 v -3) 1) 1/4) -4) (/.f64 (pow.f64 (fma.f64 v (*.f64 v -3) 1) 1/4) (/.f64 1 (fma.f64 v v -1))))
(.f64 (/.f64 (pow.f64 (fma.f64 v (.f64 v -3) 1) 1/4) (cbrt.f64 (/.f64 16 (pow.f64 (fma.f64 v v -1) 2)))) (/.f64 (pow.f64 (fma.f64 v (*.f64 v -3) 1) 1/4) (cbrt.f64 (/.f64 -4 (fma.f64 v v -1)))))
(.f64 (.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) -1/4) 1) (fma.f64 v v -1))
(.f64 (.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) -1/4) (cbrt.f64 (pow.f64 (fma.f64 v v -1) 2))) (cbrt.f64 (fma.f64 v v -1)))
(.f64 (.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) -1/4) (sqrt.f64 (fma.f64 v v -1))) (sqrt.f64 (fma.f64 v v -1)))
(.f64 (/.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) 1) (*.f64 (fma.f64 v v -1) -1/4))
(.f64 (/.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) 4) (neg.f64 (fma.f64 v v -1)))
(pow.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4)) 1)
(pow.f64 (cbrt.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4))) 3)
(pow.f64 (pow.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4))) 2)
(pow.f64 (/.f64 (/.f64 -4 (fma.f64 v v -1)) (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))) -1)
(neg.f64 (/.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)) (/.f64 4 (fma.f64 v v -1))))
(sqrt.f64 (/.f64 (fma.f64 v (*.f64 v -3) 1) (/.f64 16 (pow.f64 (fma.f64 v v -1) 2))))
(log.f64 (exp.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4)))))
(cbrt.f64 (pow.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4)) 3))
(cbrt.f64 (/.f64 (pow.f64 (fma.f64 v (*.f64 v -3) 1) 3/2) (pow.f64 (/.f64 -4 (fma.f64 v v -1)) 3)))
(expm1.f64 (log1p.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4))))
(exp.f64 (log.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4))))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 (fma.f64 v v -1) -1/4))) 1))
(log1p.f64 (expm1.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)))) 1)
(.f64 1 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)))
(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) 1)
(.f64 (cbrt.f64 (fma.f64 v (.f64 v -3) 1)) (cbrt.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))))
(.f64 (cbrt.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1))) (cbrt.f64 (fma.f64 v (*.f64 v -3) 1)))
(.f64 (pow.f64 (fma.f64 v (.f64 v -3) 1) 1/4) (pow.f64 (fma.f64 v (*.f64 v -3) 1) 1/4))
(.f64 (pow.f64 1 1/2) (sqrt.f64 (fma.f64 v (.f64 v -3) 1)))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 v (.f64 v -3) 1)) 2) 1/2) (pow.f64 (cbrt.f64 (fma.f64 v (*.f64 v -3) 1)) 1/2))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 v (.f64 v -3) 1)) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 v (*.f64 v -3) 1))))
(/.f64 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 v 4) 9))) (sqrt.f64 (+.f64 1 (.f64 3 (pow.f64 v 2)))))
(/.f64 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (pow.f64 v 2) 3) 27))) (sqrt.f64 (+.f64 1 (+.f64 (.f64 3 (pow.f64 v 2)) (*.f64 (pow.f64 v 4) 9)))))
(pow.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)) 1)
(pow.f64 (fma.f64 v (*.f64 v -3) 1) 1/2)
(pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))) 3)
(pow.f64 (pow.f64 (fma.f64 v (*.f64 v -3) 1) 3/2) 1/3)
(pow.f64 (pow.f64 (fma.f64 v (*.f64 v -3) 1) 1/4) 2)
(fabs.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)))
(log.f64 (exp.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)))))
(cbrt.f64 (pow.f64 (fma.f64 v (*.f64 v -3) 1) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))))
(exp.f64 (.f64 1/2 (log1p.f64 (.f64 -3 (pow.f64 v 2)))))
(exp.f64 (.f64 (log1p.f64 (.f64 -3 (pow.f64 v 2))) 1/2))
(exp.f64 (.f64 (.f64 1/2 (log1p.f64 (*.f64 -3 (pow.f64 v 2)))) 1))
(log1p.f64 (expm1.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))))
(-.f64 (exp.f64 (log1p.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 v (*.f64 v -3) 1) 1/8)) (neg.f64 (fma.f64 v v -1))))) 1)
(/.f64 1 (/.f64 (/.f64 -4 (fma.f64 v v -1)) (sqrt.f64 (.f64 2 (fma.f64 v (.f64 v -3) 1)))))
(/.f64 (sqrt.f64 2) (/.f64 (/.f64 -4 (fma.f64 v v -1)) (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))))
(/.f64 (sqrt.f64 (.f64 2 (fma.f64 v (.f64 v -3) 1))) (/.f64 -4 (fma.f64 v v -1)))
(/.f64 (neg.f64 (sqrt.f64 (.f64 2 (fma.f64 v (.f64 v -3) 1)))) (/.f64 4 (fma.f64 v v -1)))
(/.f64 (.f64 (sqrt.f64 2) (neg.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)))) (/.f64 4 (fma.f64 v v -1)))
(/.f64 (.f64 (neg.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1))) (sqrt.f64 2)) (/.f64 4 (fma.f64 v v -1)))
(/.f64 (/.f64 (sqrt.f64 (.f64 2 (fma.f64 v (.f64 v -3) 1))) 1) (/.f64 -4 (fma.f64 v v -1)))
(/.f64 (/.f64 (sqrt.f64 (.f64 2 (fma.f64 v (.f64 v -3) 1))) -4) (/.f64 1 (fma.f64 v v -1)))
(/.f64 (/.f64 (sqrt.f64 (.f64 2 (fma.f64 v (.f64 v -3) 1))) (cbrt.f64 (/.f64 16 (pow.f64 (fma.f64 v v -1) 2)))) (cbrt.f64 (/.f64 -4 (fma.f64 v v -1))))
(/.f64 (/.f64 (sqrt.f64 (.f64 2 (fma.f64 v (.f64 v -3) 1))) (sqrt.f64 (/.f64 -4 (fma.f64 v v -1)))) (sqrt.f64 (/.f64 -4 (fma.f64 v v -1))))
(pow.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 v (*.f64 v -3) 1) 1/8)) (neg.f64 (fma.f64 v v -1))) 1)
(pow.f64 (cbrt.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 v (*.f64 v -3) 1) 1/8)) (neg.f64 (fma.f64 v v -1)))) 3)
(pow.f64 (pow.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 v (*.f64 v -3) 1) 1/8)) (neg.f64 (fma.f64 v v -1))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 v (*.f64 v -3) 1) 1/8)) (neg.f64 (fma.f64 v v -1)))) 2)
(sqrt.f64 (.f64 2 (/.f64 (fma.f64 v (.f64 v -3) 1) (/.f64 16 (pow.f64 (fma.f64 v v -1) 2)))))
(log.f64 (exp.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 v (*.f64 v -3) 1) 1/8)) (neg.f64 (fma.f64 v v -1)))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 v (*.f64 v -3) 1) 1/8)) (neg.f64 (fma.f64 v v -1))))))
(cbrt.f64 (pow.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 v (*.f64 v -3) 1) 1/8)) (neg.f64 (fma.f64 v v -1))) 3))
(cbrt.f64 (.f64 (pow.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 (fma.f64 v v -1) -1/4)) 3) (*.f64 2 (sqrt.f64 2))))
(cbrt.f64 (.f64 (.f64 2 (sqrt.f64 2)) (pow.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (*.f64 (fma.f64 v v -1) -1/4)) 3)))
(expm1.f64 (log1p.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 v (*.f64 v -3) 1) 1/8)) (neg.f64 (fma.f64 v v -1)))))
(exp.f64 (log.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 v (*.f64 v -3) 1) 1/8)) (neg.f64 (fma.f64 v v -1)))))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8)) (neg.f64 (fma.f64 v v -1)))) 1))
(log1p.f64 (expm1.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 v (*.f64 v -3) 1) 1/8)) (neg.f64 (fma.f64 v v -1)))))
(-.f64 (+.f64 1 (*.f64 3 (pow.f64 v 2))) 1)
(pow.f64 (*.f64 3 (pow.f64 v 2)) 1)
(pow.f64 (cbrt.f64 (*.f64 3 (pow.f64 v 2))) 3)
(pow.f64 (*.f64 (pow.f64 (pow.f64 v 2) 3) 27) 1/3)
(pow.f64 (*.f64 v (sqrt.f64 3)) 2)
(sqrt.f64 (*.f64 (pow.f64 v 4) 9))
(log.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) 3))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 3 (pow.f64 v 2)))))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 v 2) 3) 27))
(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))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8)))) 1)
(/.f64 1 (/.f64 4 (sqrt.f64 (.f64 2 (fma.f64 v (.f64 v -3) 1)))))
(/.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)) (/.f64 4 (sqrt.f64 2)))
(/.f64 (sqrt.f64 2) (/.f64 4 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))))
(/.f64 (sqrt.f64 (.f64 2 (fma.f64 v (.f64 v -3) 1))) 4)
(/.f64 (neg.f64 (sqrt.f64 (.f64 2 (fma.f64 v (.f64 v -3) 1)))) -4)
(/.f64 (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (neg.f64 (sqrt.f64 2))) -4)
(/.f64 (.f64 (neg.f64 (sqrt.f64 2)) (sqrt.f64 (fma.f64 v (.f64 v -3) 1))) -4)
(pow.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8)) 1)
(pow.f64 (cbrt.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8))) 3)
(pow.f64 (pow.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8)) 3) 1/3)
(pow.f64 (sqrt.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8))) 2)
(sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8))
(log.f64 (exp.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8))))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8)))))
(cbrt.f64 (pow.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8)) 3))
(cbrt.f64 (.f64 (.f64 (sqrt.f64 1/8) 1/8) (pow.f64 (fma.f64 v (*.f64 v -3) 1) 3/2)))
(cbrt.f64 (.f64 (pow.f64 (fma.f64 v (.f64 v -3) 1) 3/2) (*.f64 (sqrt.f64 1/8) 1/8)))
(expm1.f64 (log1p.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8))))
(exp.f64 (log.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8))))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (fma.f64 v (*.f64 v -3) 1) 1/8))) 1))
(log1p.f64 (expm1.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)))) 1)
(.f64 1 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)))
(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) 1)
(.f64 (cbrt.f64 (fma.f64 v (.f64 v -3) 1)) (cbrt.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))))
(.f64 (cbrt.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1))) (cbrt.f64 (fma.f64 v (*.f64 v -3) 1)))
(.f64 (pow.f64 (fma.f64 v (.f64 v -3) 1) 1/4) (pow.f64 (fma.f64 v (*.f64 v -3) 1) 1/4))
(.f64 (pow.f64 1 1/2) (sqrt.f64 (fma.f64 v (.f64 v -3) 1)))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 v (.f64 v -3) 1)) 2) 1/2) (pow.f64 (cbrt.f64 (fma.f64 v (*.f64 v -3) 1)) 1/2))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 v (.f64 v -3) 1)) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 v (*.f64 v -3) 1))))
(/.f64 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 v 4) 9))) (sqrt.f64 (+.f64 1 (.f64 3 (pow.f64 v 2)))))
(/.f64 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (pow.f64 v 2) 3) 27))) (sqrt.f64 (+.f64 1 (+.f64 (.f64 3 (pow.f64 v 2)) (*.f64 (pow.f64 v 4) 9)))))
(pow.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)) 1)
(pow.f64 (fma.f64 v (*.f64 v -3) 1) 1/2)
(pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))) 3)
(pow.f64 (pow.f64 (fma.f64 v (*.f64 v -3) 1) 3/2) 1/3)
(pow.f64 (pow.f64 (fma.f64 v (*.f64 v -3) 1) 1/4) 2)
(fabs.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)))
(log.f64 (exp.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)))))
(cbrt.f64 (pow.f64 (fma.f64 v (*.f64 v -3) 1) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))))
(exp.f64 (.f64 1/2 (log1p.f64 (.f64 -3 (pow.f64 v 2)))))
(exp.f64 (.f64 (log1p.f64 (.f64 -3 (pow.f64 v 2))) 1/2))
(exp.f64 (.f64 (.f64 1/2 (log1p.f64 (*.f64 -3 (pow.f64 v 2)))) 1))
(log1p.f64 (expm1.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1))))

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

eval180.0ms (6.4%)

Compiler: Compiled 8263 to 6901 computations (16.5% saved)

prune40.0ms (1.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	312	3	315
Fresh	0	0	0
Picked	2	0	2
Done	0	0	0
Total	314	3	317

Accuracy

100.0%

Counts

317 → 3

Alt Table

Click to see full alt table

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

Compiler

Compiled 64 to 54 computations (15.6% saved)

localize107.0ms (3.8%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	99.8%	(*.f64 -5/8 (pow.f64 v 2))

Compiler

Compiled 94 to 71 computations (24.5% saved)

series1.0ms (0%)

Counts

1 → 0

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	v	@	inf	(*.f64 -5/8 (pow.f64 v 2))
0.0ms	v	@	0	(*.f64 -5/8 (pow.f64 v 2))
0.0ms	v	@	-inf	(*.f64 -5/8 (pow.f64 v 2))

rewrite113.0ms (4%)

Algorithm

1×	batch-egg-rewrite

Rules

848×	`associate-r`
756×	`expm1-udef`
728×	`associate-l`
404×	`unpow-prod-down`
286×	`log-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	69	16
2	706	16
3	7643	16

Stop Event

1×	node limit

Counts

1 → 25

Calls

Call 1

Inputs
(*.f64 -5/8 (pow.f64 v 2))

Outputs
(+.f64 (+.f64 (*.f64 -5/8 (pow.f64 v 2)) 1) -1)
(+.f64 0 (*.f64 -5/8 (pow.f64 v 2)))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -5/4))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -5/8))))
(+.f64 (log.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -5/16)) (log.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -5/16)))
(-.f64 (+.f64 (*.f64 -5/8 (pow.f64 v 2)) 1) 1)
(/.f64 (-.f64 (pow.f64 (+.f64 (.f64 -5/8 (pow.f64 v 2)) 1) 3) 1) (+.f64 (.f64 (+.f64 (.f64 -5/8 (pow.f64 v 2)) 1) (+.f64 (.f64 -5/8 (pow.f64 v 2)) 1)) (+.f64 1 (+.f64 (*.f64 -5/8 (pow.f64 v 2)) 1))))
(/.f64 (-.f64 (.f64 (+.f64 (.f64 -5/8 (pow.f64 v 2)) 1) (+.f64 (.f64 -5/8 (pow.f64 v 2)) 1)) 1) (+.f64 (+.f64 (.f64 -5/8 (pow.f64 v 2)) 1) 1))
(pow.f64 (*.f64 -5/8 (pow.f64 v 2)) 1)
(pow.f64 (cbrt.f64 (*.f64 -5/8 (pow.f64 v 2))) 3)
(pow.f64 (*.f64 (pow.f64 v 4) 25/64) 1/2)
(pow.f64 (*.f64 (pow.f64 v 6) -125/512) 1/3)
(pow.f64 (*.f64 v (sqrt.f64 -5/8)) 2)
(pow.f64 (E.f64) (log.f64 (*.f64 -5/8 (pow.f64 v 2))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 -5/8 (pow.f64 v 2)))) 2)) (cbrt.f64 (log.f64 (.f64 -5/8 (pow.f64 v 2)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 -5/8 (pow.f64 v 2))))) (sqrt.f64 (log.f64 (.f64 -5/8 (pow.f64 v 2)))))
(sqrt.f64 (*.f64 (pow.f64 v 4) 25/64))
(fabs.f64 (*.f64 -5/8 (pow.f64 v 2)))
(log.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -5/8))
(cbrt.f64 (*.f64 (pow.f64 v 6) -125/512))
(expm1.f64 (log1p.f64 (*.f64 -5/8 (pow.f64 v 2))))
(exp.f64 (log.f64 (*.f64 -5/8 (pow.f64 v 2))))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 -5/8 (pow.f64 v 2)))) 3))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 v 6) -125/512)) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 v (sqrt.f64 -5/8))) 2))
(log1p.f64 (expm1.f64 (*.f64 -5/8 (pow.f64 v 2))))

simplify46.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

772×	`times-frac`
706×	`distribute-lft-out`
648×	`fma-neg`
516×	`associate--l+`
496×	`fma-def`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	86	545
1	208	545
2	587	545
3	2705	200

Stop Event

1×	node limit

Counts

25 → 32

Calls

Call 1

Inputs
(+.f64 (+.f64 (*.f64 -5/8 (pow.f64 v 2)) 1) -1)
(+.f64 0 (*.f64 -5/8 (pow.f64 v 2)))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -5/4))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -5/8))))
(+.f64 (log.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -5/16)) (log.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -5/16)))
(-.f64 (+.f64 (*.f64 -5/8 (pow.f64 v 2)) 1) 1)
(/.f64 (-.f64 (pow.f64 (+.f64 (.f64 -5/8 (pow.f64 v 2)) 1) 3) 1) (+.f64 (.f64 (+.f64 (.f64 -5/8 (pow.f64 v 2)) 1) (+.f64 (.f64 -5/8 (pow.f64 v 2)) 1)) (+.f64 1 (+.f64 (*.f64 -5/8 (pow.f64 v 2)) 1))))
(/.f64 (-.f64 (.f64 (+.f64 (.f64 -5/8 (pow.f64 v 2)) 1) (+.f64 (.f64 -5/8 (pow.f64 v 2)) 1)) 1) (+.f64 (+.f64 (.f64 -5/8 (pow.f64 v 2)) 1) 1))
(pow.f64 (*.f64 -5/8 (pow.f64 v 2)) 1)
(pow.f64 (cbrt.f64 (*.f64 -5/8 (pow.f64 v 2))) 3)
(pow.f64 (*.f64 (pow.f64 v 4) 25/64) 1/2)
(pow.f64 (*.f64 (pow.f64 v 6) -125/512) 1/3)
(pow.f64 (*.f64 v (sqrt.f64 -5/8)) 2)
(pow.f64 (E.f64) (log.f64 (*.f64 -5/8 (pow.f64 v 2))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 -5/8 (pow.f64 v 2)))) 2)) (cbrt.f64 (log.f64 (.f64 -5/8 (pow.f64 v 2)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 -5/8 (pow.f64 v 2))))) (sqrt.f64 (log.f64 (.f64 -5/8 (pow.f64 v 2)))))
(sqrt.f64 (*.f64 (pow.f64 v 4) 25/64))
(fabs.f64 (*.f64 -5/8 (pow.f64 v 2)))
(log.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -5/8))
(cbrt.f64 (*.f64 (pow.f64 v 6) -125/512))
(expm1.f64 (log1p.f64 (*.f64 -5/8 (pow.f64 v 2))))
(exp.f64 (log.f64 (*.f64 -5/8 (pow.f64 v 2))))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 -5/8 (pow.f64 v 2)))) 3))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 v 6) -125/512)) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 v (sqrt.f64 -5/8))) 2))
(log1p.f64 (expm1.f64 (*.f64 -5/8 (pow.f64 v 2))))

Outputs
(+.f64 (+.f64 (*.f64 -5/8 (pow.f64 v 2)) 1) -1)
(*.f64 -5/8 (pow.f64 v 2))
0
(+.f64 0 (*.f64 -5/8 (pow.f64 v 2)))
(*.f64 -5/8 (pow.f64 v 2))
0
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -5/4))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -5/8))))
(+.f64 (log.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -5/16)) (log.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -5/16)))
(*.f64 -5/8 (pow.f64 v 2))
0
(-.f64 (+.f64 (*.f64 -5/8 (pow.f64 v 2)) 1) 1)
(*.f64 -5/8 (pow.f64 v 2))
0
(/.f64 (-.f64 (pow.f64 (+.f64 (.f64 -5/8 (pow.f64 v 2)) 1) 3) 1) (+.f64 (.f64 (+.f64 (.f64 -5/8 (pow.f64 v 2)) 1) (+.f64 (.f64 -5/8 (pow.f64 v 2)) 1)) (+.f64 1 (+.f64 (*.f64 -5/8 (pow.f64 v 2)) 1))))
(*.f64 -5/8 (pow.f64 v 2))
0
(/.f64 (-.f64 (.f64 (+.f64 (.f64 -5/8 (pow.f64 v 2)) 1) (+.f64 (.f64 -5/8 (pow.f64 v 2)) 1)) 1) (+.f64 (+.f64 (.f64 -5/8 (pow.f64 v 2)) 1) 1))
(*.f64 -5/8 (pow.f64 v 2))
0
(pow.f64 (*.f64 -5/8 (pow.f64 v 2)) 1)
(*.f64 -5/8 (pow.f64 v 2))
0
(pow.f64 (cbrt.f64 (*.f64 -5/8 (pow.f64 v 2))) 3)
(*.f64 -5/8 (pow.f64 v 2))
0
(pow.f64 (*.f64 (pow.f64 v 4) 25/64) 1/2)
(*.f64 -5/8 (pow.f64 v 2))
0
(pow.f64 (*.f64 (pow.f64 v 6) -125/512) 1/3)
(cbrt.f64 (*.f64 (pow.f64 v 6) -125/512))
(cbrt.f64 (*.f64 -125/512 (pow.f64 v 6)))
(pow.f64 (*.f64 v (sqrt.f64 -5/8)) 2)
(*.f64 -5/8 (pow.f64 v 2))
0
(pow.f64 (E.f64) (log.f64 (*.f64 -5/8 (pow.f64 v 2))))
(*.f64 -5/8 (pow.f64 v 2))
0
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 -5/8 (pow.f64 v 2)))) 2)) (cbrt.f64 (log.f64 (.f64 -5/8 (pow.f64 v 2)))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (fma.f64 2 (log.f64 v) (log.f64 -5/8))) 2)) (cbrt.f64 (fma.f64 2 (log.f64 v) (log.f64 -5/8))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 0)) 2)) (cbrt.f64 (log.f64 0)))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 -5/8 (pow.f64 v 2))))) (sqrt.f64 (log.f64 (.f64 -5/8 (pow.f64 v 2)))))
(pow.f64 (exp.f64 (sqrt.f64 (fma.f64 2 (log.f64 v) (log.f64 -5/8)))) (sqrt.f64 (fma.f64 2 (log.f64 v) (log.f64 -5/8))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 0))) (sqrt.f64 (log.f64 0)))
(sqrt.f64 (*.f64 (pow.f64 v 4) 25/64))
(*.f64 -5/8 (pow.f64 v 2))
0
(fabs.f64 (*.f64 -5/8 (pow.f64 v 2)))
(*.f64 -5/8 (pow.f64 v 2))
0
(log.f64 (pow.f64 (exp.f64 (pow.f64 v 2)) -5/8))
(*.f64 -5/8 (pow.f64 v 2))
0
(cbrt.f64 (*.f64 (pow.f64 v 6) -125/512))
(cbrt.f64 (*.f64 -125/512 (pow.f64 v 6)))
(expm1.f64 (log1p.f64 (*.f64 -5/8 (pow.f64 v 2))))
(*.f64 -5/8 (pow.f64 v 2))
0
(exp.f64 (log.f64 (*.f64 -5/8 (pow.f64 v 2))))
(*.f64 -5/8 (pow.f64 v 2))
0
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 -5/8 (pow.f64 v 2)))) 3))
(*.f64 -5/8 (pow.f64 v 2))
0
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 v 6) -125/512)) 1/3))
(cbrt.f64 (*.f64 (pow.f64 v 6) -125/512))
(cbrt.f64 (*.f64 -125/512 (pow.f64 v 6)))
(exp.f64 (.f64 (log.f64 (.f64 v (sqrt.f64 -5/8))) 2))
(*.f64 -5/8 (pow.f64 v 2))
0
(log1p.f64 (expm1.f64 (*.f64 -5/8 (pow.f64 v 2))))
(*.f64 -5/8 (pow.f64 v 2))
0

eval13.0ms (0.4%)

Compiler: Compiled 496 to 453 computations (8.7% saved)

prune7.0ms (0.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	32	0	32
Fresh	0	0	0
Picked	0	3	3
Done	0	0	0
Total	32	3	35

Accuracy

100.0%

Counts

35 → 3

Alt Table

Click to see full alt table

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

Compiler

Compiled 98 to 78 computations (20.4% saved)

regimes9.0ms (0.3%)

Counts

5 → 1

Calls

Call 1

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

Outputs
(.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8)) (-.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 92 to 69 computations (25% saved)

regimes4.0ms (0.1%)

Counts

2 → 1

Calls

Call 1

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

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

Calls

1 calls:

3.0ms

Results

Accuracy	Segments	Branch
100.0%	1	`v`

Compiler

Compiled 17 to 15 computations (11.8% saved)

regimes3.0ms (0.1%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

1 calls:

2.0ms

Results

Accuracy	Segments	Branch
99.7%	1	`v`

Compiler

Compiled 7 to 6 computations (14.3% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative`
8×	`+-commutative`
6×	`sub-neg`
4×	`neg-mul-1`
4×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	98
1	40	98
2	47	98
3	51	98
4	53	98

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 32 to 27 computations (15.6% saved)

soundness458.0ms (16.3%)

Rules

1496×	`fma-def`
1142×	`sub-neg`
1126×	`prod-diff`
945×	`log1p-expm1-u`
800×	`div-sub`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	28	220
1	355	203
2	4757	203
0	28	280
1	78	276
2	193	260
3	619	256
4	1788	244
5	3931	244
6	5379	244
7	6463	244
8	7647	244

Stop Event

1×	node limit
1×	node limit

Compiler

Compiled 445 to 334 computations (24.9% saved)

end0.0ms (0%)

preprocess41.0ms (1.5%)

Remove: (abs v)
Compiler: Compiled 132 to 104 computations (21.2% saved)

analyze4.0ms (0.1%)

sample1.1s (39.7%)

preprocess196.0ms (7%)

eval2.0ms (0.1%)

prune3.0ms (0.1%)

localize156.0ms (5.5%)

series10.0ms (0.3%)

rewrite168.0ms (6%)

simplify132.0ms (4.7%)

eval180.0ms (6.4%)

prune40.0ms (1.4%)

localize107.0ms (3.8%)

series1.0ms (0%)

rewrite113.0ms (4%)

simplify46.0ms (1.6%)

eval13.0ms (0.4%)

prune7.0ms (0.2%)

regimes9.0ms (0.3%)

regimes4.0ms (0.1%)

regimes3.0ms (0.1%)

simplify4.0ms (0.1%)

soundness458.0ms (16.3%)

end0.0ms (0%)

preprocess41.0ms (1.5%)

Profiling