Metrics for Data.Colour.CIE:cieLAB from colour-2.3.3, B

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
100%	100%	0%	0%	0%	0%	0%	1

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample866.0ms (43.9%)

Results

855.0ms

8256×

body

256

valid

Bogosity

preprocess75.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

202×	`fma-def`
56×	`*-commutative`
46×	`+-commutative`
38×	`fma-neg`
38×	`associate-/r*`

Problems

256×

No Errors

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	14	76
1	24	68
2	42	64
3	83	64
4	161	64
5	301	60
6	406	48
7	462	48
8	482	48
9	505	48
10	518	48
11	521	48

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (+.f64 x 16) 116)
(/.f64 (+.f64 x 16) 116)
(/.f64 (+.f64 (neg.f64 x) 16) 116)
(neg.f64 (/.f64 (+.f64 (neg.f64 x) 16) 116))

Outputs
(/.f64 (+.f64 x 16) 116)
(-.f64 4/29 (/.f64 x -116))
(+.f64 4/29 (*.f64 x 1/116))
(fma.f64 x 1/116 4/29)
(/.f64 (+.f64 x 16) 116)
(-.f64 4/29 (/.f64 x -116))
(+.f64 4/29 (*.f64 x 1/116))
(fma.f64 x 1/116 4/29)
(/.f64 (+.f64 (neg.f64 x) 16) 116)
(/.f64 (+.f64 16 (neg.f64 x)) 116)
(/.f64 (-.f64 16 x) 116)
(-.f64 4/29 (/.f64 x 116))
(+.f64 4/29 (/.f64 x -116))
(+.f64 4/29 (*.f64 -1/116 x))
(fma.f64 x -1/116 4/29)
(neg.f64 (/.f64 (+.f64 (neg.f64 x) 16) 116))
(/.f64 (neg.f64 (+.f64 16 (neg.f64 x))) 116)
(/.f64 (neg.f64 (-.f64 16 x)) 116)
(/.f64 (+.f64 x -16) 116)
(+.f64 -4/29 (/.f64 x 116))
(+.f64 (*.f64 1/116 x) -4/29)
(fma.f64 1/116 x -4/29)
(fma.f64 x 1/116 -4/29)

Compiler

Compiled 19 to 15 computations (21.1% saved)

eval1.0ms (0%)

Compiler: Compiled 15 to 12 computations (20% saved)

prune1.0ms (0.1%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(/.f64 (+.f64 x 16) 116)
▶	100.0%	(/.f64 (+.f64 x 16) 116)

Compiler

Compiled 12 to 10 computations (16.7% saved)

localize23.0ms (1.2%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 x 16) 116)

Compiler

Compiled 13 to 10 computations (23.1% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	inf	(/.f64 (+.f64 x 16) 116)
0.0ms	x	@	-inf	(/.f64 (+.f64 x 16) 116)
0.0ms	x	@	0	(/.f64 (+.f64 x 16) 116)

rewrite147.0ms (7.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1454×	`associate-r`
1190×	`associate-l`
764×	`associate-*r/`
614×	`associate-*l/`
438×	`times-frac`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	89	16
2	1122	16

Stop Event

1×	node limit

Counts

1 → 110

Calls

Call 1

Inputs
(/.f64 (+.f64 x 16) 116)

Outputs
(+.f64 (exp.f64 (log1p.f64 (*.f64 (+.f64 x 16) 1/116))) -1)
(+.f64 (*.f64 1/116 x) 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 x 1/116))
(+.f64 (*.f64 x 1/116) 4/29)
(-.f64 0 (*.f64 (+.f64 x 16) -1/116))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (+.f64 x 16) 1/116))) 1)
(-.f64 (/.f64 (/.f64 (pow.f64 x 2) (+.f64 x -16)) 116) (/.f64 (/.f64 256 (+.f64 x -16)) 116))
(-.f64 (/.f64 (exp.f64 (log.f64 (+.f64 17 x))) 116) 1/116)
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 (.f64 116 x) -1856)) (/.f64 256 (+.f64 (.f64 116 x) -1856)))
(*.f64 (+.f64 x 16) 1/116)
(.f64 (+.f64 x 16) (.f64 (sqrt.f64 1/116) (sqrt.f64 1/116)))
(.f64 (.f64 (+.f64 x 16) 1/116) 1)
(.f64 (fma.f64 x x -256) (.f64 (/.f64 1 (+.f64 x -16)) 1/116))
(.f64 (fma.f64 x x -256) (/.f64 1 (+.f64 (.f64 116 x) -1856)))
(.f64 1 (.f64 (+.f64 x 16) 1/116))
(*.f64 1/116 (+.f64 x 16))
(.f64 (+.f64 (pow.f64 x 3) 4096) (.f64 (/.f64 1 (+.f64 256 (*.f64 x (+.f64 x -16)))) 1/116))
(.f64 (+.f64 (pow.f64 x 3) 4096) (/.f64 1 (.f64 116 (+.f64 256 (*.f64 x (+.f64 x -16))))))
(*.f64 (-.f64 -16 x) -1/116)
(.f64 (sqrt.f64 (+.f64 x 16)) (.f64 1/116 (sqrt.f64 (+.f64 x 16))))
(.f64 (sqrt.f64 (+.f64 x 16)) (.f64 (*.f64 1/116 (sqrt.f64 (+.f64 x 16))) 1))
(.f64 (sqrt.f64 (+.f64 x 16)) (.f64 (neg.f64 (sqrt.f64 (+.f64 x 16))) -1/116))
(.f64 (sqrt.f64 (+.f64 x 16)) (.f64 (sqrt.f64 1/116) (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(*.f64 (sqrt.f64 (+.f64 x 16)) (/.f64 1 (/.f64 116 (sqrt.f64 (+.f64 x 16)))))
(.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116)) (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)))
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) 1/116))
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 (cbrt.f64 (sqrt.f64 (+.f64 x 16))) (*.f64 1/116 (sqrt.f64 (+.f64 x 16)))))
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 (cbrt.f64 (+.f64 x 16)) (*.f64 1/116 (cbrt.f64 (+.f64 x 16)))))
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 (cbrt.f64 1/116) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)))
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) (.f64 1/116 (cbrt.f64 (+.f64 x 16))))
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) (.f64 (*.f64 1/116 (cbrt.f64 (+.f64 x 16))) 1))
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) (.f64 (neg.f64 (cbrt.f64 (+.f64 x 16))) -1/116))
(*.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) (/.f64 1 (/.f64 116 (cbrt.f64 (+.f64 x 16)))))
(.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2) (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)))
(.f64 (.f64 1/116 (sqrt.f64 (+.f64 x 16))) (sqrt.f64 (+.f64 x 16)))
(.f64 (.f64 1/116 (cbrt.f64 (+.f64 x 16))) (cbrt.f64 (pow.f64 (+.f64 x 16) 2)))
(.f64 (.f64 (fma.f64 x x -256) 1/116) (/.f64 1 (+.f64 x -16)))
(.f64 (.f64 1/116 (+.f64 (pow.f64 x 3) 4096)) (/.f64 1 (+.f64 256 (*.f64 x (+.f64 x -16)))))
(.f64 -1 (.f64 (+.f64 x 16) -1/116))
(.f64 (neg.f64 (sqrt.f64 (+.f64 x 16))) (.f64 (sqrt.f64 (+.f64 x 16)) -1/116))
(.f64 (neg.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))) (.f64 (cbrt.f64 (+.f64 x 16)) -1/116))
(*.f64 -1/116 (-.f64 -16 x))
(.f64 (sqrt.f64 (sqrt.f64 (+.f64 x 16))) (.f64 (sqrt.f64 (sqrt.f64 (+.f64 x 16))) (*.f64 1/116 (sqrt.f64 (+.f64 x 16)))))
(.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))) (.f64 (sqrt.f64 (cbrt.f64 (+.f64 x 16))) (*.f64 1/116 (sqrt.f64 (+.f64 x 16)))))
(.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))) (.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))) (*.f64 1/116 (cbrt.f64 (+.f64 x 16)))))
(.f64 (sqrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) (.f64 (sqrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (.f64 (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)))
(.f64 (sqrt.f64 (-.f64 -16 x)) (.f64 (sqrt.f64 (-.f64 -16 x)) -1/116))
(.f64 (cbrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) (.f64 (cbrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)))
(.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2))) (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))) (.f64 1/116 (cbrt.f64 (+.f64 x 16)))))
(.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)))
(.f64 (.f64 (cbrt.f64 (-.f64 -16 x)) (cbrt.f64 (-.f64 -16 x))) (*.f64 (cbrt.f64 (-.f64 -16 x)) -1/116))
(.f64 (.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)))) (.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) (sqrt.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)))))
(.f64 (.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)) (sqrt.f64 (+.f64 x 16))) (sqrt.f64 1/116))
(.f64 (.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116)) (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (cbrt.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (.f64 1/116 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))) (cbrt.f64 (+.f64 x 16)))
(.f64 (.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116)) (sqrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116)))) (sqrt.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116)) (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2))) (sqrt.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2))) (sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)))
(.f64 (.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)))) (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)))
(.f64 (.f64 (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2) (cbrt.f64 (+.f64 x 16))) (cbrt.f64 1/116))
(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2) (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)))) (sqrt.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2) (cbrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116)))) (cbrt.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2) (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2))) (cbrt.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))))) (cbrt.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (.f64 (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(*.f64 (/.f64 (fma.f64 x x -256) 1) (/.f64 1/116 (+.f64 x -16)))
(*.f64 (/.f64 (fma.f64 x x -256) (sqrt.f64 (+.f64 x -16))) (/.f64 1/116 (sqrt.f64 (+.f64 x -16))))
(.f64 (/.f64 (fma.f64 x x -256) (.f64 (cbrt.f64 (+.f64 x -16)) (cbrt.f64 (+.f64 x -16)))) (/.f64 1/116 (cbrt.f64 (+.f64 x -16))))
(.f64 (/.f64 (+.f64 (pow.f64 x 3) 4096) 1) (/.f64 1/116 (+.f64 256 (.f64 x (+.f64 x -16)))))
(.f64 (/.f64 (+.f64 (pow.f64 x 3) 4096) (sqrt.f64 (+.f64 256 (.f64 x (+.f64 x -16))))) (/.f64 1/116 (sqrt.f64 (+.f64 256 (*.f64 x (+.f64 x -16))))))
(.f64 (/.f64 (+.f64 (pow.f64 x 3) 4096) (.f64 (cbrt.f64 (+.f64 256 (.f64 x (+.f64 x -16)))) (cbrt.f64 (+.f64 256 (.f64 x (+.f64 x -16)))))) (/.f64 1/116 (cbrt.f64 (+.f64 256 (*.f64 x (+.f64 x -16))))))
(*.f64 (/.f64 1 (/.f64 116 (sqrt.f64 (+.f64 x 16)))) (sqrt.f64 (+.f64 x 16)))
(*.f64 (/.f64 1 (/.f64 116 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)))) (cbrt.f64 (+.f64 x 16)))
(*.f64 (/.f64 (sqrt.f64 (+.f64 x 16)) 116) (sqrt.f64 (+.f64 x 16)))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) 116) (cbrt.f64 (+.f64 x 16)))
(.f64 (/.f64 (.f64 (fma.f64 x x -256) 1/116) (fma.f64 x x -256)) (+.f64 x 16))
(.f64 (/.f64 (.f64 (fma.f64 x x -256) 1/116) (+.f64 (pow.f64 x 3) -4096)) (+.f64 (pow.f64 x 2) (+.f64 256 (*.f64 x 16))))
(.f64 (/.f64 (.f64 1/116 (+.f64 (pow.f64 x 3) 4096)) (-.f64 (pow.f64 x 4) (pow.f64 (+.f64 256 (.f64 x -16)) 2))) (+.f64 (fma.f64 x x -256) (.f64 x 16)))
(.f64 (/.f64 (.f64 1/116 (+.f64 (pow.f64 x 3) 4096)) (+.f64 (pow.f64 (pow.f64 x 2) 3) (pow.f64 (+.f64 256 (.f64 x -16)) 3))) (+.f64 (pow.f64 x 4) (.f64 (+.f64 256 (.f64 x -16)) (-.f64 (+.f64 256 (.f64 x -16)) (pow.f64 x 2)))))
(.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2))) (.f64 (cbrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) (sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2))))
(.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (cbrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116)))) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (cbrt.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)))))
(*.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -1/2) (pow.f64 (/.f64 116 (+.f64 x 16)) -1/2))
(.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 3/2) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 3/2))
(.f64 (pow.f64 (pow.f64 (.f64 (+.f64 x 16) 1/116) 3) 1/6) (pow.f64 (pow.f64 (*.f64 (+.f64 x 16) 1/116) 3) 1/6))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 x x -256)) 116) (/.f64 (sqrt.f64 (fma.f64 x x -256)) (+.f64 x -16)))
(.f64 (/.f64 (.f64 (cbrt.f64 (fma.f64 x x -256)) (cbrt.f64 (fma.f64 x x -256))) 116) (/.f64 (cbrt.f64 (fma.f64 x x -256)) (+.f64 x -16)))
(.f64 (/.f64 (sqrt.f64 (+.f64 (pow.f64 x 3) 4096)) 116) (/.f64 (sqrt.f64 (+.f64 (pow.f64 x 3) 4096)) (+.f64 256 (.f64 x (+.f64 x -16)))))
(.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 4096)) (cbrt.f64 (+.f64 (pow.f64 x 3) 4096))) 116) (/.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 4096)) (+.f64 256 (*.f64 x (+.f64 x -16)))))
(pow.f64 (*.f64 (+.f64 x 16) 1/116) 1)
(pow.f64 (/.f64 116 (+.f64 x 16)) -1)
(pow.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)
(pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 3)
(pow.f64 (pow.f64 (*.f64 (+.f64 x 16) 1/116) 3) 1/3)
(neg.f64 (*.f64 (+.f64 x 16) -1/116))
(neg.f64 (.f64 (.f64 (+.f64 x 16) -1/116) 1))
(neg.f64 (/.f64 (-.f64 -16 x) 116))
(sqrt.f64 (*.f64 (pow.f64 (+.f64 x 16) 2) 1/13456))
(log.f64 (pow.f64 (exp.f64 (+.f64 x 16)) 1/116))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (+.f64 x 16) 1/116))))
(cbrt.f64 (pow.f64 (*.f64 (+.f64 x 16) 1/116) 3))
(expm1.f64 (log1p.f64 (*.f64 (+.f64 x 16) 1/116)))
(exp.f64 (log.f64 (*.f64 (+.f64 x 16) 1/116)))
(log1p.f64 (expm1.f64 (*.f64 (+.f64 x 16) 1/116)))

simplify123.0ms (6.2%)

Algorithm

1×	egg-herbie

Rules

1022×	`unswap-sqr`
740×	`associate-/l*`
660×	`distribute-lft-neg-in`
628×	`associate-*r/`
602×	`distribute-rgt-neg-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	320	3727
1	814	3576
2	2437	3487
3	6719	3487

Stop Event

1×	node limit

Counts

122 → 159

Calls

Call 1

Inputs
4/29
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(*.f64 1/116 x)
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(*.f64 1/116 x)
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 (exp.f64 (log1p.f64 (*.f64 (+.f64 x 16) 1/116))) -1)
(+.f64 (*.f64 1/116 x) 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 x 1/116))
(+.f64 (*.f64 x 1/116) 4/29)
(-.f64 0 (*.f64 (+.f64 x 16) -1/116))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (+.f64 x 16) 1/116))) 1)
(-.f64 (/.f64 (/.f64 (pow.f64 x 2) (+.f64 x -16)) 116) (/.f64 (/.f64 256 (+.f64 x -16)) 116))
(-.f64 (/.f64 (exp.f64 (log.f64 (+.f64 17 x))) 116) 1/116)
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 (.f64 116 x) -1856)) (/.f64 256 (+.f64 (.f64 116 x) -1856)))
(*.f64 (+.f64 x 16) 1/116)
(.f64 (+.f64 x 16) (.f64 (sqrt.f64 1/116) (sqrt.f64 1/116)))
(.f64 (.f64 (+.f64 x 16) 1/116) 1)
(.f64 (fma.f64 x x -256) (.f64 (/.f64 1 (+.f64 x -16)) 1/116))
(.f64 (fma.f64 x x -256) (/.f64 1 (+.f64 (.f64 116 x) -1856)))
(.f64 1 (.f64 (+.f64 x 16) 1/116))
(*.f64 1/116 (+.f64 x 16))
(.f64 (+.f64 (pow.f64 x 3) 4096) (.f64 (/.f64 1 (+.f64 256 (*.f64 x (+.f64 x -16)))) 1/116))
(.f64 (+.f64 (pow.f64 x 3) 4096) (/.f64 1 (.f64 116 (+.f64 256 (*.f64 x (+.f64 x -16))))))
(*.f64 (-.f64 -16 x) -1/116)
(.f64 (sqrt.f64 (+.f64 x 16)) (.f64 1/116 (sqrt.f64 (+.f64 x 16))))
(.f64 (sqrt.f64 (+.f64 x 16)) (.f64 (*.f64 1/116 (sqrt.f64 (+.f64 x 16))) 1))
(.f64 (sqrt.f64 (+.f64 x 16)) (.f64 (neg.f64 (sqrt.f64 (+.f64 x 16))) -1/116))
(.f64 (sqrt.f64 (+.f64 x 16)) (.f64 (sqrt.f64 1/116) (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(*.f64 (sqrt.f64 (+.f64 x 16)) (/.f64 1 (/.f64 116 (sqrt.f64 (+.f64 x 16)))))
(.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116)) (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)))
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) 1/116))
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 (cbrt.f64 (sqrt.f64 (+.f64 x 16))) (*.f64 1/116 (sqrt.f64 (+.f64 x 16)))))
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 (cbrt.f64 (+.f64 x 16)) (*.f64 1/116 (cbrt.f64 (+.f64 x 16)))))
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 (cbrt.f64 1/116) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)))
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) (.f64 1/116 (cbrt.f64 (+.f64 x 16))))
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) (.f64 (*.f64 1/116 (cbrt.f64 (+.f64 x 16))) 1))
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) (.f64 (neg.f64 (cbrt.f64 (+.f64 x 16))) -1/116))
(*.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) (/.f64 1 (/.f64 116 (cbrt.f64 (+.f64 x 16)))))
(.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2) (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)))
(.f64 (.f64 1/116 (sqrt.f64 (+.f64 x 16))) (sqrt.f64 (+.f64 x 16)))
(.f64 (.f64 1/116 (cbrt.f64 (+.f64 x 16))) (cbrt.f64 (pow.f64 (+.f64 x 16) 2)))
(.f64 (.f64 (fma.f64 x x -256) 1/116) (/.f64 1 (+.f64 x -16)))
(.f64 (.f64 1/116 (+.f64 (pow.f64 x 3) 4096)) (/.f64 1 (+.f64 256 (*.f64 x (+.f64 x -16)))))
(.f64 -1 (.f64 (+.f64 x 16) -1/116))
(.f64 (neg.f64 (sqrt.f64 (+.f64 x 16))) (.f64 (sqrt.f64 (+.f64 x 16)) -1/116))
(.f64 (neg.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))) (.f64 (cbrt.f64 (+.f64 x 16)) -1/116))
(*.f64 -1/116 (-.f64 -16 x))
(.f64 (sqrt.f64 (sqrt.f64 (+.f64 x 16))) (.f64 (sqrt.f64 (sqrt.f64 (+.f64 x 16))) (*.f64 1/116 (sqrt.f64 (+.f64 x 16)))))
(.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))) (.f64 (sqrt.f64 (cbrt.f64 (+.f64 x 16))) (*.f64 1/116 (sqrt.f64 (+.f64 x 16)))))
(.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))) (.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))) (*.f64 1/116 (cbrt.f64 (+.f64 x 16)))))
(.f64 (sqrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) (.f64 (sqrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (.f64 (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)))
(.f64 (sqrt.f64 (-.f64 -16 x)) (.f64 (sqrt.f64 (-.f64 -16 x)) -1/116))
(.f64 (cbrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) (.f64 (cbrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)))
(.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2))) (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))) (.f64 1/116 (cbrt.f64 (+.f64 x 16)))))
(.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)))
(.f64 (.f64 (cbrt.f64 (-.f64 -16 x)) (cbrt.f64 (-.f64 -16 x))) (*.f64 (cbrt.f64 (-.f64 -16 x)) -1/116))
(.f64 (.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)))) (.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) (sqrt.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)))))
(.f64 (.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)) (sqrt.f64 (+.f64 x 16))) (sqrt.f64 1/116))
(.f64 (.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116)) (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (cbrt.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (.f64 1/116 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))) (cbrt.f64 (+.f64 x 16)))
(.f64 (.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116)) (sqrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116)))) (sqrt.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116)) (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2))) (sqrt.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2))) (sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)))
(.f64 (.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)))) (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)))
(.f64 (.f64 (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2) (cbrt.f64 (+.f64 x 16))) (cbrt.f64 1/116))
(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2) (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)))) (sqrt.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2) (cbrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116)))) (cbrt.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2) (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2))) (cbrt.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))))) (cbrt.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (.f64 (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(*.f64 (/.f64 (fma.f64 x x -256) 1) (/.f64 1/116 (+.f64 x -16)))
(*.f64 (/.f64 (fma.f64 x x -256) (sqrt.f64 (+.f64 x -16))) (/.f64 1/116 (sqrt.f64 (+.f64 x -16))))
(.f64 (/.f64 (fma.f64 x x -256) (.f64 (cbrt.f64 (+.f64 x -16)) (cbrt.f64 (+.f64 x -16)))) (/.f64 1/116 (cbrt.f64 (+.f64 x -16))))
(.f64 (/.f64 (+.f64 (pow.f64 x 3) 4096) 1) (/.f64 1/116 (+.f64 256 (.f64 x (+.f64 x -16)))))
(.f64 (/.f64 (+.f64 (pow.f64 x 3) 4096) (sqrt.f64 (+.f64 256 (.f64 x (+.f64 x -16))))) (/.f64 1/116 (sqrt.f64 (+.f64 256 (*.f64 x (+.f64 x -16))))))
(.f64 (/.f64 (+.f64 (pow.f64 x 3) 4096) (.f64 (cbrt.f64 (+.f64 256 (.f64 x (+.f64 x -16)))) (cbrt.f64 (+.f64 256 (.f64 x (+.f64 x -16)))))) (/.f64 1/116 (cbrt.f64 (+.f64 256 (*.f64 x (+.f64 x -16))))))
(*.f64 (/.f64 1 (/.f64 116 (sqrt.f64 (+.f64 x 16)))) (sqrt.f64 (+.f64 x 16)))
(*.f64 (/.f64 1 (/.f64 116 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)))) (cbrt.f64 (+.f64 x 16)))
(*.f64 (/.f64 (sqrt.f64 (+.f64 x 16)) 116) (sqrt.f64 (+.f64 x 16)))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) 116) (cbrt.f64 (+.f64 x 16)))
(.f64 (/.f64 (.f64 (fma.f64 x x -256) 1/116) (fma.f64 x x -256)) (+.f64 x 16))
(.f64 (/.f64 (.f64 (fma.f64 x x -256) 1/116) (+.f64 (pow.f64 x 3) -4096)) (+.f64 (pow.f64 x 2) (+.f64 256 (*.f64 x 16))))
(.f64 (/.f64 (.f64 1/116 (+.f64 (pow.f64 x 3) 4096)) (-.f64 (pow.f64 x 4) (pow.f64 (+.f64 256 (.f64 x -16)) 2))) (+.f64 (fma.f64 x x -256) (.f64 x 16)))
(.f64 (/.f64 (.f64 1/116 (+.f64 (pow.f64 x 3) 4096)) (+.f64 (pow.f64 (pow.f64 x 2) 3) (pow.f64 (+.f64 256 (.f64 x -16)) 3))) (+.f64 (pow.f64 x 4) (.f64 (+.f64 256 (.f64 x -16)) (-.f64 (+.f64 256 (.f64 x -16)) (pow.f64 x 2)))))
(.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2))) (.f64 (cbrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) (sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2))))
(.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (cbrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116)))) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (cbrt.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)))))
(*.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -1/2) (pow.f64 (/.f64 116 (+.f64 x 16)) -1/2))
(.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 3/2) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 3/2))
(.f64 (pow.f64 (pow.f64 (.f64 (+.f64 x 16) 1/116) 3) 1/6) (pow.f64 (pow.f64 (*.f64 (+.f64 x 16) 1/116) 3) 1/6))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 x x -256)) 116) (/.f64 (sqrt.f64 (fma.f64 x x -256)) (+.f64 x -16)))
(.f64 (/.f64 (.f64 (cbrt.f64 (fma.f64 x x -256)) (cbrt.f64 (fma.f64 x x -256))) 116) (/.f64 (cbrt.f64 (fma.f64 x x -256)) (+.f64 x -16)))
(.f64 (/.f64 (sqrt.f64 (+.f64 (pow.f64 x 3) 4096)) 116) (/.f64 (sqrt.f64 (+.f64 (pow.f64 x 3) 4096)) (+.f64 256 (.f64 x (+.f64 x -16)))))
(.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 4096)) (cbrt.f64 (+.f64 (pow.f64 x 3) 4096))) 116) (/.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 4096)) (+.f64 256 (*.f64 x (+.f64 x -16)))))
(pow.f64 (*.f64 (+.f64 x 16) 1/116) 1)
(pow.f64 (/.f64 116 (+.f64 x 16)) -1)
(pow.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)
(pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 3)
(pow.f64 (pow.f64 (*.f64 (+.f64 x 16) 1/116) 3) 1/3)
(neg.f64 (*.f64 (+.f64 x 16) -1/116))
(neg.f64 (.f64 (.f64 (+.f64 x 16) -1/116) 1))
(neg.f64 (/.f64 (-.f64 -16 x) 116))
(sqrt.f64 (*.f64 (pow.f64 (+.f64 x 16) 2) 1/13456))
(log.f64 (pow.f64 (exp.f64 (+.f64 x 16)) 1/116))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (+.f64 x 16) 1/116))))
(cbrt.f64 (pow.f64 (*.f64 (+.f64 x 16) 1/116) 3))
(expm1.f64 (log1p.f64 (*.f64 (+.f64 x 16) 1/116)))
(exp.f64 (log.f64 (*.f64 (+.f64 x 16) 1/116)))
(log1p.f64 (expm1.f64 (*.f64 (+.f64 x 16) 1/116)))

Outputs
4/29
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(*.f64 1/116 x)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(*.f64 1/116 x)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 (exp.f64 (log1p.f64 (*.f64 (+.f64 x 16) 1/116))) -1)
(fma.f64 1/116 x 4/29)
(+.f64 (*.f64 1/116 x) 4/29)
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 x 1/116))
(fma.f64 1/116 x 4/29)
(+.f64 (*.f64 x 1/116) 4/29)
(fma.f64 1/116 x 4/29)
(-.f64 0 (*.f64 (+.f64 x 16) -1/116))
(fma.f64 1/116 x 4/29)
(-.f64 (exp.f64 (log1p.f64 (*.f64 (+.f64 x 16) 1/116))) 1)
(fma.f64 1/116 x 4/29)
(-.f64 (/.f64 (/.f64 (pow.f64 x 2) (+.f64 x -16)) 116) (/.f64 (/.f64 256 (+.f64 x -16)) 116))
(-.f64 (/.f64 (pow.f64 x 2) (.f64 116 (+.f64 x -16))) (/.f64 256 (.f64 116 (+.f64 x -16))))
(-.f64 (/.f64 (pow.f64 x 2) (fma.f64 x 116 -1856)) (/.f64 64/29 (+.f64 x -16)))
(+.f64 (/.f64 (pow.f64 x 2) (fma.f64 x 116 -1856)) (/.f64 -64/29 (+.f64 x -16)))
(-.f64 (/.f64 (exp.f64 (log.f64 (+.f64 17 x))) 116) 1/116)
(+.f64 (/.f64 (+.f64 x 17) 116) -1/116)
(+.f64 -1/116 (/.f64 (+.f64 x 17) 116))
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 (.f64 116 x) -1856)) (/.f64 256 (+.f64 (.f64 116 x) -1856)))
(-.f64 (/.f64 (pow.f64 x 2) (.f64 116 (+.f64 x -16))) (/.f64 256 (.f64 116 (+.f64 x -16))))
(-.f64 (/.f64 (pow.f64 x 2) (fma.f64 x 116 -1856)) (/.f64 64/29 (+.f64 x -16)))
(+.f64 (/.f64 (pow.f64 x 2) (fma.f64 x 116 -1856)) (/.f64 -64/29 (+.f64 x -16)))
(*.f64 (+.f64 x 16) 1/116)
(fma.f64 1/116 x 4/29)
(.f64 (+.f64 x 16) (.f64 (sqrt.f64 1/116) (sqrt.f64 1/116)))
(fma.f64 1/116 x 4/29)
(.f64 (.f64 (+.f64 x 16) 1/116) 1)
(fma.f64 1/116 x 4/29)
(.f64 (fma.f64 x x -256) (.f64 (/.f64 1 (+.f64 x -16)) 1/116))
(/.f64 (*.f64 1/116 (fma.f64 x x -256)) (+.f64 x -16))
(/.f64 (fma.f64 x x -256) (fma.f64 x 116 -1856))
(.f64 (fma.f64 x x -256) (/.f64 1 (+.f64 (.f64 116 x) -1856)))
(/.f64 (*.f64 1/116 (fma.f64 x x -256)) (+.f64 x -16))
(/.f64 (fma.f64 x x -256) (fma.f64 x 116 -1856))
(.f64 1 (.f64 (+.f64 x 16) 1/116))
(fma.f64 1/116 x 4/29)
(*.f64 1/116 (+.f64 x 16))
(fma.f64 1/116 x 4/29)
(.f64 (+.f64 (pow.f64 x 3) 4096) (.f64 (/.f64 1 (+.f64 256 (*.f64 x (+.f64 x -16)))) 1/116))
(.f64 (+.f64 (pow.f64 x 3) 4096) (/.f64 1/116 (+.f64 256 (.f64 x (+.f64 x -16)))))
(/.f64 (fma.f64 1/116 (pow.f64 x 3) 1024/29) (fma.f64 x (+.f64 x -16) 256))
(/.f64 (+.f64 (pow.f64 x 3) 4096) (fma.f64 x (fma.f64 x 116 -1856) 29696))
(.f64 (+.f64 (pow.f64 x 3) 4096) (/.f64 1 (.f64 116 (+.f64 256 (*.f64 x (+.f64 x -16))))))
(.f64 (+.f64 (pow.f64 x 3) 4096) (/.f64 1/116 (+.f64 256 (.f64 x (+.f64 x -16)))))
(/.f64 (fma.f64 1/116 (pow.f64 x 3) 1024/29) (fma.f64 x (+.f64 x -16) 256))
(/.f64 (+.f64 (pow.f64 x 3) 4096) (fma.f64 x (fma.f64 x 116 -1856) 29696))
(*.f64 (-.f64 -16 x) -1/116)
(fma.f64 1/116 x 4/29)
(.f64 (sqrt.f64 (+.f64 x 16)) (.f64 1/116 (sqrt.f64 (+.f64 x 16))))
(fma.f64 1/116 x 4/29)
(.f64 (sqrt.f64 (+.f64 x 16)) (.f64 (*.f64 1/116 (sqrt.f64 (+.f64 x 16))) 1))
(fma.f64 1/116 x 4/29)
(.f64 (sqrt.f64 (+.f64 x 16)) (.f64 (neg.f64 (sqrt.f64 (+.f64 x 16))) -1/116))
(fma.f64 1/116 x 4/29)
(.f64 (sqrt.f64 (+.f64 x 16)) (.f64 (sqrt.f64 1/116) (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (sqrt.f64 (+.f64 x 16)) (.f64 (sqrt.f64 1/116) (sqrt.f64 (fma.f64 1/116 x 4/29))))
(.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)) (.f64 (sqrt.f64 1/116) (sqrt.f64 (+.f64 x 16))))
(*.f64 (sqrt.f64 (+.f64 x 16)) (/.f64 1 (/.f64 116 (sqrt.f64 (+.f64 x 16)))))
(fma.f64 1/116 x 4/29)
(.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116)) (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)))
(fma.f64 1/116 x 4/29)
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) 1/116))
(.f64 1/116 (.f64 (cbrt.f64 (+.f64 x 16)) (cbrt.f64 (pow.f64 (+.f64 x 16) 2))))
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 1/116 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))))
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) (.f64 1/116 (cbrt.f64 (+.f64 x 16))))
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 (cbrt.f64 (sqrt.f64 (+.f64 x 16))) (*.f64 1/116 (sqrt.f64 (+.f64 x 16)))))
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 (*.f64 1/116 (sqrt.f64 (+.f64 x 16))) (cbrt.f64 (sqrt.f64 (+.f64 x 16)))))
(.f64 (.f64 1/116 (sqrt.f64 (+.f64 x 16))) (*.f64 (cbrt.f64 (+.f64 x 16)) (cbrt.f64 (sqrt.f64 (+.f64 x 16)))))
(.f64 (.f64 1/116 (cbrt.f64 (sqrt.f64 (+.f64 x 16)))) (*.f64 (sqrt.f64 (+.f64 x 16)) (cbrt.f64 (+.f64 x 16))))
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 (cbrt.f64 (+.f64 x 16)) (*.f64 1/116 (cbrt.f64 (+.f64 x 16)))))
(fma.f64 1/116 x 4/29)
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 (cbrt.f64 1/116) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)))
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 (cbrt.f64 1/116) (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2)))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2) (.f64 (cbrt.f64 (+.f64 x 16)) (cbrt.f64 1/116)))
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) (.f64 1/116 (cbrt.f64 (+.f64 x 16))))
(.f64 1/116 (.f64 (cbrt.f64 (+.f64 x 16)) (cbrt.f64 (pow.f64 (+.f64 x 16) 2))))
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 1/116 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))))
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) (.f64 (*.f64 1/116 (cbrt.f64 (+.f64 x 16))) 1))
(.f64 1/116 (.f64 (cbrt.f64 (+.f64 x 16)) (cbrt.f64 (pow.f64 (+.f64 x 16) 2))))
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 1/116 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))))
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) (.f64 1/116 (cbrt.f64 (+.f64 x 16))))
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) (.f64 (neg.f64 (cbrt.f64 (+.f64 x 16))) -1/116))
(.f64 1/116 (.f64 (cbrt.f64 (+.f64 x 16)) (cbrt.f64 (pow.f64 (+.f64 x 16) 2))))
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 1/116 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))))
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) (.f64 1/116 (cbrt.f64 (+.f64 x 16))))
(*.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) (/.f64 1 (/.f64 116 (cbrt.f64 (+.f64 x 16)))))
(.f64 1/116 (.f64 (cbrt.f64 (+.f64 x 16)) (cbrt.f64 (pow.f64 (+.f64 x 16) 2))))
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 1/116 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))))
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) (.f64 1/116 (cbrt.f64 (+.f64 x 16))))
(.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2))
(fma.f64 1/116 x 4/29)
(.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2) (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)))
(fma.f64 1/116 x 4/29)
(.f64 (.f64 1/116 (sqrt.f64 (+.f64 x 16))) (sqrt.f64 (+.f64 x 16)))
(fma.f64 1/116 x 4/29)
(.f64 (.f64 1/116 (cbrt.f64 (+.f64 x 16))) (cbrt.f64 (pow.f64 (+.f64 x 16) 2)))
(.f64 1/116 (.f64 (cbrt.f64 (+.f64 x 16)) (cbrt.f64 (pow.f64 (+.f64 x 16) 2))))
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 1/116 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))))
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) (.f64 1/116 (cbrt.f64 (+.f64 x 16))))
(.f64 (.f64 (fma.f64 x x -256) 1/116) (/.f64 1 (+.f64 x -16)))
(/.f64 (*.f64 1/116 (fma.f64 x x -256)) (+.f64 x -16))
(/.f64 (fma.f64 x x -256) (fma.f64 x 116 -1856))
(.f64 (.f64 1/116 (+.f64 (pow.f64 x 3) 4096)) (/.f64 1 (+.f64 256 (*.f64 x (+.f64 x -16)))))
(.f64 (+.f64 (pow.f64 x 3) 4096) (/.f64 1/116 (+.f64 256 (.f64 x (+.f64 x -16)))))
(/.f64 (fma.f64 1/116 (pow.f64 x 3) 1024/29) (fma.f64 x (+.f64 x -16) 256))
(/.f64 (+.f64 (pow.f64 x 3) 4096) (fma.f64 x (fma.f64 x 116 -1856) 29696))
(.f64 -1 (.f64 (+.f64 x 16) -1/116))
(fma.f64 1/116 x 4/29)
(.f64 (neg.f64 (sqrt.f64 (+.f64 x 16))) (.f64 (sqrt.f64 (+.f64 x 16)) -1/116))
(fma.f64 1/116 x 4/29)
(.f64 (neg.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))) (.f64 (cbrt.f64 (+.f64 x 16)) -1/116))
(.f64 1/116 (.f64 (cbrt.f64 (+.f64 x 16)) (cbrt.f64 (pow.f64 (+.f64 x 16) 2))))
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 1/116 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))))
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) (.f64 1/116 (cbrt.f64 (+.f64 x 16))))
(*.f64 -1/116 (-.f64 -16 x))
(fma.f64 1/116 x 4/29)
(.f64 (sqrt.f64 (sqrt.f64 (+.f64 x 16))) (.f64 (sqrt.f64 (sqrt.f64 (+.f64 x 16))) (*.f64 1/116 (sqrt.f64 (+.f64 x 16)))))
(fma.f64 1/116 x 4/29)
(.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))) (.f64 (sqrt.f64 (cbrt.f64 (+.f64 x 16))) (*.f64 1/116 (sqrt.f64 (+.f64 x 16)))))
(.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))) (.f64 (*.f64 1/116 (sqrt.f64 (+.f64 x 16))) (sqrt.f64 (cbrt.f64 (+.f64 x 16)))))
(.f64 (.f64 1/116 (sqrt.f64 (+.f64 x 16))) (*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))) (sqrt.f64 (cbrt.f64 (+.f64 x 16)))))
(.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))) (.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))) (*.f64 1/116 (cbrt.f64 (+.f64 x 16)))))
(.f64 1/116 (.f64 (cbrt.f64 (+.f64 x 16)) (cbrt.f64 (pow.f64 (+.f64 x 16) 2))))
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 1/116 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))))
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) (.f64 1/116 (cbrt.f64 (+.f64 x 16))))
(.f64 (sqrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) (.f64 (sqrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(fma.f64 1/116 x 4/29)
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (.f64 (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2)) (.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)) (sqrt.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)))))
(.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)) (.f64 (fabs.f64 (cbrt.f64 (fma.f64 1/116 x 4/29))) (sqrt.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)))))
(*.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 1/116 x 4/29))) 3))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(fma.f64 1/116 x 4/29)
(.f64 (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)))
(fma.f64 1/116 x 4/29)
(.f64 (sqrt.f64 (-.f64 -16 x)) (.f64 (sqrt.f64 (-.f64 -16 x)) -1/116))
(fma.f64 1/116 x 4/29)
(.f64 (cbrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) (.f64 (cbrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 4/29))) (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)))))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2)) (.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2) (cbrt.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)))))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2) (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)))))
(.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2))) (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(fma.f64 1/116 x 4/29)
(.f64 (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))) (.f64 1/116 (cbrt.f64 (+.f64 x 16)))))
(.f64 1/116 (.f64 (cbrt.f64 (+.f64 x 16)) (cbrt.f64 (pow.f64 (+.f64 x 16) 2))))
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 1/116 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))))
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) (.f64 1/116 (cbrt.f64 (+.f64 x 16))))
(.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)))
(fma.f64 1/116 x 4/29)
(.f64 (.f64 (cbrt.f64 (-.f64 -16 x)) (cbrt.f64 (-.f64 -16 x))) (*.f64 (cbrt.f64 (-.f64 -16 x)) -1/116))
(fma.f64 1/116 x 4/29)
(.f64 (.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)))) (.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) (sqrt.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)))))
(fma.f64 1/116 x 4/29)
(.f64 (.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)) (sqrt.f64 (+.f64 x 16))) (sqrt.f64 1/116))
(.f64 (sqrt.f64 (+.f64 x 16)) (.f64 (sqrt.f64 1/116) (sqrt.f64 (fma.f64 1/116 x 4/29))))
(.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)) (.f64 (sqrt.f64 1/116) (sqrt.f64 (+.f64 x 16))))
(.f64 (.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116)) (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (cbrt.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 4/29))) (.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)) (cbrt.f64 (fma.f64 1/116 x 4/29))))
(.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) (.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)) (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)))))
(.f64 (.f64 1/116 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))) (cbrt.f64 (+.f64 x 16)))
(.f64 1/116 (.f64 (cbrt.f64 (+.f64 x 16)) (cbrt.f64 (pow.f64 (+.f64 x 16) 2))))
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 1/116 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))))
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) (.f64 1/116 (cbrt.f64 (+.f64 x 16))))
(.f64 (.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116)) (sqrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116)))) (sqrt.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(fma.f64 1/116 x 4/29)
(.f64 (.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116)) (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2))) (sqrt.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2)) (.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)) (sqrt.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)))))
(.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)) (.f64 (fabs.f64 (cbrt.f64 (fma.f64 1/116 x 4/29))) (sqrt.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)))))
(*.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 1/116 x 4/29))) 3))
(.f64 (.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2))) (sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)))
(fma.f64 1/116 x 4/29)
(.f64 (.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)))) (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)))
(fma.f64 1/116 x 4/29)
(.f64 (.f64 (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2) (cbrt.f64 (+.f64 x 16))) (cbrt.f64 1/116))
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 (cbrt.f64 1/116) (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2)))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2) (.f64 (cbrt.f64 (+.f64 x 16)) (cbrt.f64 1/116)))
(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2) (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)))) (sqrt.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(fma.f64 1/116 x 4/29)
(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2) (cbrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116)))) (cbrt.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 4/29))) (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)))))
(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2) (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2))) (cbrt.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2)) (.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2) (cbrt.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)))))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2) (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)))))
(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))))) (cbrt.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(fma.f64 1/116 x 4/29)
(.f64 (.f64 (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(fma.f64 1/116 x 4/29)
(*.f64 (/.f64 (fma.f64 x x -256) 1) (/.f64 1/116 (+.f64 x -16)))
(/.f64 (*.f64 1/116 (fma.f64 x x -256)) (+.f64 x -16))
(/.f64 (fma.f64 x x -256) (fma.f64 x 116 -1856))
(*.f64 (/.f64 (fma.f64 x x -256) (sqrt.f64 (+.f64 x -16))) (/.f64 1/116 (sqrt.f64 (+.f64 x -16))))
(/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (*.f64 (sqrt.f64 (+.f64 x -16)) (sqrt.f64 (+.f64 x -16))))
(.f64 (/.f64 (fma.f64 x x -256) (.f64 (cbrt.f64 (+.f64 x -16)) (cbrt.f64 (+.f64 x -16)))) (/.f64 1/116 (cbrt.f64 (+.f64 x -16))))
(/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (.f64 (cbrt.f64 (+.f64 x -16)) (.f64 (cbrt.f64 (+.f64 x -16)) (cbrt.f64 (+.f64 x -16)))))
(.f64 (/.f64 (+.f64 (pow.f64 x 3) 4096) 1) (/.f64 1/116 (+.f64 256 (.f64 x (+.f64 x -16)))))
(.f64 (+.f64 (pow.f64 x 3) 4096) (/.f64 1/116 (+.f64 256 (.f64 x (+.f64 x -16)))))
(/.f64 (fma.f64 1/116 (pow.f64 x 3) 1024/29) (fma.f64 x (+.f64 x -16) 256))
(/.f64 (+.f64 (pow.f64 x 3) 4096) (fma.f64 x (fma.f64 x 116 -1856) 29696))
(.f64 (/.f64 (+.f64 (pow.f64 x 3) 4096) (sqrt.f64 (+.f64 256 (.f64 x (+.f64 x -16))))) (/.f64 1/116 (sqrt.f64 (+.f64 256 (*.f64 x (+.f64 x -16))))))
(/.f64 (/.f64 (fma.f64 1/116 (pow.f64 x 3) 1024/29) (sqrt.f64 (fma.f64 x (+.f64 x -16) 256))) (sqrt.f64 (fma.f64 x (+.f64 x -16) 256)))
(/.f64 (fma.f64 1/116 (pow.f64 x 3) 1024/29) (*.f64 (hypot.f64 x (sqrt.f64 (fma.f64 x -16 256))) (hypot.f64 x (sqrt.f64 (fma.f64 x -16 256)))))
(.f64 (/.f64 (+.f64 (pow.f64 x 3) 4096) (.f64 (cbrt.f64 (+.f64 256 (.f64 x (+.f64 x -16)))) (cbrt.f64 (+.f64 256 (.f64 x (+.f64 x -16)))))) (/.f64 1/116 (cbrt.f64 (+.f64 256 (*.f64 x (+.f64 x -16))))))
(/.f64 (/.f64 (fma.f64 1/116 (pow.f64 x 3) 1024/29) (*.f64 (cbrt.f64 (fma.f64 x (+.f64 x -16) 256)) (cbrt.f64 (fma.f64 x (+.f64 x -16) 256)))) (cbrt.f64 (fma.f64 x (+.f64 x -16) 256)))
(/.f64 (fma.f64 1/116 (pow.f64 x 3) 1024/29) (.f64 (cbrt.f64 (fma.f64 x (+.f64 x -16) 256)) (.f64 (cbrt.f64 (fma.f64 x (+.f64 x -16) 256)) (cbrt.f64 (fma.f64 x (+.f64 x -16) 256)))))
(*.f64 (/.f64 1 (/.f64 116 (sqrt.f64 (+.f64 x 16)))) (sqrt.f64 (+.f64 x 16)))
(fma.f64 1/116 x 4/29)
(*.f64 (/.f64 1 (/.f64 116 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)))) (cbrt.f64 (+.f64 x 16)))
(.f64 1/116 (.f64 (cbrt.f64 (+.f64 x 16)) (cbrt.f64 (pow.f64 (+.f64 x 16) 2))))
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 1/116 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))))
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) (.f64 1/116 (cbrt.f64 (+.f64 x 16))))
(*.f64 (/.f64 (sqrt.f64 (+.f64 x 16)) 116) (sqrt.f64 (+.f64 x 16)))
(fma.f64 1/116 x 4/29)
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) 116) (cbrt.f64 (+.f64 x 16)))
(.f64 1/116 (.f64 (cbrt.f64 (+.f64 x 16)) (cbrt.f64 (pow.f64 (+.f64 x 16) 2))))
(.f64 (cbrt.f64 (+.f64 x 16)) (.f64 1/116 (cbrt.f64 (pow.f64 (+.f64 x 16) 2))))
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 16) 2)) (.f64 1/116 (cbrt.f64 (+.f64 x 16))))
(.f64 (/.f64 (.f64 (fma.f64 x x -256) 1/116) (fma.f64 x x -256)) (+.f64 x 16))
(fma.f64 1/116 x 4/29)
(.f64 (/.f64 (.f64 (fma.f64 x x -256) 1/116) (+.f64 (pow.f64 x 3) -4096)) (+.f64 (pow.f64 x 2) (+.f64 256 (*.f64 x 16))))
(.f64 (/.f64 (fma.f64 x x -256) (/.f64 (+.f64 (pow.f64 x 3) -4096) 1/116)) (+.f64 (pow.f64 x 2) (+.f64 256 (.f64 x 16))))
(.f64 (.f64 (/.f64 (fma.f64 x x -256) (+.f64 (pow.f64 x 3) -4096)) 1/116) (fma.f64 x x (fma.f64 x 16 256)))
(.f64 (/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (+.f64 (pow.f64 x 3) -4096)) (+.f64 256 (.f64 x (+.f64 x 16))))
(.f64 (/.f64 (.f64 1/116 (+.f64 (pow.f64 x 3) 4096)) (-.f64 (pow.f64 x 4) (pow.f64 (+.f64 256 (.f64 x -16)) 2))) (+.f64 (fma.f64 x x -256) (.f64 x 16)))
(.f64 (/.f64 (+.f64 (.f64 1/116 (pow.f64 x 3)) 1024/29) (-.f64 (pow.f64 x 4) (pow.f64 (+.f64 256 (.f64 x -16)) 2))) (+.f64 (fma.f64 x x -256) (.f64 x 16)))
(*.f64 (/.f64 (fma.f64 1/116 (pow.f64 x 3) 1024/29) (-.f64 (pow.f64 x 4) (pow.f64 (fma.f64 x -16 256) 2))) (fma.f64 x 16 (fma.f64 x x -256)))
(.f64 (/.f64 (fma.f64 1/116 (pow.f64 x 3) 1024/29) (-.f64 (pow.f64 x 4) (pow.f64 (fma.f64 x -16 256) 2))) (+.f64 -256 (.f64 x (+.f64 x 16))))
(.f64 (/.f64 (.f64 1/116 (+.f64 (pow.f64 x 3) 4096)) (+.f64 (pow.f64 (pow.f64 x 2) 3) (pow.f64 (+.f64 256 (.f64 x -16)) 3))) (+.f64 (pow.f64 x 4) (.f64 (+.f64 256 (.f64 x -16)) (-.f64 (+.f64 256 (.f64 x -16)) (pow.f64 x 2)))))
(.f64 (/.f64 (+.f64 (.f64 1/116 (pow.f64 x 3)) 1024/29) (+.f64 (pow.f64 (pow.f64 x 2) 3) (pow.f64 (+.f64 256 (.f64 x -16)) 3))) (+.f64 (pow.f64 x 4) (.f64 (+.f64 256 (.f64 x -16)) (+.f64 256 (-.f64 (.f64 x -16) (pow.f64 x 2))))))
(.f64 (/.f64 (fma.f64 1/116 (pow.f64 x 3) 1024/29) (+.f64 (pow.f64 (pow.f64 x 2) 3) (pow.f64 (fma.f64 x -16 256) 3))) (fma.f64 (fma.f64 x -16 256) (+.f64 256 (.f64 x (-.f64 -16 x))) (pow.f64 x 4)))
(/.f64 (fma.f64 (fma.f64 x -16 256) (fma.f64 x (-.f64 -16 x) 256) (pow.f64 x 4)) (/.f64 (+.f64 (pow.f64 x 6) (pow.f64 (fma.f64 x -16 256) 3)) (fma.f64 1/116 (pow.f64 x 3) 1024/29)))
(.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2))) (.f64 (cbrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) (sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2))))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 4/29))) (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)))))
(.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (cbrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116)))) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 2)) (cbrt.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)))))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 4/29))) (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)))))
(*.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -1/2) (pow.f64 (/.f64 116 (+.f64 x 16)) -1/2))
(fma.f64 1/116 x 4/29)
(.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) 3/2) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 3/2))
(fma.f64 1/116 x 4/29)
(.f64 (pow.f64 (pow.f64 (.f64 (+.f64 x 16) 1/116) 3) 1/6) (pow.f64 (pow.f64 (*.f64 (+.f64 x 16) 1/116) 3) 1/6))
(fma.f64 1/116 x 4/29)
(*.f64 (/.f64 (sqrt.f64 (fma.f64 x x -256)) 116) (/.f64 (sqrt.f64 (fma.f64 x x -256)) (+.f64 x -16)))
(/.f64 (*.f64 1/116 (fma.f64 x x -256)) (+.f64 x -16))
(/.f64 (fma.f64 x x -256) (fma.f64 x 116 -1856))
(.f64 (/.f64 (.f64 (cbrt.f64 (fma.f64 x x -256)) (cbrt.f64 (fma.f64 x x -256))) 116) (/.f64 (cbrt.f64 (fma.f64 x x -256)) (+.f64 x -16)))
(/.f64 (*.f64 1/116 (fma.f64 x x -256)) (+.f64 x -16))
(/.f64 (fma.f64 x x -256) (fma.f64 x 116 -1856))
(.f64 (/.f64 (sqrt.f64 (+.f64 (pow.f64 x 3) 4096)) 116) (/.f64 (sqrt.f64 (+.f64 (pow.f64 x 3) 4096)) (+.f64 256 (.f64 x (+.f64 x -16)))))
(.f64 (+.f64 (pow.f64 x 3) 4096) (/.f64 1/116 (+.f64 256 (.f64 x (+.f64 x -16)))))
(/.f64 (fma.f64 1/116 (pow.f64 x 3) 1024/29) (fma.f64 x (+.f64 x -16) 256))
(/.f64 (+.f64 (pow.f64 x 3) 4096) (fma.f64 x (fma.f64 x 116 -1856) 29696))
(.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 4096)) (cbrt.f64 (+.f64 (pow.f64 x 3) 4096))) 116) (/.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 4096)) (+.f64 256 (*.f64 x (+.f64 x -16)))))
(.f64 (+.f64 (pow.f64 x 3) 4096) (/.f64 1/116 (+.f64 256 (.f64 x (+.f64 x -16)))))
(/.f64 (fma.f64 1/116 (pow.f64 x 3) 1024/29) (fma.f64 x (+.f64 x -16) 256))
(/.f64 (+.f64 (pow.f64 x 3) 4096) (fma.f64 x (fma.f64 x 116 -1856) 29696))
(pow.f64 (*.f64 (+.f64 x 16) 1/116) 1)
(fma.f64 1/116 x 4/29)
(pow.f64 (/.f64 116 (+.f64 x 16)) -1)
(fma.f64 1/116 x 4/29)
(pow.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)
(fma.f64 1/116 x 4/29)
(pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 3)
(fma.f64 1/116 x 4/29)
(pow.f64 (pow.f64 (*.f64 (+.f64 x 16) 1/116) 3) 1/3)
(fma.f64 1/116 x 4/29)
(neg.f64 (*.f64 (+.f64 x 16) -1/116))
(fma.f64 1/116 x 4/29)
(neg.f64 (.f64 (.f64 (+.f64 x 16) -1/116) 1))
(fma.f64 1/116 x 4/29)
(neg.f64 (/.f64 (-.f64 -16 x) 116))
(fma.f64 1/116 x 4/29)
(sqrt.f64 (*.f64 (pow.f64 (+.f64 x 16) 2) 1/13456))
(sqrt.f64 (pow.f64 (fma.f64 1/116 x 4/29) 2))
(fabs.f64 (fma.f64 x -1/116 -4/29))
(log.f64 (pow.f64 (exp.f64 (+.f64 x 16)) 1/116))
(fma.f64 1/116 x 4/29)
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (+.f64 x 16) 1/116))))
(fma.f64 1/116 x 4/29)
(cbrt.f64 (pow.f64 (*.f64 (+.f64 x 16) 1/116) 3))
(fma.f64 1/116 x 4/29)
(expm1.f64 (log1p.f64 (*.f64 (+.f64 x 16) 1/116)))
(fma.f64 1/116 x 4/29)
(exp.f64 (log.f64 (*.f64 (+.f64 x 16) 1/116)))
(fma.f64 1/116 x 4/29)
(log1p.f64 (expm1.f64 (*.f64 (+.f64 x 16) 1/116)))
(fma.f64 1/116 x 4/29)

eval131.0ms (6.6%)

Compiler: Compiled 2635 to 2194 computations (16.7% saved)

prune21.0ms (1.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	156	3	159
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	156	4	160

Accuracy

100.0%

Counts

160 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 x 16) 116)
▶	100.0%	(+.f64 (/.f64 (+.f64 x 17) 116) -1/116)
▶	49.7%	(*.f64 1/116 x)
	52.0%	4/29
✓	100.0%	(/.f64 (+.f64 x 16) 116)
▶	100.0%	(+.f64 (/.f64 (+.f64 x 17) 116) -1/116)
▶	49.7%	(*.f64 1/116 x)
	52.0%	4/29

Compiler

Compiled 40 to 34 computations (15% saved)

localize65.0ms (3.3%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 x 17) 116)
✓	100.0%	(+.f64 (/.f64 (+.f64 x 17) 116) -1/116)
✓	99.9%	(*.f64 1/116 x)

Compiler

Compiled 26 to 20 computations (23.1% saved)

series30.0ms (1.5%)

Counts

3 → 24

Calls

9 calls:

Time	Variable		Point	Expression
28.0ms	x	@	inf	(+.f64 (/.f64 (+.f64 x 17) 116) -1/116)
1.0ms	x	@	-inf	(*.f64 1/116 x)
0.0ms	x	@	inf	(*.f64 1/116 x)
0.0ms	x	@	0	(*.f64 1/116 x)
0.0ms	x	@	-inf	(+.f64 (/.f64 (+.f64 x 17) 116) -1/116)

rewrite94.0ms (4.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1256×	`associate-*r/`
1042×	`associate-*l/`
662×	`*-commutative`
428×	`unswap-sqr`
414×	`distribute-lft-in`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	48
1	143	44
2	1886	44

Stop Event

1×	node limit

Counts

3 → 134

Calls

Call 1

Inputs
(*.f64 1/116 x)
(+.f64 (/.f64 (+.f64 x 17) 116) -1/116)
(/.f64 (+.f64 x 17) 116)

Outputs
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/116 x))) 1)
(pow.f64 (*.f64 1/116 x) 1)
(pow.f64 (sqrt.f64 (*.f64 1/116 x)) 2)
(pow.f64 (cbrt.f64 (*.f64 1/116 x)) 3)
(pow.f64 (pow.f64 (*.f64 1/116 x) 3) 1/3)
(sqrt.f64 (*.f64 (pow.f64 x 2) 1/13456))
(log.f64 (pow.f64 (exp.f64 x) 1/116))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 1/116 x))))
(cbrt.f64 (pow.f64 (*.f64 1/116 x) 3))
(expm1.f64 (log1p.f64 (*.f64 1/116 x)))
(exp.f64 (log.f64 (*.f64 1/116 x)))
(log1p.f64 (expm1.f64 (*.f64 1/116 x)))
(-.f64 (/.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) (.f64 (+.f64 18 x) 1/116)) (/.f64 1/13456 (*.f64 (+.f64 18 x) 1/116)))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) 1)
(-.f64 (exp.f64 (log1p.f64 (+.f64 (*.f64 1/116 x) 17/116))) 117/116)
(-.f64 (+.f64 -1/116 (exp.f64 (log1p.f64 (+.f64 (*.f64 1/116 x) 17/116)))) 1)
(*.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116) 1)
(.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456) (/.f64 1 (*.f64 (+.f64 18 x) 1/116)))
(*.f64 1 (fma.f64 (+.f64 x 17) 1/116 -1/116))
(.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (/.f64 1 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(*.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))
(*.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2) (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))
(.f64 (/.f64 1 (.f64 (+.f64 18 x) 1/116)) (+.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456))
(.f64 (/.f64 1 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456)))) (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))
(.f64 (/.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456) (+.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456)) (fma.f64 (+.f64 x 17) 1/116 -1/116))
(.f64 (/.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456) (-.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)) (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) (+.f64 1/13456 (.f64 (+.f64 x 17) -1/13456))))
(.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (-.f64 (.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936) (pow.f64 (+.f64 1/13456 (.f64 (-.f64 -17 x) -1/13456)) 2))) (-.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) (+.f64 1/13456 (*.f64 (-.f64 -17 x) -1/13456))))
(.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (+.f64 (pow.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) 3) (pow.f64 (+.f64 1/13456 (.f64 (-.f64 -17 x) -1/13456)) 3))) (+.f64 (.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936) (.f64 (+.f64 1/13456 (.f64 (-.f64 -17 x) -1/13456)) (-.f64 (+.f64 1/13456 (.f64 (-.f64 -17 x) -1/13456)) (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))))))
(*.f64 (+.f64 (-.f64 -17 x) 1) -1/116)
(.f64 (.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) (*.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))))
(.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2))))
(.f64 (.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) (sqrt.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))) (*.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) (sqrt.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))))
(.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2)) (cbrt.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2)) (cbrt.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 3/2) (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 3/2))
(*.f64 (pow.f64 (pow.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116) 3) 1/6) (pow.f64 (pow.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116) 3) 1/6))
(/.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456) (.f64 (+.f64 18 x) 1/116))
(/.f64 1 (/.f64 1 (fma.f64 (+.f64 x 17) 1/116 -1/116)))
(/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))))
(/.f64 (-.f64 (.f64 (pow.f64 (+.f64 x 17) 6) 1/2436396322816) 1/2436396322816) (.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))) (-.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)))
(/.f64 (-.f64 1/13456 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) (+.f64 -1/116 (.f64 1/116 (-.f64 -17 x))))
(/.f64 (-.f64 (.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936) 1/181063936) (.f64 (.f64 (+.f64 18 x) 1/116) (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) 1/13456)))
(/.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) 3) -1/3802961274698203136) (.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))) (-.f64 (+.f64 (.f64 (pow.f64 (+.f64 x 17) 6) 1/2436396322816) 1/2436396322816) (*.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))))
(/.f64 (-.f64 (pow.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) 3) 1/2436396322816) (.f64 (.f64 (+.f64 18 x) 1/116) (+.f64 (.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936) (+.f64 1/181063936 (*.f64 (pow.f64 (+.f64 x 17) 2) 1/181063936)))))
(/.f64 (+.f64 (neg.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) 1/13456) (neg.f64 (.f64 (+.f64 18 x) 1/116)))
(/.f64 (+.f64 1/1560896 (neg.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896))) (neg.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(/.f64 (sqrt.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456)) (/.f64 (.f64 (+.f64 18 x) 1/116) (sqrt.f64 (+.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456))))
(/.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)) (/.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))))
(/.f64 (.f64 (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)) (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))) (/.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456))) (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))))
(/.f64 (.f64 (cbrt.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456)) (cbrt.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456))) (/.f64 (.f64 (+.f64 18 x) 1/116) (cbrt.f64 (+.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456))))
(/.f64 (.f64 1 (-.f64 1/13456 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)))) (+.f64 -1/116 (*.f64 1/116 (-.f64 -17 x))))
(/.f64 (.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) (sqrt.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456))) (sqrt.f64 (*.f64 (+.f64 18 x) 1/116)))
(/.f64 (.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))) (sqrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(/.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2) (cbrt.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456))) (cbrt.f64 (*.f64 (+.f64 18 x) 1/116)))
(/.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2) (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))) (cbrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(/.f64 (.f64 (-.f64 1/13456 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) 1) (+.f64 -1/116 (*.f64 1/116 (-.f64 -17 x))))
(/.f64 (.f64 (+.f64 (neg.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) 1/13456) 1) (neg.f64 (*.f64 (+.f64 18 x) 1/116)))
(/.f64 (.f64 (+.f64 1/1560896 (neg.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896))) 1) (neg.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(/.f64 (.f64 (-.f64 (.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936) 1/181063936) (/.f64 1 (.f64 (+.f64 18 x) 1/116))) (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) 1/13456))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) 3) 1/2436396322816) (/.f64 1 (.f64 (+.f64 18 x) 1/116))) (+.f64 (.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936) (+.f64 1/181063936 (*.f64 (pow.f64 (+.f64 x 17) 2) 1/181063936))))
(/.f64 (.f64 (-.f64 (.f64 (pow.f64 (+.f64 x 17) 6) 1/2436396322816) 1/2436396322816) (/.f64 1 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))))) (-.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))
(/.f64 (.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) 3) -1/3802961274698203136) (/.f64 1 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))))) (-.f64 (+.f64 (.f64 (pow.f64 (+.f64 x 17) 6) 1/2436396322816) 1/2436396322816) (*.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)))
(/.f64 (.f64 (sqrt.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456)) (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) (sqrt.f64 (*.f64 (+.f64 18 x) 1/116)))
(/.f64 (.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)) (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) (sqrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(/.f64 (.f64 (cbrt.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456)) (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2)) (cbrt.f64 (*.f64 (+.f64 18 x) 1/116)))
(/.f64 (.f64 (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)) (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2)) (cbrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(/.f64 (/.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456) 1) (.f64 (+.f64 18 x) 1/116))
(/.f64 (/.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456) (sqrt.f64 (.f64 (+.f64 18 x) 1/116))) (sqrt.f64 (*.f64 (+.f64 18 x) 1/116)))
(/.f64 (/.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456) (.f64 (cbrt.f64 (.f64 (+.f64 18 x) 1/116)) (cbrt.f64 (.f64 (+.f64 18 x) 1/116)))) (cbrt.f64 (*.f64 (+.f64 18 x) 1/116)))
(/.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) 1) (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))))
(/.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (sqrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))))) (sqrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(/.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (.f64 (cbrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456)))) (cbrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456)))))) (cbrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(pow.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116) 1)
(pow.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2)
(pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 3)
(pow.f64 (pow.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116) 3) 1/3)
(neg.f64 (/.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456) (neg.f64 (.f64 (+.f64 18 x) 1/116))))
(neg.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (neg.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))))))
(sqrt.f64 (pow.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116) 2))
(log.f64 (exp.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))))
(cbrt.f64 (pow.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116) 3))
(expm1.f64 (log1p.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))
(exp.f64 (log.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))
(log1p.f64 (expm1.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))
(fma.f64 (+.f64 x 17) 1/116 -1/116)
(fma.f64 1 (+.f64 (*.f64 1/116 x) 17/116) -1/116)
(fma.f64 (sqrt.f64 (+.f64 (.f64 1/116 x) 17/116)) (sqrt.f64 (+.f64 (.f64 1/116 x) 17/116)) -1/116)
(fma.f64 (cbrt.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116)) -1/116)
(+.f64 (*.f64 1/116 x) 17/116)
(+.f64 17/116 (*.f64 1/116 x))
(-.f64 (exp.f64 (log1p.f64 (+.f64 (*.f64 1/116 x) 17/116))) 1)
(*.f64 1/116 (+.f64 x 17))
(*.f64 (+.f64 x 17) 1/116)
(.f64 (+.f64 x 17) (.f64 (sqrt.f64 1/116) (sqrt.f64 1/116)))
(.f64 (+.f64 (.f64 1/116 x) 17/116) 1)
(*.f64 -1/116 (-.f64 -17 x))
(.f64 1 (+.f64 (.f64 1/116 x) 17/116))
(*.f64 (-.f64 -17 x) -1/116)
(.f64 (sqrt.f64 (+.f64 x 17)) (.f64 1/116 (sqrt.f64 (+.f64 x 17))))
(.f64 (sqrt.f64 (+.f64 (.f64 1/116 x) 17/116)) (sqrt.f64 (+.f64 (*.f64 1/116 x) 17/116)))
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 17) 2)) (.f64 1/116 (cbrt.f64 (+.f64 x 17))))
(.f64 (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116)) (cbrt.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2))))
(.f64 (cbrt.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) (cbrt.f64 (+.f64 (*.f64 1/116 x) 17/116)))
(.f64 (.f64 1/116 (sqrt.f64 (+.f64 x 17))) (sqrt.f64 (+.f64 x 17)))
(.f64 (.f64 1/116 (cbrt.f64 (+.f64 x 17))) (cbrt.f64 (pow.f64 (+.f64 x 17) 2)))
(*.f64 (/.f64 1 (/.f64 116 (sqrt.f64 (+.f64 x 17)))) (sqrt.f64 (+.f64 x 17)))
(*.f64 (/.f64 1 (/.f64 116 (cbrt.f64 (pow.f64 (+.f64 x 17) 2)))) (cbrt.f64 (+.f64 x 17)))
(*.f64 (/.f64 (sqrt.f64 (+.f64 x 17)) 116) (sqrt.f64 (+.f64 x 17)))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 x 17) 2)) 116) (cbrt.f64 (+.f64 x 17)))
(.f64 (/.f64 (.f64 1/116 (fma.f64 x x -289)) (fma.f64 x x -289)) (+.f64 x 17))
(.f64 (/.f64 (.f64 1/116 (fma.f64 x x -289)) (-.f64 (pow.f64 x 3) 4913)) (+.f64 (pow.f64 x 2) (+.f64 289 (*.f64 x 17))))
(.f64 (/.f64 (.f64 1/116 (+.f64 (pow.f64 x 3) 4913)) (-.f64 (pow.f64 x 4) (pow.f64 (+.f64 289 (.f64 x -17)) 2))) (+.f64 (fma.f64 x x -289) (.f64 x 17)))
(.f64 (/.f64 (.f64 1/116 (+.f64 (pow.f64 x 3) 4913)) (+.f64 (pow.f64 (pow.f64 x 2) 3) (pow.f64 (+.f64 289 (.f64 x -17)) 3))) (+.f64 (pow.f64 x 4) (.f64 (+.f64 289 (.f64 x -17)) (-.f64 (+.f64 289 (.f64 x -17)) (pow.f64 x 2)))))
(.f64 (.f64 (sqrt.f64 (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116))) (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116))) (.f64 (sqrt.f64 (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116))) (cbrt.f64 (+.f64 (*.f64 1/116 x) 17/116))))
(.f64 (.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 1/116 x) 17/116))) (sqrt.f64 (cbrt.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))))) (.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 1/116 x) 17/116))) (sqrt.f64 (cbrt.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2))))))
(.f64 (.f64 (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116)) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116)))) (.f64 (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116)) (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 1/116 x) 17/116)))))
(.f64 (.f64 (sqrt.f64 (cbrt.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 1/116 x) 17/116)))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 1/116 x) 17/116)))))
(*.f64 (pow.f64 (/.f64 116 (+.f64 x 17)) -1/2) (pow.f64 (/.f64 116 (+.f64 x 17)) -1/2))
(*.f64 (pow.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) 1/6) (pow.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) 1/6))
(.f64 (pow.f64 (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116)) 3/2) (pow.f64 (cbrt.f64 (+.f64 (*.f64 1/116 x) 17/116)) 3/2))
(pow.f64 (+.f64 (*.f64 1/116 x) 17/116) 1)
(pow.f64 (/.f64 116 (+.f64 x 17)) -1)
(pow.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) 1/3)
(pow.f64 (sqrt.f64 (+.f64 (*.f64 1/116 x) 17/116)) 2)
(pow.f64 (cbrt.f64 (+.f64 (*.f64 1/116 x) 17/116)) 3)
(neg.f64 (*.f64 1/116 (-.f64 -17 x)))
(sqrt.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2)))
(log.f64 (exp.f64 (+.f64 (*.f64 1/116 x) 17/116)))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 (*.f64 1/116 x) 17/116))))
(cbrt.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896))
(expm1.f64 (log1p.f64 (+.f64 (*.f64 1/116 x) 17/116)))
(exp.f64 (log.f64 (+.f64 (*.f64 1/116 x) 17/116)))
(log1p.f64 (expm1.f64 (+.f64 (*.f64 1/116 x) 17/116)))

simplify156.0ms (7.9%)

Algorithm

1×	egg-herbie

Rules

1734×	`associate-/l*`
1314×	`associate-/r*`
908×	`associate-*r/`
796×	`associate-*l/`
430×	`+-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	371	6507
1	983	5778
2	3507	5685

Stop Event

1×	node limit

Counts

158 → 205

Calls

Call 1

Inputs
4/29
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(*.f64 1/116 x)
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(*.f64 1/116 x)
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
17/116
(+.f64 17/116 (*.f64 1/116 x))
(+.f64 17/116 (*.f64 1/116 x))
(+.f64 17/116 (*.f64 1/116 x))
(*.f64 1/116 x)
(+.f64 17/116 (*.f64 1/116 x))
(+.f64 17/116 (*.f64 1/116 x))
(+.f64 17/116 (*.f64 1/116 x))
(*.f64 1/116 x)
(+.f64 17/116 (*.f64 1/116 x))
(+.f64 17/116 (*.f64 1/116 x))
(+.f64 17/116 (*.f64 1/116 x))
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/116 x))) 1)
(pow.f64 (*.f64 1/116 x) 1)
(pow.f64 (sqrt.f64 (*.f64 1/116 x)) 2)
(pow.f64 (cbrt.f64 (*.f64 1/116 x)) 3)
(pow.f64 (pow.f64 (*.f64 1/116 x) 3) 1/3)
(sqrt.f64 (*.f64 (pow.f64 x 2) 1/13456))
(log.f64 (pow.f64 (exp.f64 x) 1/116))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 1/116 x))))
(cbrt.f64 (pow.f64 (*.f64 1/116 x) 3))
(expm1.f64 (log1p.f64 (*.f64 1/116 x)))
(exp.f64 (log.f64 (*.f64 1/116 x)))
(log1p.f64 (expm1.f64 (*.f64 1/116 x)))
(-.f64 (/.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) (.f64 (+.f64 18 x) 1/116)) (/.f64 1/13456 (*.f64 (+.f64 18 x) 1/116)))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) 1)
(-.f64 (exp.f64 (log1p.f64 (+.f64 (*.f64 1/116 x) 17/116))) 117/116)
(-.f64 (+.f64 -1/116 (exp.f64 (log1p.f64 (+.f64 (*.f64 1/116 x) 17/116)))) 1)
(*.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116) 1)
(.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456) (/.f64 1 (*.f64 (+.f64 18 x) 1/116)))
(*.f64 1 (fma.f64 (+.f64 x 17) 1/116 -1/116))
(.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (/.f64 1 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(*.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))
(*.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2) (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))
(.f64 (/.f64 1 (.f64 (+.f64 18 x) 1/116)) (+.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456))
(.f64 (/.f64 1 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456)))) (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))
(.f64 (/.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456) (+.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456)) (fma.f64 (+.f64 x 17) 1/116 -1/116))
(.f64 (/.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456) (-.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)) (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) (+.f64 1/13456 (.f64 (+.f64 x 17) -1/13456))))
(.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (-.f64 (.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936) (pow.f64 (+.f64 1/13456 (.f64 (-.f64 -17 x) -1/13456)) 2))) (-.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) (+.f64 1/13456 (*.f64 (-.f64 -17 x) -1/13456))))
(.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (+.f64 (pow.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) 3) (pow.f64 (+.f64 1/13456 (.f64 (-.f64 -17 x) -1/13456)) 3))) (+.f64 (.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936) (.f64 (+.f64 1/13456 (.f64 (-.f64 -17 x) -1/13456)) (-.f64 (+.f64 1/13456 (.f64 (-.f64 -17 x) -1/13456)) (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))))))
(*.f64 (+.f64 (-.f64 -17 x) 1) -1/116)
(.f64 (.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) (*.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))))
(.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2))))
(.f64 (.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) (sqrt.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))) (*.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) (sqrt.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))))
(.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2)) (cbrt.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2)) (cbrt.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 3/2) (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 3/2))
(*.f64 (pow.f64 (pow.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116) 3) 1/6) (pow.f64 (pow.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116) 3) 1/6))
(/.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456) (.f64 (+.f64 18 x) 1/116))
(/.f64 1 (/.f64 1 (fma.f64 (+.f64 x 17) 1/116 -1/116)))
(/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))))
(/.f64 (-.f64 (.f64 (pow.f64 (+.f64 x 17) 6) 1/2436396322816) 1/2436396322816) (.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))) (-.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)))
(/.f64 (-.f64 1/13456 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) (+.f64 -1/116 (.f64 1/116 (-.f64 -17 x))))
(/.f64 (-.f64 (.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936) 1/181063936) (.f64 (.f64 (+.f64 18 x) 1/116) (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) 1/13456)))
(/.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) 3) -1/3802961274698203136) (.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))) (-.f64 (+.f64 (.f64 (pow.f64 (+.f64 x 17) 6) 1/2436396322816) 1/2436396322816) (*.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))))
(/.f64 (-.f64 (pow.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) 3) 1/2436396322816) (.f64 (.f64 (+.f64 18 x) 1/116) (+.f64 (.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936) (+.f64 1/181063936 (*.f64 (pow.f64 (+.f64 x 17) 2) 1/181063936)))))
(/.f64 (+.f64 (neg.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) 1/13456) (neg.f64 (.f64 (+.f64 18 x) 1/116)))
(/.f64 (+.f64 1/1560896 (neg.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896))) (neg.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(/.f64 (sqrt.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456)) (/.f64 (.f64 (+.f64 18 x) 1/116) (sqrt.f64 (+.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456))))
(/.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)) (/.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))))
(/.f64 (.f64 (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)) (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))) (/.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456))) (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))))
(/.f64 (.f64 (cbrt.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456)) (cbrt.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456))) (/.f64 (.f64 (+.f64 18 x) 1/116) (cbrt.f64 (+.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456))))
(/.f64 (.f64 1 (-.f64 1/13456 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)))) (+.f64 -1/116 (*.f64 1/116 (-.f64 -17 x))))
(/.f64 (.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) (sqrt.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456))) (sqrt.f64 (*.f64 (+.f64 18 x) 1/116)))
(/.f64 (.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))) (sqrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(/.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2) (cbrt.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456))) (cbrt.f64 (*.f64 (+.f64 18 x) 1/116)))
(/.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2) (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))) (cbrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(/.f64 (.f64 (-.f64 1/13456 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) 1) (+.f64 -1/116 (*.f64 1/116 (-.f64 -17 x))))
(/.f64 (.f64 (+.f64 (neg.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) 1/13456) 1) (neg.f64 (*.f64 (+.f64 18 x) 1/116)))
(/.f64 (.f64 (+.f64 1/1560896 (neg.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896))) 1) (neg.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(/.f64 (.f64 (-.f64 (.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936) 1/181063936) (/.f64 1 (.f64 (+.f64 18 x) 1/116))) (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) 1/13456))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) 3) 1/2436396322816) (/.f64 1 (.f64 (+.f64 18 x) 1/116))) (+.f64 (.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936) (+.f64 1/181063936 (*.f64 (pow.f64 (+.f64 x 17) 2) 1/181063936))))
(/.f64 (.f64 (-.f64 (.f64 (pow.f64 (+.f64 x 17) 6) 1/2436396322816) 1/2436396322816) (/.f64 1 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))))) (-.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))
(/.f64 (.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) 3) -1/3802961274698203136) (/.f64 1 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))))) (-.f64 (+.f64 (.f64 (pow.f64 (+.f64 x 17) 6) 1/2436396322816) 1/2436396322816) (*.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)))
(/.f64 (.f64 (sqrt.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456)) (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) (sqrt.f64 (*.f64 (+.f64 18 x) 1/116)))
(/.f64 (.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)) (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) (sqrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(/.f64 (.f64 (cbrt.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456)) (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2)) (cbrt.f64 (*.f64 (+.f64 18 x) 1/116)))
(/.f64 (.f64 (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)) (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2)) (cbrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(/.f64 (/.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456) 1) (.f64 (+.f64 18 x) 1/116))
(/.f64 (/.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456) (sqrt.f64 (.f64 (+.f64 18 x) 1/116))) (sqrt.f64 (*.f64 (+.f64 18 x) 1/116)))
(/.f64 (/.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456) (.f64 (cbrt.f64 (.f64 (+.f64 18 x) 1/116)) (cbrt.f64 (.f64 (+.f64 18 x) 1/116)))) (cbrt.f64 (*.f64 (+.f64 18 x) 1/116)))
(/.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) 1) (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))))
(/.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (sqrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))))) (sqrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(/.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (.f64 (cbrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456)))) (cbrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456)))))) (cbrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(pow.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116) 1)
(pow.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2)
(pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 3)
(pow.f64 (pow.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116) 3) 1/3)
(neg.f64 (/.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456) (neg.f64 (.f64 (+.f64 18 x) 1/116))))
(neg.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (neg.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))))))
(sqrt.f64 (pow.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116) 2))
(log.f64 (exp.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))))
(cbrt.f64 (pow.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116) 3))
(expm1.f64 (log1p.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))
(exp.f64 (log.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))
(log1p.f64 (expm1.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))
(fma.f64 (+.f64 x 17) 1/116 -1/116)
(fma.f64 1 (+.f64 (*.f64 1/116 x) 17/116) -1/116)
(fma.f64 (sqrt.f64 (+.f64 (.f64 1/116 x) 17/116)) (sqrt.f64 (+.f64 (.f64 1/116 x) 17/116)) -1/116)
(fma.f64 (cbrt.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116)) -1/116)
(+.f64 (*.f64 1/116 x) 17/116)
(+.f64 17/116 (*.f64 1/116 x))
(-.f64 (exp.f64 (log1p.f64 (+.f64 (*.f64 1/116 x) 17/116))) 1)
(*.f64 1/116 (+.f64 x 17))
(*.f64 (+.f64 x 17) 1/116)
(.f64 (+.f64 x 17) (.f64 (sqrt.f64 1/116) (sqrt.f64 1/116)))
(.f64 (+.f64 (.f64 1/116 x) 17/116) 1)
(*.f64 -1/116 (-.f64 -17 x))
(.f64 1 (+.f64 (.f64 1/116 x) 17/116))
(*.f64 (-.f64 -17 x) -1/116)
(.f64 (sqrt.f64 (+.f64 x 17)) (.f64 1/116 (sqrt.f64 (+.f64 x 17))))
(.f64 (sqrt.f64 (+.f64 (.f64 1/116 x) 17/116)) (sqrt.f64 (+.f64 (*.f64 1/116 x) 17/116)))
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 17) 2)) (.f64 1/116 (cbrt.f64 (+.f64 x 17))))
(.f64 (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116)) (cbrt.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2))))
(.f64 (cbrt.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) (cbrt.f64 (+.f64 (*.f64 1/116 x) 17/116)))
(.f64 (.f64 1/116 (sqrt.f64 (+.f64 x 17))) (sqrt.f64 (+.f64 x 17)))
(.f64 (.f64 1/116 (cbrt.f64 (+.f64 x 17))) (cbrt.f64 (pow.f64 (+.f64 x 17) 2)))
(*.f64 (/.f64 1 (/.f64 116 (sqrt.f64 (+.f64 x 17)))) (sqrt.f64 (+.f64 x 17)))
(*.f64 (/.f64 1 (/.f64 116 (cbrt.f64 (pow.f64 (+.f64 x 17) 2)))) (cbrt.f64 (+.f64 x 17)))
(*.f64 (/.f64 (sqrt.f64 (+.f64 x 17)) 116) (sqrt.f64 (+.f64 x 17)))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 x 17) 2)) 116) (cbrt.f64 (+.f64 x 17)))
(.f64 (/.f64 (.f64 1/116 (fma.f64 x x -289)) (fma.f64 x x -289)) (+.f64 x 17))
(.f64 (/.f64 (.f64 1/116 (fma.f64 x x -289)) (-.f64 (pow.f64 x 3) 4913)) (+.f64 (pow.f64 x 2) (+.f64 289 (*.f64 x 17))))
(.f64 (/.f64 (.f64 1/116 (+.f64 (pow.f64 x 3) 4913)) (-.f64 (pow.f64 x 4) (pow.f64 (+.f64 289 (.f64 x -17)) 2))) (+.f64 (fma.f64 x x -289) (.f64 x 17)))
(.f64 (/.f64 (.f64 1/116 (+.f64 (pow.f64 x 3) 4913)) (+.f64 (pow.f64 (pow.f64 x 2) 3) (pow.f64 (+.f64 289 (.f64 x -17)) 3))) (+.f64 (pow.f64 x 4) (.f64 (+.f64 289 (.f64 x -17)) (-.f64 (+.f64 289 (.f64 x -17)) (pow.f64 x 2)))))
(.f64 (.f64 (sqrt.f64 (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116))) (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116))) (.f64 (sqrt.f64 (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116))) (cbrt.f64 (+.f64 (*.f64 1/116 x) 17/116))))
(.f64 (.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 1/116 x) 17/116))) (sqrt.f64 (cbrt.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))))) (.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 1/116 x) 17/116))) (sqrt.f64 (cbrt.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2))))))
(.f64 (.f64 (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116)) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116)))) (.f64 (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116)) (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 1/116 x) 17/116)))))
(.f64 (.f64 (sqrt.f64 (cbrt.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 1/116 x) 17/116)))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 1/116 x) 17/116)))))
(*.f64 (pow.f64 (/.f64 116 (+.f64 x 17)) -1/2) (pow.f64 (/.f64 116 (+.f64 x 17)) -1/2))
(*.f64 (pow.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) 1/6) (pow.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) 1/6))
(.f64 (pow.f64 (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116)) 3/2) (pow.f64 (cbrt.f64 (+.f64 (*.f64 1/116 x) 17/116)) 3/2))
(pow.f64 (+.f64 (*.f64 1/116 x) 17/116) 1)
(pow.f64 (/.f64 116 (+.f64 x 17)) -1)
(pow.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) 1/3)
(pow.f64 (sqrt.f64 (+.f64 (*.f64 1/116 x) 17/116)) 2)
(pow.f64 (cbrt.f64 (+.f64 (*.f64 1/116 x) 17/116)) 3)
(neg.f64 (*.f64 1/116 (-.f64 -17 x)))
(sqrt.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2)))
(log.f64 (exp.f64 (+.f64 (*.f64 1/116 x) 17/116)))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 (*.f64 1/116 x) 17/116))))
(cbrt.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896))
(expm1.f64 (log1p.f64 (+.f64 (*.f64 1/116 x) 17/116)))
(exp.f64 (log.f64 (+.f64 (*.f64 1/116 x) 17/116)))
(log1p.f64 (expm1.f64 (+.f64 (*.f64 1/116 x) 17/116)))

Outputs
4/29
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(*.f64 1/116 x)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(*.f64 1/116 x)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
17/116
(+.f64 17/116 (*.f64 1/116 x))
(fma.f64 1/116 x 17/116)
(+.f64 17/116 (*.f64 1/116 x))
(fma.f64 1/116 x 17/116)
(+.f64 17/116 (*.f64 1/116 x))
(fma.f64 1/116 x 17/116)
(*.f64 1/116 x)
(+.f64 17/116 (*.f64 1/116 x))
(fma.f64 1/116 x 17/116)
(+.f64 17/116 (*.f64 1/116 x))
(fma.f64 1/116 x 17/116)
(+.f64 17/116 (*.f64 1/116 x))
(fma.f64 1/116 x 17/116)
(*.f64 1/116 x)
(+.f64 17/116 (*.f64 1/116 x))
(fma.f64 1/116 x 17/116)
(+.f64 17/116 (*.f64 1/116 x))
(fma.f64 1/116 x 17/116)
(+.f64 17/116 (*.f64 1/116 x))
(fma.f64 1/116 x 17/116)
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/116 x))) 1)
(*.f64 1/116 x)
(pow.f64 (*.f64 1/116 x) 1)
(*.f64 1/116 x)
(pow.f64 (sqrt.f64 (*.f64 1/116 x)) 2)
(*.f64 1/116 x)
(pow.f64 (cbrt.f64 (*.f64 1/116 x)) 3)
(*.f64 1/116 x)
(pow.f64 (pow.f64 (*.f64 1/116 x) 3) 1/3)
(*.f64 1/116 x)
(sqrt.f64 (*.f64 (pow.f64 x 2) 1/13456))
(log.f64 (pow.f64 (exp.f64 x) 1/116))
(*.f64 1/116 x)
(log.f64 (+.f64 1 (expm1.f64 (*.f64 1/116 x))))
(*.f64 1/116 x)
(cbrt.f64 (pow.f64 (*.f64 1/116 x) 3))
(*.f64 1/116 x)
(expm1.f64 (log1p.f64 (*.f64 1/116 x)))
(*.f64 1/116 x)
(exp.f64 (log.f64 (*.f64 1/116 x)))
(*.f64 1/116 x)
(log1p.f64 (expm1.f64 (*.f64 1/116 x)))
(*.f64 1/116 x)
(-.f64 (/.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) (.f64 (+.f64 18 x) 1/116)) (/.f64 1/13456 (*.f64 (+.f64 18 x) 1/116)))
(-.f64 (.f64 (/.f64 1/13456 (+.f64 x 18)) (/.f64 (pow.f64 (+.f64 x 17) 2) 1/116)) (/.f64 1/13456 (.f64 1/116 (+.f64 x 18))))
(-.f64 (*.f64 1/116 (/.f64 (pow.f64 (+.f64 x 17) 2) (+.f64 x 18))) (/.f64 1/116 (+.f64 x 18)))
(*.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456) (/.f64 116 (+.f64 x 18)))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) 1)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(-.f64 (exp.f64 (log1p.f64 (+.f64 (*.f64 1/116 x) 17/116))) 117/116)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(-.f64 (+.f64 -1/116 (exp.f64 (log1p.f64 (+.f64 (*.f64 1/116 x) 17/116)))) 1)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(*.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116) 1)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456) (/.f64 1 (*.f64 (+.f64 18 x) 1/116)))
(-.f64 (.f64 (/.f64 1/13456 (+.f64 x 18)) (/.f64 (pow.f64 (+.f64 x 17) 2) 1/116)) (/.f64 1/13456 (.f64 1/116 (+.f64 x 18))))
(-.f64 (*.f64 1/116 (/.f64 (pow.f64 (+.f64 x 17) 2) (+.f64 x 18))) (/.f64 1/116 (+.f64 x 18)))
(*.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456) (/.f64 116 (+.f64 x 18)))
(*.f64 1 (fma.f64 (+.f64 x 17) 1/116 -1/116))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (/.f64 1 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(/.f64 (.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) 1) (+.f64 1/13456 (.f64 (+.f64 x 17) (fma.f64 (-.f64 -17 x) -1/13456 1/13456))))
(/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (fma.f64 (+.f64 x 17) (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) 1/13456))
(*.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(*.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2) (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(.f64 (/.f64 1 (.f64 (+.f64 18 x) 1/116)) (+.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456))
(-.f64 (.f64 (/.f64 1/13456 (+.f64 x 18)) (/.f64 (pow.f64 (+.f64 x 17) 2) 1/116)) (/.f64 1/13456 (.f64 1/116 (+.f64 x 18))))
(-.f64 (*.f64 1/116 (/.f64 (pow.f64 (+.f64 x 17) 2) (+.f64 x 18))) (/.f64 1/116 (+.f64 x 18)))
(*.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456) (/.f64 116 (+.f64 x 18)))
(.f64 (/.f64 1 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456)))) (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))
(/.f64 (.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) 1) (+.f64 1/13456 (.f64 (+.f64 x 17) (fma.f64 (-.f64 -17 x) -1/13456 1/13456))))
(/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (fma.f64 (+.f64 x 17) (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) 1/13456))
(.f64 (/.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456) (+.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456)) (fma.f64 (+.f64 x 17) 1/116 -1/116))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(.f64 (/.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456) (-.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)) (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) (+.f64 1/13456 (.f64 (+.f64 x 17) -1/13456))))
(/.f64 (.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456) (+.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) 1/13456) (.f64 (+.f64 x 17) -1/13456))) (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) 1/1560896))
(*.f64 (/.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456) (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) 1/1560896)) (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) (fma.f64 (+.f64 x 17) -1/13456 1/13456)))
(/.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) (+.f64 (*.f64 -1/13456 x) -1/841)) (/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) 1/1560896) (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456)))
(.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (-.f64 (.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936) (pow.f64 (+.f64 1/13456 (.f64 (-.f64 -17 x) -1/13456)) 2))) (-.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) (+.f64 1/13456 (*.f64 (-.f64 -17 x) -1/13456))))
(.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (-.f64 (.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936) (pow.f64 (fma.f64 (-.f64 -17 x) -1/13456 1/13456) 2))) (-.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) (fma.f64 (-.f64 -17 x) -1/13456 1/13456)))
(.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (-.f64 (.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936) (pow.f64 (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) 2))) (-.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) (fma.f64 -1/13456 (-.f64 -17 x) 1/13456)))
(.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (-.f64 (.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936) (pow.f64 (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) 2))) (+.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456) (+.f64 (*.f64 -1/13456 x) -17/13456)))
(.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (+.f64 (pow.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) 3) (pow.f64 (+.f64 1/13456 (.f64 (-.f64 -17 x) -1/13456)) 3))) (+.f64 (.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936) (.f64 (+.f64 1/13456 (.f64 (-.f64 -17 x) -1/13456)) (-.f64 (+.f64 1/13456 (.f64 (-.f64 -17 x) -1/13456)) (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))))))
(.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (+.f64 (.f64 1/2436396322816 (pow.f64 (pow.f64 (+.f64 x 17) 2) 3)) (pow.f64 (fma.f64 (-.f64 -17 x) -1/13456 1/13456) 3))) (fma.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936 (.f64 (fma.f64 (-.f64 -17 x) -1/13456 1/13456) (+.f64 (fma.f64 (-.f64 -17 x) -1/13456 1/13456) (.f64 -1/13456 (pow.f64 (+.f64 x 17) 2))))))
(.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (fma.f64 1/2436396322816 (pow.f64 (+.f64 x 17) 6) (pow.f64 (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) 3))) (fma.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936 (.f64 (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) (-.f64 (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2))))))
(.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (fma.f64 1/2436396322816 (pow.f64 (+.f64 x 17) 6) (pow.f64 (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) 3))) (fma.f64 (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) (+.f64 (.f64 -1/13456 (-.f64 -17 x)) (fma.f64 -1/13456 (pow.f64 (+.f64 x 17) 2) 1/13456)) (*.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936)))
(*.f64 (+.f64 (-.f64 -17 x) 1) -1/116)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(.f64 (.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) (*.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2))))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 4/29))) (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)))))
(.f64 (.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) (sqrt.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))) (*.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) (sqrt.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2)) (cbrt.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2)) (cbrt.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))))
(.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2))))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 4/29))) (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)))))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 3/2) (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 3/2))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(*.f64 (pow.f64 (pow.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116) 3) 1/6) (pow.f64 (pow.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116) 3) 1/6))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(/.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456) (.f64 (+.f64 18 x) 1/116))
(-.f64 (.f64 (/.f64 1/13456 (+.f64 x 18)) (/.f64 (pow.f64 (+.f64 x 17) 2) 1/116)) (/.f64 1/13456 (.f64 1/116 (+.f64 x 18))))
(-.f64 (*.f64 1/116 (/.f64 (pow.f64 (+.f64 x 17) 2) (+.f64 x 18))) (/.f64 1/116 (+.f64 x 18)))
(*.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456) (/.f64 116 (+.f64 x 18)))
(/.f64 1 (/.f64 1 (fma.f64 (+.f64 x 17) 1/116 -1/116)))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))))
(/.f64 (.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) 1) (+.f64 1/13456 (.f64 (+.f64 x 17) (fma.f64 (-.f64 -17 x) -1/13456 1/13456))))
(/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (fma.f64 (+.f64 x 17) (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) 1/13456))
(/.f64 (-.f64 (.f64 (pow.f64 (+.f64 x 17) 6) 1/2436396322816) 1/2436396322816) (.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))) (-.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)))
(/.f64 (fma.f64 (pow.f64 (+.f64 x 17) 6) 1/2436396322816 -1/2436396322816) (.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (fma.f64 (-.f64 -17 x) -1/13456 1/13456))) (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) 1/1560896)))
(/.f64 (fma.f64 (pow.f64 (+.f64 x 17) 6) 1/2436396322816 -1/2436396322816) (*.f64 (fma.f64 (+.f64 x 17) (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) 1/13456) (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) 1/1560896)))
(/.f64 (-.f64 1/13456 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) (+.f64 -1/116 (.f64 1/116 (-.f64 -17 x))))
(/.f64 (fma.f64 -1/13456 (pow.f64 (+.f64 x 17) 2) 1/13456) (fma.f64 1/116 (-.f64 -17 x) -1/116))
(/.f64 (-.f64 (.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936) 1/181063936) (.f64 (.f64 (+.f64 18 x) 1/116) (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) 1/13456)))
(/.f64 (fma.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936 -1/181063936) (.f64 (+.f64 x 18) (.f64 1/116 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) 1/13456))))
(*.f64 (/.f64 (fma.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936 -1/181063936) (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) 1/13456)) (/.f64 116 (+.f64 x 18)))
(/.f64 (/.f64 116 (+.f64 x 18)) (/.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) 1/13456) (fma.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936 -1/181063936)))
(/.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) 3) -1/3802961274698203136) (.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))) (-.f64 (+.f64 (.f64 (pow.f64 (+.f64 x 17) 6) 1/2436396322816) 1/2436396322816) (*.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))))
(/.f64 (+.f64 (/.f64 (pow.f64 (pow.f64 (-.f64 -17 x) 3) 3) -3802961274698203136) -1/3802961274698203136) (.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (fma.f64 (-.f64 -17 x) -1/13456 1/13456))) (-.f64 (fma.f64 (pow.f64 (+.f64 x 17) 6) 1/2436396322816 1/2436396322816) (*.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))))
(/.f64 (+.f64 (/.f64 (pow.f64 (pow.f64 (-.f64 -17 x) 3) 3) -3802961274698203136) -1/3802961274698203136) (*.f64 (fma.f64 (+.f64 x 17) (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) 1/13456) (-.f64 (fma.f64 (pow.f64 (+.f64 x 17) 6) 1/2436396322816 1/2436396322816) (/.f64 (pow.f64 (-.f64 -17 x) 3) 2436396322816))))
(/.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (pow.f64 (-.f64 -17 x) 3) 3) -3802961274698203136) -1/3802961274698203136) (-.f64 (fma.f64 (pow.f64 (+.f64 x 17) 6) 1/2436396322816 1/2436396322816) (/.f64 (pow.f64 (-.f64 -17 x) 3) 2436396322816))) (fma.f64 (+.f64 x 17) (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) 1/13456))
(/.f64 (-.f64 (pow.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) 3) 1/2436396322816) (.f64 (.f64 (+.f64 18 x) 1/116) (+.f64 (.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936) (+.f64 1/181063936 (*.f64 (pow.f64 (+.f64 x 17) 2) 1/181063936)))))
(/.f64 (+.f64 (.f64 1/2436396322816 (pow.f64 (pow.f64 (+.f64 x 17) 2) 3)) -1/2436396322816) (.f64 (.f64 1/116 (+.f64 x 18)) (fma.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936 (+.f64 1/181063936 (.f64 (pow.f64 (+.f64 x 17) 2) 1/181063936)))))
(*.f64 (/.f64 (fma.f64 (pow.f64 (+.f64 x 17) 6) 1/2436396322816 -1/2436396322816) (fma.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936 (fma.f64 (pow.f64 (+.f64 x 17) 2) 1/181063936 1/181063936))) (/.f64 116 (+.f64 x 18)))
(/.f64 (+.f64 (neg.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) 1/13456) (neg.f64 (.f64 (+.f64 18 x) 1/116)))
(/.f64 (-.f64 1/13456 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) (.f64 (+.f64 x 18) -1/116))
(/.f64 (fma.f64 -1/13456 (pow.f64 (+.f64 x 17) 2) 1/13456) (*.f64 (+.f64 x 18) -1/116))
(/.f64 (fma.f64 -1/13456 (pow.f64 (+.f64 x 17) 2) 1/13456) (-.f64 -9/58 (*.f64 1/116 x)))
(/.f64 (+.f64 1/1560896 (neg.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896))) (neg.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(/.f64 (-.f64 1/1560896 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896)) (+.f64 -1/13456 (neg.f64 (*.f64 (+.f64 x 17) (fma.f64 (-.f64 -17 x) -1/13456 1/13456)))))
(/.f64 (-.f64 1/1560896 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896)) (-.f64 -1/13456 (*.f64 (+.f64 x 17) (fma.f64 -1/13456 (-.f64 -17 x) 1/13456))))
(/.f64 (sqrt.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456)) (/.f64 (.f64 (+.f64 18 x) 1/116) (sqrt.f64 (+.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456))))
(.f64 (/.f64 (sqrt.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456)) (.f64 1/116 (+.f64 x 18))) (sqrt.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456)))
(.f64 (sqrt.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456)) (/.f64 (sqrt.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456)) (+.f64 (.f64 1/116 x) 9/58)))
(/.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)) (/.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))))
(.f64 (/.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)) (+.f64 1/13456 (.f64 (+.f64 x 17) (fma.f64 (-.f64 -17 x) -1/13456 1/13456)))) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)))
(*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)) (/.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)) (fma.f64 (+.f64 x 17) (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) 1/13456)))
(/.f64 (.f64 (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)) (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))) (/.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456))) (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))))
(/.f64 (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)) (/.f64 (/.f64 (+.f64 1/13456 (*.f64 (+.f64 x 17) (fma.f64 (-.f64 -17 x) -1/13456 1/13456))) (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))) (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))))
(.f64 (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)) (/.f64 (.f64 (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)) (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))) (fma.f64 (+.f64 x 17) (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) 1/13456)))
(.f64 (/.f64 (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)) (fma.f64 (+.f64 x 17) (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) 1/13456)) (.f64 (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)) (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))))
(/.f64 (.f64 (cbrt.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456)) (cbrt.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456))) (/.f64 (.f64 (+.f64 18 x) 1/116) (cbrt.f64 (+.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456))))
(/.f64 (cbrt.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456)) (/.f64 (/.f64 (*.f64 1/116 (+.f64 x 18)) (cbrt.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456))) (cbrt.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456))))
(/.f64 (cbrt.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456)) (/.f64 (+.f64 (.f64 1/116 x) 9/58) (.f64 (cbrt.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456)) (cbrt.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456)))))
(.f64 (/.f64 (cbrt.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456)) (+.f64 (.f64 1/116 x) 9/58)) (*.f64 (cbrt.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456)) (cbrt.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456))))
(/.f64 (.f64 1 (-.f64 1/13456 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)))) (+.f64 -1/116 (*.f64 1/116 (-.f64 -17 x))))
(/.f64 (-.f64 1/13456 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) (+.f64 -1/116 (.f64 1/116 (-.f64 -17 x))))
(/.f64 (fma.f64 -1/13456 (pow.f64 (+.f64 x 17) 2) 1/13456) (fma.f64 1/116 (-.f64 -17 x) -1/116))
(/.f64 (.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) (sqrt.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456))) (sqrt.f64 (*.f64 (+.f64 18 x) 1/116)))
(/.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) (/.f64 (sqrt.f64 (*.f64 1/116 (+.f64 x 18))) (sqrt.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456))))
(.f64 (/.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)) (sqrt.f64 (+.f64 (.f64 1/116 x) 9/58))) (sqrt.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456)))
(/.f64 (.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))) (sqrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(/.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) (/.f64 (sqrt.f64 (+.f64 1/13456 (*.f64 (+.f64 x 17) (fma.f64 (-.f64 -17 x) -1/13456 1/13456)))) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)) (sqrt.f64 (fma.f64 (+.f64 x 17) (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) 1/13456))) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)))
(/.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2) (cbrt.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456))) (cbrt.f64 (*.f64 (+.f64 18 x) 1/116)))
(/.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2) (/.f64 (cbrt.f64 (*.f64 1/116 (+.f64 x 18))) (cbrt.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2) (cbrt.f64 (+.f64 (.f64 1/116 x) 9/58))) (cbrt.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456)))
(/.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2) (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))) (cbrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(/.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2) (/.f64 (cbrt.f64 (+.f64 1/13456 (*.f64 (+.f64 x 17) (fma.f64 (-.f64 -17 x) -1/13456 1/13456)))) (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2) (cbrt.f64 (fma.f64 (+.f64 x 17) (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) 1/13456))) (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)))
(/.f64 (.f64 (-.f64 1/13456 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) 1) (+.f64 -1/116 (*.f64 1/116 (-.f64 -17 x))))
(/.f64 (-.f64 1/13456 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) (+.f64 -1/116 (.f64 1/116 (-.f64 -17 x))))
(/.f64 (fma.f64 -1/13456 (pow.f64 (+.f64 x 17) 2) 1/13456) (fma.f64 1/116 (-.f64 -17 x) -1/116))
(/.f64 (.f64 (+.f64 (neg.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) 1/13456) 1) (neg.f64 (*.f64 (+.f64 18 x) 1/116)))
(/.f64 (-.f64 1/13456 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) (.f64 (+.f64 x 18) -1/116))
(/.f64 (fma.f64 -1/13456 (pow.f64 (+.f64 x 17) 2) 1/13456) (*.f64 (+.f64 x 18) -1/116))
(/.f64 (fma.f64 -1/13456 (pow.f64 (+.f64 x 17) 2) 1/13456) (-.f64 -9/58 (*.f64 1/116 x)))
(/.f64 (.f64 (+.f64 1/1560896 (neg.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896))) 1) (neg.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(/.f64 (-.f64 1/1560896 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896)) (+.f64 -1/13456 (neg.f64 (*.f64 (+.f64 x 17) (fma.f64 (-.f64 -17 x) -1/13456 1/13456)))))
(/.f64 (-.f64 1/1560896 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896)) (-.f64 -1/13456 (*.f64 (+.f64 x 17) (fma.f64 -1/13456 (-.f64 -17 x) 1/13456))))
(/.f64 (.f64 (-.f64 (.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936) 1/181063936) (/.f64 1 (.f64 (+.f64 18 x) 1/116))) (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) 1/13456))
(/.f64 (fma.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936 -1/181063936) (.f64 (+.f64 x 18) (.f64 1/116 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) 1/13456))))
(*.f64 (/.f64 (fma.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936 -1/181063936) (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) 1/13456)) (/.f64 116 (+.f64 x 18)))
(/.f64 (/.f64 116 (+.f64 x 18)) (/.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) 1/13456) (fma.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936 -1/181063936)))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) 3) 1/2436396322816) (/.f64 1 (.f64 (+.f64 18 x) 1/116))) (+.f64 (.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936) (+.f64 1/181063936 (*.f64 (pow.f64 (+.f64 x 17) 2) 1/181063936))))
(/.f64 (+.f64 (.f64 1/2436396322816 (pow.f64 (pow.f64 (+.f64 x 17) 2) 3)) -1/2436396322816) (.f64 (.f64 1/116 (+.f64 x 18)) (fma.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936 (+.f64 1/181063936 (.f64 (pow.f64 (+.f64 x 17) 2) 1/181063936)))))
(*.f64 (/.f64 (fma.f64 (pow.f64 (+.f64 x 17) 6) 1/2436396322816 -1/2436396322816) (fma.f64 (pow.f64 (+.f64 x 17) 4) 1/181063936 (fma.f64 (pow.f64 (+.f64 x 17) 2) 1/181063936 1/181063936))) (/.f64 116 (+.f64 x 18)))
(/.f64 (.f64 (-.f64 (.f64 (pow.f64 (+.f64 x 17) 6) 1/2436396322816) 1/2436396322816) (/.f64 1 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))))) (-.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))
(/.f64 (fma.f64 (pow.f64 (+.f64 x 17) 6) 1/2436396322816 -1/2436396322816) (.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (fma.f64 (-.f64 -17 x) -1/13456 1/13456))) (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) 1/1560896)))
(/.f64 (fma.f64 (pow.f64 (+.f64 x 17) 6) 1/2436396322816 -1/2436396322816) (*.f64 (fma.f64 (+.f64 x 17) (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) 1/13456) (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) 1/1560896)))
(/.f64 (.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) 3) -1/3802961274698203136) (/.f64 1 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))))) (-.f64 (+.f64 (.f64 (pow.f64 (+.f64 x 17) 6) 1/2436396322816) 1/2436396322816) (*.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)))
(/.f64 (+.f64 (/.f64 (pow.f64 (pow.f64 (-.f64 -17 x) 3) 3) -3802961274698203136) -1/3802961274698203136) (.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (fma.f64 (-.f64 -17 x) -1/13456 1/13456))) (-.f64 (fma.f64 (pow.f64 (+.f64 x 17) 6) 1/2436396322816 1/2436396322816) (*.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))))
(/.f64 (+.f64 (/.f64 (pow.f64 (pow.f64 (-.f64 -17 x) 3) 3) -3802961274698203136) -1/3802961274698203136) (*.f64 (fma.f64 (+.f64 x 17) (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) 1/13456) (-.f64 (fma.f64 (pow.f64 (+.f64 x 17) 6) 1/2436396322816 1/2436396322816) (/.f64 (pow.f64 (-.f64 -17 x) 3) 2436396322816))))
(/.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (pow.f64 (-.f64 -17 x) 3) 3) -3802961274698203136) -1/3802961274698203136) (-.f64 (fma.f64 (pow.f64 (+.f64 x 17) 6) 1/2436396322816 1/2436396322816) (/.f64 (pow.f64 (-.f64 -17 x) 3) 2436396322816))) (fma.f64 (+.f64 x 17) (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) 1/13456))
(/.f64 (.f64 (sqrt.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456)) (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) (sqrt.f64 (*.f64 (+.f64 18 x) 1/116)))
(/.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) (/.f64 (sqrt.f64 (*.f64 1/116 (+.f64 x 18))) (sqrt.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456))))
(.f64 (/.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)) (sqrt.f64 (+.f64 (.f64 1/116 x) 9/58))) (sqrt.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456)))
(/.f64 (.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)) (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))) (sqrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(/.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) (/.f64 (sqrt.f64 (+.f64 1/13456 (*.f64 (+.f64 x 17) (fma.f64 (-.f64 -17 x) -1/13456 1/13456)))) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)) (sqrt.f64 (fma.f64 (+.f64 x 17) (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) 1/13456))) (sqrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)))
(/.f64 (.f64 (cbrt.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456)) (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2)) (cbrt.f64 (*.f64 (+.f64 18 x) 1/116)))
(/.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2) (/.f64 (cbrt.f64 (*.f64 1/116 (+.f64 x 18))) (cbrt.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2) (cbrt.f64 (+.f64 (.f64 1/116 x) 9/58))) (cbrt.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456)))
(/.f64 (.f64 (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)) (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2)) (cbrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(/.f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2) (/.f64 (cbrt.f64 (+.f64 1/13456 (*.f64 (+.f64 x 17) (fma.f64 (-.f64 -17 x) -1/13456 1/13456)))) (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2) (cbrt.f64 (fma.f64 (+.f64 x 17) (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) 1/13456))) (cbrt.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896)))
(/.f64 (/.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456) 1) (.f64 (+.f64 18 x) 1/116))
(-.f64 (.f64 (/.f64 1/13456 (+.f64 x 18)) (/.f64 (pow.f64 (+.f64 x 17) 2) 1/116)) (/.f64 1/13456 (.f64 1/116 (+.f64 x 18))))
(-.f64 (*.f64 1/116 (/.f64 (pow.f64 (+.f64 x 17) 2) (+.f64 x 18))) (/.f64 1/116 (+.f64 x 18)))
(*.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456) (/.f64 116 (+.f64 x 18)))
(/.f64 (/.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456) (sqrt.f64 (.f64 (+.f64 18 x) 1/116))) (sqrt.f64 (*.f64 (+.f64 18 x) 1/116)))
(-.f64 (.f64 (/.f64 1/13456 (+.f64 x 18)) (/.f64 (pow.f64 (+.f64 x 17) 2) 1/116)) (/.f64 1/13456 (.f64 1/116 (+.f64 x 18))))
(-.f64 (*.f64 1/116 (/.f64 (pow.f64 (+.f64 x 17) 2) (+.f64 x 18))) (/.f64 1/116 (+.f64 x 18)))
(*.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456) (/.f64 116 (+.f64 x 18)))
(/.f64 (/.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456) (.f64 (cbrt.f64 (.f64 (+.f64 18 x) 1/116)) (cbrt.f64 (.f64 (+.f64 18 x) 1/116)))) (cbrt.f64 (*.f64 (+.f64 18 x) 1/116)))
(-.f64 (.f64 (/.f64 1/13456 (+.f64 x 18)) (/.f64 (pow.f64 (+.f64 x 17) 2) 1/116)) (/.f64 1/13456 (.f64 1/116 (+.f64 x 18))))
(-.f64 (*.f64 1/116 (/.f64 (pow.f64 (+.f64 x 17) 2) (+.f64 x 18))) (/.f64 1/116 (+.f64 x 18)))
(*.f64 (fma.f64 1/13456 (pow.f64 (+.f64 x 17) 2) -1/13456) (/.f64 116 (+.f64 x 18)))
(/.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) 1) (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))))
(/.f64 (.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) 1) (+.f64 1/13456 (.f64 (+.f64 x 17) (fma.f64 (-.f64 -17 x) -1/13456 1/13456))))
(/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (fma.f64 (+.f64 x 17) (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) 1/13456))
(/.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (sqrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))))) (sqrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(/.f64 (.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) 1) (+.f64 1/13456 (.f64 (+.f64 x 17) (fma.f64 (-.f64 -17 x) -1/13456 1/13456))))
(/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (fma.f64 (+.f64 x 17) (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) 1/13456))
(/.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (.f64 (cbrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456)))) (cbrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456)))))) (cbrt.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (*.f64 (-.f64 -17 x) -1/13456) -1/13456)))))
(/.f64 (.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) 1) (+.f64 1/13456 (.f64 (+.f64 x 17) (fma.f64 (-.f64 -17 x) -1/13456 1/13456))))
(/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (fma.f64 (+.f64 x 17) (fma.f64 -1/13456 (-.f64 -17 x) 1/13456) 1/13456))
(pow.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116) 1)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(pow.f64 (sqrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 2)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(pow.f64 (cbrt.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)) 3)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(pow.f64 (pow.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116) 3) 1/3)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(neg.f64 (/.f64 (+.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)) -1/13456) (neg.f64 (.f64 (+.f64 18 x) 1/116))))
(/.f64 (-.f64 1/13456 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) (.f64 (+.f64 x 18) -1/116))
(/.f64 (fma.f64 -1/13456 (pow.f64 (+.f64 x 17) 2) 1/13456) (*.f64 (+.f64 x 18) -1/116))
(/.f64 (fma.f64 -1/13456 (pow.f64 (+.f64 x 17) 2) 1/13456) (-.f64 -9/58 (*.f64 1/116 x)))
(neg.f64 (/.f64 (+.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) -1/1560896) (neg.f64 (+.f64 1/13456 (.f64 (+.f64 x 17) (-.f64 (.f64 (-.f64 -17 x) -1/13456) -1/13456))))))
(/.f64 (-.f64 1/1560896 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896)) (+.f64 -1/13456 (neg.f64 (*.f64 (+.f64 x 17) (fma.f64 (-.f64 -17 x) -1/13456 1/13456)))))
(/.f64 (-.f64 1/1560896 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896)) (-.f64 -1/13456 (*.f64 (+.f64 x 17) (fma.f64 -1/13456 (-.f64 -17 x) 1/13456))))
(sqrt.f64 (pow.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116) 2))
(fabs.f64 (fma.f64 1/116 x 4/29))
(log.f64 (exp.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116))))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(cbrt.f64 (pow.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116) 3))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(expm1.f64 (log1p.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(exp.f64 (log.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(log1p.f64 (expm1.f64 (fma.f64 (+.f64 x 17) 1/116 -1/116)))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(fma.f64 (+.f64 x 17) 1/116 -1/116)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(fma.f64 1 (+.f64 (*.f64 1/116 x) 17/116) -1/116)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(fma.f64 (sqrt.f64 (+.f64 (.f64 1/116 x) 17/116)) (sqrt.f64 (+.f64 (.f64 1/116 x) 17/116)) -1/116)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(fma.f64 (cbrt.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116)) -1/116)
(fma.f64 (cbrt.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) (cbrt.f64 (fma.f64 1/116 x 17/116)) -1/116)
(fma.f64 (cbrt.f64 (fma.f64 1/116 x 17/116)) (cbrt.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) -1/116)
(+.f64 (*.f64 1/116 x) 17/116)
(fma.f64 1/116 x 17/116)
(+.f64 17/116 (*.f64 1/116 x))
(fma.f64 1/116 x 17/116)
(-.f64 (exp.f64 (log1p.f64 (+.f64 (*.f64 1/116 x) 17/116))) 1)
(fma.f64 1/116 x 17/116)
(*.f64 1/116 (+.f64 x 17))
(fma.f64 1/116 x 17/116)
(*.f64 (+.f64 x 17) 1/116)
(fma.f64 1/116 x 17/116)
(.f64 (+.f64 x 17) (.f64 (sqrt.f64 1/116) (sqrt.f64 1/116)))
(fma.f64 1/116 x 17/116)
(.f64 (+.f64 (.f64 1/116 x) 17/116) 1)
(fma.f64 1/116 x 17/116)
(*.f64 -1/116 (-.f64 -17 x))
(fma.f64 1/116 x 17/116)
(.f64 1 (+.f64 (.f64 1/116 x) 17/116))
(fma.f64 1/116 x 17/116)
(*.f64 (-.f64 -17 x) -1/116)
(fma.f64 1/116 x 17/116)
(.f64 (sqrt.f64 (+.f64 x 17)) (.f64 1/116 (sqrt.f64 (+.f64 x 17))))
(fma.f64 1/116 x 17/116)
(.f64 (sqrt.f64 (+.f64 (.f64 1/116 x) 17/116)) (sqrt.f64 (+.f64 (*.f64 1/116 x) 17/116)))
(fma.f64 1/116 x 17/116)
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 17) 2)) (.f64 1/116 (cbrt.f64 (+.f64 x 17))))
(.f64 1/116 (.f64 (cbrt.f64 (+.f64 x 17)) (cbrt.f64 (pow.f64 (+.f64 x 17) 2))))
(.f64 (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116)) (cbrt.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2))))
(.f64 (cbrt.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) (cbrt.f64 (fma.f64 1/116 x 17/116)))
(.f64 (cbrt.f64 (fma.f64 1/116 x 17/116)) (cbrt.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))))
(.f64 (cbrt.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) (cbrt.f64 (+.f64 (*.f64 1/116 x) 17/116)))
(.f64 (cbrt.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) (cbrt.f64 (fma.f64 1/116 x 17/116)))
(.f64 (cbrt.f64 (fma.f64 1/116 x 17/116)) (cbrt.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))))
(.f64 (.f64 1/116 (sqrt.f64 (+.f64 x 17))) (sqrt.f64 (+.f64 x 17)))
(fma.f64 1/116 x 17/116)
(.f64 (.f64 1/116 (cbrt.f64 (+.f64 x 17))) (cbrt.f64 (pow.f64 (+.f64 x 17) 2)))
(.f64 1/116 (.f64 (cbrt.f64 (+.f64 x 17)) (cbrt.f64 (pow.f64 (+.f64 x 17) 2))))
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 17) 2)) (.f64 1/116 (cbrt.f64 (+.f64 x 17))))
(*.f64 (/.f64 1 (/.f64 116 (sqrt.f64 (+.f64 x 17)))) (sqrt.f64 (+.f64 x 17)))
(fma.f64 1/116 x 17/116)
(*.f64 (/.f64 1 (/.f64 116 (cbrt.f64 (pow.f64 (+.f64 x 17) 2)))) (cbrt.f64 (+.f64 x 17)))
(.f64 1/116 (.f64 (cbrt.f64 (+.f64 x 17)) (cbrt.f64 (pow.f64 (+.f64 x 17) 2))))
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 17) 2)) (.f64 1/116 (cbrt.f64 (+.f64 x 17))))
(*.f64 (/.f64 (sqrt.f64 (+.f64 x 17)) 116) (sqrt.f64 (+.f64 x 17)))
(fma.f64 1/116 x 17/116)
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 x 17) 2)) 116) (cbrt.f64 (+.f64 x 17)))
(.f64 1/116 (.f64 (cbrt.f64 (+.f64 x 17)) (cbrt.f64 (pow.f64 (+.f64 x 17) 2))))
(.f64 (cbrt.f64 (pow.f64 (+.f64 x 17) 2)) (.f64 1/116 (cbrt.f64 (+.f64 x 17))))
(.f64 (/.f64 (.f64 1/116 (fma.f64 x x -289)) (fma.f64 x x -289)) (+.f64 x 17))
(fma.f64 1/116 x 17/116)
(.f64 (/.f64 (.f64 1/116 (fma.f64 x x -289)) (-.f64 (pow.f64 x 3) 4913)) (+.f64 (pow.f64 x 2) (+.f64 289 (*.f64 x 17))))
(.f64 (/.f64 1/116 (/.f64 (+.f64 (pow.f64 x 3) -4913) (fma.f64 x x -289))) (+.f64 (pow.f64 x 2) (+.f64 289 (.f64 x 17))))
(/.f64 (*.f64 1/116 (fma.f64 x x -289)) (/.f64 (+.f64 (pow.f64 x 3) -4913) (fma.f64 x x (fma.f64 x 17 289))))
(.f64 (.f64 (/.f64 (fma.f64 x x -289) (+.f64 (pow.f64 x 3) -4913)) 1/116) (fma.f64 x x (fma.f64 x 17 289)))
(.f64 (/.f64 (.f64 1/116 (+.f64 (pow.f64 x 3) 4913)) (-.f64 (pow.f64 x 4) (pow.f64 (+.f64 289 (.f64 x -17)) 2))) (+.f64 (fma.f64 x x -289) (.f64 x 17)))
(.f64 (/.f64 1/116 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (+.f64 289 (.f64 x -17)) 2)) (+.f64 (pow.f64 x 3) 4913))) (+.f64 (fma.f64 x x -289) (*.f64 x 17)))
(*.f64 (/.f64 (fma.f64 1/116 (pow.f64 x 3) 4913/116) (-.f64 (pow.f64 x 4) (pow.f64 (fma.f64 x -17 289) 2))) (fma.f64 x 17 (fma.f64 x x -289)))
(.f64 (/.f64 (.f64 1/116 (+.f64 (pow.f64 x 3) 4913)) (+.f64 (pow.f64 (pow.f64 x 2) 3) (pow.f64 (+.f64 289 (.f64 x -17)) 3))) (+.f64 (pow.f64 x 4) (.f64 (+.f64 289 (.f64 x -17)) (-.f64 (+.f64 289 (.f64 x -17)) (pow.f64 x 2)))))
(.f64 (/.f64 1/116 (/.f64 (+.f64 (pow.f64 (pow.f64 x 2) 3) (pow.f64 (+.f64 289 (.f64 x -17)) 3)) (+.f64 (pow.f64 x 3) 4913))) (+.f64 (pow.f64 x 4) (.f64 (+.f64 289 (.f64 x -17)) (-.f64 (+.f64 289 (*.f64 x -17)) (pow.f64 x 2)))))
(.f64 (/.f64 (fma.f64 1/116 (pow.f64 x 3) 4913/116) (+.f64 (pow.f64 (pow.f64 x 2) 3) (pow.f64 (fma.f64 x -17 289) 3))) (fma.f64 (fma.f64 x -17 289) (+.f64 289 (.f64 x (-.f64 -17 x))) (pow.f64 x 4)))
(.f64 (.f64 (sqrt.f64 (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116))) (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116))) (.f64 (sqrt.f64 (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116))) (cbrt.f64 (+.f64 (*.f64 1/116 x) 17/116))))
(fma.f64 1/116 x 17/116)
(.f64 (.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 1/116 x) 17/116))) (sqrt.f64 (cbrt.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))))) (.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 1/116 x) 17/116))) (sqrt.f64 (cbrt.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2))))))
(.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 17/116))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)))) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 17/116))) (sqrt.f64 (cbrt.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2)))))))
(.f64 (cbrt.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 17/116))) (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 17/116)))))
(.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 17/116))) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 17/116))) (cbrt.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2)))))
(.f64 (.f64 (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116)) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116)))) (.f64 (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116)) (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 1/116 x) 17/116)))))
(fma.f64 1/116 x 17/116)
(.f64 (.f64 (sqrt.f64 (cbrt.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 1/116 x) 17/116)))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 1/116 x) 17/116)))))
(.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 17/116))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2)))) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 17/116))) (sqrt.f64 (cbrt.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2)))))))
(.f64 (cbrt.f64 (.f64 1/13456 (pow.f64 (+.f64 x 17) 2))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 17/116))) (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 17/116)))))
(.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 17/116))) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 17/116))) (cbrt.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2)))))
(*.f64 (pow.f64 (/.f64 116 (+.f64 x 17)) -1/2) (pow.f64 (/.f64 116 (+.f64 x 17)) -1/2))
(fma.f64 1/116 x 17/116)
(*.f64 (pow.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) 1/6) (pow.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) 1/6))
(cbrt.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896))
(.f64 (pow.f64 (cbrt.f64 (+.f64 (.f64 1/116 x) 17/116)) 3/2) (pow.f64 (cbrt.f64 (+.f64 (*.f64 1/116 x) 17/116)) 3/2))
(fma.f64 1/116 x 17/116)
(pow.f64 (+.f64 (*.f64 1/116 x) 17/116) 1)
(fma.f64 1/116 x 17/116)
(pow.f64 (/.f64 116 (+.f64 x 17)) -1)
(fma.f64 1/116 x 17/116)
(pow.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896) 1/3)
(cbrt.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896))
(pow.f64 (sqrt.f64 (+.f64 (*.f64 1/116 x) 17/116)) 2)
(fma.f64 1/116 x 17/116)
(pow.f64 (cbrt.f64 (+.f64 (*.f64 1/116 x) 17/116)) 3)
(fma.f64 1/116 x 17/116)
(neg.f64 (*.f64 1/116 (-.f64 -17 x)))
(fma.f64 1/116 x 17/116)
(sqrt.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 17) 2)))
(log.f64 (exp.f64 (+.f64 (*.f64 1/116 x) 17/116)))
(fma.f64 1/116 x 17/116)
(log.f64 (+.f64 1 (expm1.f64 (+.f64 (*.f64 1/116 x) 17/116))))
(fma.f64 1/116 x 17/116)
(cbrt.f64 (/.f64 (pow.f64 (-.f64 -17 x) 3) -1560896))
(expm1.f64 (log1p.f64 (+.f64 (*.f64 1/116 x) 17/116)))
(fma.f64 1/116 x 17/116)
(exp.f64 (log.f64 (+.f64 (*.f64 1/116 x) 17/116)))
(fma.f64 1/116 x 17/116)
(log1p.f64 (expm1.f64 (+.f64 (*.f64 1/116 x) 17/116)))
(fma.f64 1/116 x 17/116)

eval110.0ms (5.6%)

Compiler: Compiled 4427 to 3861 computations (12.8% saved)

prune28.0ms (1.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	205	0	205
Fresh	0	1	1
Picked	0	2	2
Done	0	1	1
Total	205	4	209

Accuracy

100.0%

Counts

209 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 x 16) 116)
✓	100.0%	(+.f64 (/.f64 (+.f64 x 17) 116) -1/116)
✓	49.7%	(*.f64 1/116 x)
	52.0%	4/29
✓	100.0%	(/.f64 (+.f64 x 16) 116)
✓	100.0%	(+.f64 (/.f64 (+.f64 x 17) 116) -1/116)
✓	49.7%	(*.f64 1/116 x)
	52.0%	4/29

Compiler

Compiled 40 to 34 computations (15% saved)

localize0.0ms (0%)

eval0.0ms (0%)

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

prune3.0ms (0.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Accuracy

100.0%

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 x 16) 116)
✓	100.0%	(+.f64 (/.f64 (+.f64 x 17) 116) -1/116)
✓	49.7%	(*.f64 1/116 x)
	52.0%	4/29
✓	100.0%	(/.f64 (+.f64 x 16) 116)
✓	100.0%	(+.f64 (/.f64 (+.f64 x 17) 116) -1/116)
✓	49.7%	(*.f64 1/116 x)
	52.0%	4/29

Compiler

Compiled 40 to 34 computations (15% saved)

localize0.0ms (0%)

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Accuracy

100.0%

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 x 16) 116)
✓	100.0%	(+.f64 (/.f64 (+.f64 x 17) 116) -1/116)
✓	49.7%	(*.f64 1/116 x)
	52.0%	4/29

Compiler

Compiled 37 to 31 computations (16.2% saved)

regimes12.0ms (0.6%)

Counts

4 → 1

Calls

Call 1

Inputs
4/29
(*.f64 1/116 x)
(/.f64 (+.f64 x 16) 116)
(+.f64 (/.f64 (+.f64 x 17) 116) -1/116)

Outputs
(/.f64 (+.f64 x 16) 116)

Calls

3 calls:

5.0ms	(/.f64 (+.f64 x 16) 116)
4.0ms	x
3.0ms	(+.f64 x 16)

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`(/.f64 (+.f64 x 16) 116)`
100.0%	1	`(+.f64 x 16)`

Compiler

Compiled 29 to 23 computations (20.7% saved)

regimes11.0ms (0.6%)

Counts

2 → 3

Calls

Call 1

Inputs
4/29
(*.f64 1/116 x)

Outputs
(*.f64 1/116 x)
4/29
(*.f64 1/116 x)

Calls

1 calls:

11.0ms

Results

Accuracy	Segments	Branch
98.3%	3	`x`

Compiler

Compiled 7 to 5 computations (28.6% saved)

regimes3.0ms (0.2%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
4/29

Outputs
4/29

Calls

1 calls:

3.0ms

Results

Accuracy	Segments	Branch
52.0%	1	`x`

Compiler

Compiled 4 to 3 computations (25% saved)

bsearch33.0ms (1.7%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
17.0ms	1.941012654952689e-7	2423658884.1596923
16.0ms	-80285179828.38603	-0.1959168781210712

Results

28.0ms

320×

body

256

valid

Compiler

Compiled 170 to 148 computations (12.9% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative`
2×	`if-if-or-not`
2×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	59
1	27	59

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(/.f64 (+.f64 x 16) 116)
(if (<=.f64 x -16) (.f64 1/116 x) (if (<=.f64 x 16) 4/29 (.f64 1/116 x)))
4/29

Outputs
(/.f64 (+.f64 x 16) 116)
(if (<=.f64 x -16) (.f64 1/116 x) (if (<=.f64 x 16) 4/29 (.f64 1/116 x)))
(if (or (<=.f64 x -16) (not (<=.f64 x 16))) (*.f64 x 1/116) 4/29)
4/29

Compiler

Compiled 22 to 18 computations (18.2% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess32.0ms (1.6%)

Compiler: Compiled 52 to 42 computations (19.2% saved)

Iter	Nodes	Cost
0	14	76
1	24	68
2	42	64
3	83	64
4	161	64
5	301	60
6	406	48
7	462	48
8	482	48
9	505	48
10	518	48
11	521	48

Iter	Nodes	Cost
0	14	76
1	24	68
2	42	64
3	83	64
4	161	64
5	301	60
6	406	48
7	462	48
8	482	48
9	505	48
10	518	48
11	521	48

analyze0.0ms (0%)

sample866.0ms (43.9%)

preprocess75.0ms (3.8%)

eval1.0ms (0%)

prune1.0ms (0.1%)

localize23.0ms (1.2%)

series1.0ms (0%)

rewrite147.0ms (7.5%)

simplify123.0ms (6.2%)

eval131.0ms (6.6%)

prune21.0ms (1.1%)

localize65.0ms (3.3%)

series30.0ms (1.5%)

rewrite94.0ms (4.8%)

simplify156.0ms (7.9%)

eval110.0ms (5.6%)

prune28.0ms (1.4%)

localize0.0ms (0%)

eval0.0ms (0%)

prune3.0ms (0.1%)

localize0.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0.1%)

regimes12.0ms (0.6%)

regimes11.0ms (0.6%)

regimes3.0ms (0.2%)

bsearch33.0ms (1.7%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess32.0ms (1.6%)

Profiling

Iter	Nodes	Cost
0	14	76
1	24	68
2	42	64
3	83	64
4	161	64
5	301	60
6	406	48
7	462	48
8	482	48
9	505	48
10	518	48
11	521	48