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)

sample667.0ms (37.6%)

Results

656.0ms

8256×

body

256

valid

Bogosity

preprocess63.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

206×	`fma-def`
76×	`distribute-rgt-in`
46×	`distribute-lft-neg-in`
44×	`div-sub`
42×	`fma-neg`

Problems

256×

No Errors

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	14	76
1	24	68
2	41	64
3	78	64
4	163	64
5	298	60
6	446	48
7	513	48
8	538	48
9	568	48
10	584	48
11	587	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 (+.f64 x -16) -1/116)
(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)

prune3.0ms (0.1%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 24 to 20 computations (16.7% saved)

localize38.0ms (2.1%)

Localize:

Found 2 expressions with local error:

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

Compiler

Compiled 24 to 18 computations (25% saved)

series1.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite118.0ms (6.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1024×	`unpow-prod-down`
776×	`log1p-expm1-u`
776×	`expm1-log1p-u`
676×	`log-prod`
420×	`pow-prod-down`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	13	32
1	151	32
2	2037	28

Stop Event

1×	node limit

Counts

2 → 123

Calls

Call 1

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

Outputs
(+.f64 4/29 (*.f64 x 1/116))
(+.f64 4/29 (.f64 (.f64 x 1/116) 1))
(+.f64 (*.f64 x 1/116) 4/29)
(+.f64 0 (fma.f64 x 1/116 4/29))
(+.f64 (log.f64 (exp.f64 4/29)) (*.f64 x 1/116))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (fma.f64 x 1/116 4/29))) (cbrt.f64 (exp.f64 (fma.f64 x 1/116 4/29))))) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 x 1/116 4/29)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x 1/116 4/29)))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x 1/116 4/29)))))
(*.f64 (fma.f64 x 1/116 4/29) 1)
(*.f64 (fma.f64 x 1/116 4/29) (log.f64 (exp.f64 1)))
(*.f64 1 (fma.f64 x 1/116 4/29))
(*.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) (pow.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) 2) (cbrt.f64 (fma.f64 x 1/116 4/29)))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x 1/116 4/29))) 2))
(*.f64 (sqrt.f64 (fma.f64 x 1/116 4/29)) (sqrt.f64 (fma.f64 x 1/116 4/29)))
(.f64 (-.f64 64/24389 (.f64 (pow.f64 x 3) -1/1560896)) (/.f64 1 (fma.f64 (*.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841)))
(.f64 (-.f64 64/24389 (.f64 (pow.f64 x 3) -1/1560896)) (pow.f64 (/.f64 1 (fma.f64 (*.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841)) 1))
(.f64 (-.f64 16/841 (.f64 (pow.f64 x 2) 1/13456)) (/.f64 1 (fma.f64 x -1/116 4/29)))
(.f64 (-.f64 16/841 (.f64 (pow.f64 x 2) 1/13456)) (pow.f64 (/.f64 1 (fma.f64 x -1/116 4/29)) 1))
(*.f64 (pow.f64 1 1/3) (fma.f64 x 1/116 4/29))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x 1/116 4/29))) 3))
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x 1/116 4/29))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x 1/116 4/29))) 3))
(.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x 1/116 4/29))) (cbrt.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x 1/116 4/29))) 3))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x 1/116 4/29))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x 1/116 4/29))) 3))
(*.f64 (pow.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3/2) 1/3) (pow.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3/2) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3)) 1/3))
(.f64 (pow.f64 (pow.f64 (.f64 (fma.f64 x 1/116 4/29) (cbrt.f64 (fma.f64 x 1/116 4/29))) 2) 1/3) (pow.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) 1/3))
(*.f64 (pow.f64 (pow.f64 (fma.f64 x 1/116 4/29) 5/2) 1/3) (pow.f64 (sqrt.f64 (fma.f64 x 1/116 4/29)) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) 2)) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x 1/116 4/29))) 2))
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x 1/116 4/29))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x 1/116 4/29))) 2))
(/.f64 1 (/.f64 (fma.f64 (.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841) (-.f64 64/24389 (.f64 (pow.f64 x 3) -1/1560896))))
(/.f64 1 (/.f64 (fma.f64 x -1/116 4/29) (-.f64 16/841 (*.f64 (pow.f64 x 2) 1/13456))))
(/.f64 (-.f64 64/24389 (.f64 (pow.f64 x 3) -1/1560896)) (fma.f64 (.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841))
(/.f64 (-.f64 16/841 (*.f64 (pow.f64 x 2) 1/13456)) (fma.f64 x -1/116 4/29))
(/.f64 (neg.f64 (-.f64 64/24389 (.f64 (pow.f64 x 3) -1/1560896))) (neg.f64 (fma.f64 (.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841)))
(/.f64 (neg.f64 (-.f64 16/841 (*.f64 (pow.f64 x 2) 1/13456))) (neg.f64 (fma.f64 x -1/116 4/29)))
(/.f64 (+.f64 64/24389 (.f64 (pow.f64 x 3) 1/1560896)) (+.f64 16/841 (-.f64 (pow.f64 (.f64 x 1/116) 2) (.f64 4/29 (.f64 x 1/116)))))
(/.f64 (-.f64 16/841 (pow.f64 (.f64 x 1/116) 2)) (-.f64 4/29 (.f64 x 1/116)))
(pow.f64 (fma.f64 x 1/116 4/29) 1)
(pow.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) 3)
(pow.f64 (pow.f64 (fma.f64 x 1/116 4/29) 2) 1/2)
(pow.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 x 1/116 4/29)) 2)
(pow.f64 (/.f64 (fma.f64 (.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841) (-.f64 64/24389 (.f64 (pow.f64 x 3) -1/1560896))) -1)
(pow.f64 (/.f64 (fma.f64 x -1/116 4/29) (-.f64 16/841 (*.f64 (pow.f64 x 2) 1/13456))) -1)
(sqrt.f64 (pow.f64 (fma.f64 x 1/116 4/29) 2))
(log.f64 (exp.f64 (fma.f64 x 1/116 4/29)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 x 1/116 4/29))))
(cbrt.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3))
(expm1.f64 (log1p.f64 (fma.f64 x 1/116 4/29)))
(exp.f64 (log.f64 (fma.f64 x 1/116 4/29)))
(exp.f64 (*.f64 (log.f64 (fma.f64 x 1/116 4/29)) 1))
(exp.f64 (.f64 (.f64 (log.f64 (fma.f64 x 1/116 4/29)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 x 1/116 4/29))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (fma.f64 x 1/116 4/29))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 x 1/116 4/29))) 2))
(log1p.f64 (expm1.f64 (fma.f64 x 1/116 4/29)))
(fma.f64 x 1/116 4/29)
(fma.f64 1 (*.f64 x 1/116) 4/29)
(fma.f64 (pow.f64 (cbrt.f64 (.f64 x -1/116)) 2) (neg.f64 (cbrt.f64 (.f64 x -1/116))) 4/29)
(fma.f64 (sqrt.f64 (.f64 x -1/116)) (neg.f64 (sqrt.f64 (.f64 x -1/116))) 4/29)
(fma.f64 (neg.f64 x) -1/116 4/29)
(fma.f64 -1 (*.f64 x -1/116) 4/29)
(fma.f64 (.f64 (cbrt.f64 (.f64 x 1/116)) (cbrt.f64 (.f64 x 1/116))) (cbrt.f64 (.f64 x 1/116)) 4/29)
(fma.f64 (sqrt.f64 (.f64 x 1/116)) (sqrt.f64 (.f64 x 1/116)) 4/29)
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (.f64 x -1/116)) 2)) (cbrt.f64 (.f64 x -1/116)) 4/29)
(fma.f64 (neg.f64 (sqrt.f64 (.f64 x -1/116))) (sqrt.f64 (.f64 x -1/116)) 4/29)
(+.f64 0 (*.f64 (+.f64 x 16) 1/116))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 x 16)) 1/116)) (cbrt.f64 (pow.f64 (exp.f64 (+.f64 x 16)) 1/116)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 x 16)) 1/116))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 x 16)) 1/116))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 x 16)) 1/116))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (+.f64 x 16) 1/116))) 1)
(*.f64 (+.f64 x 16) 1/116)
(*.f64 (+.f64 x 16) (pow.f64 (cbrt.f64 1/116) 3))
(*.f64 (+.f64 x 16) (pow.f64 (sqrt.f64 1/116) 2))
(.f64 (.f64 (+.f64 x 16) 1/116) 1)
(.f64 (.f64 (+.f64 x 16) 1/116) (log.f64 (exp.f64 1)))
(.f64 1 (.f64 (+.f64 x 16) 1/116))
(.f64 (pow.f64 (cbrt.f64 (+.f64 x 16)) 2) (.f64 (cbrt.f64 (+.f64 x 16)) 1/116))
(.f64 (pow.f64 (cbrt.f64 (+.f64 x 16)) 2) (pow.f64 (.f64 (cbrt.f64 (+.f64 x 16)) 1/116) 1))
(.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) (cbrt.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2)))
(.f64 (cbrt.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2)) (cbrt.f64 (.f64 (+.f64 x 16) 1/116)))
(.f64 (cbrt.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2)) (pow.f64 (cbrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) 2))
(.f64 (sqrt.f64 (+.f64 x 16)) (.f64 (sqrt.f64 (+.f64 x 16)) 1/116))
(.f64 (sqrt.f64 (+.f64 x 16)) (pow.f64 (.f64 (sqrt.f64 (+.f64 x 16)) 1/116) 1))
(.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116)) (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)))
(*.f64 (fma.f64 -1 x -16) -1/116)
(*.f64 1/116 (+.f64 x 16))
(*.f64 1/116 (pow.f64 (/.f64 1 (+.f64 x 16)) -1))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) 3))
(.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))) 3))
(.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))) 3))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))) 3))
(.f64 (pow.f64 1 1/3) (.f64 (+.f64 x 16) 1/116))
(.f64 (pow.f64 (pow.f64 (.f64 (+.f64 x 16) 1/116) 3/2) 1/3) (pow.f64 (pow.f64 (*.f64 (+.f64 x 16) 1/116) 3/2) 1/3))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (.f64 (+.f64 x 16) 1/116) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (*.f64 (+.f64 x 16) 1/116) 3)) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2) (+.f64 x 16)) 1/3) (pow.f64 1/116 1/3))
(.f64 (pow.f64 (pow.f64 (.f64 (.f64 (+.f64 x 16) 1/116) (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) 2) 1/3) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 1/3))
(.f64 (pow.f64 (pow.f64 (.f64 (+.f64 x 16) 1/116) 5/2) 1/3) (pow.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)) 1/3))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2))) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) 2))
(.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))) 2))
(.f64 (pow.f64 (.f64 (cbrt.f64 (/.f64 116 (+.f64 x 16))) (cbrt.f64 (/.f64 116 (+.f64 x 16)))) -1) (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)))
(.f64 (pow.f64 (/.f64 116 (+.f64 (pow.f64 x 3) 4096)) -1) (/.f64 1 (-.f64 (fma.f64 x x 256) (.f64 x 16))))
(*.f64 (pow.f64 (/.f64 116 (fma.f64 x x -256)) -1) (/.f64 1 (+.f64 x -16)))
(pow.f64 (*.f64 (+.f64 x 16) 1/116) 1)
(pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 3)
(pow.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2) 1/2)
(pow.f64 (pow.f64 (*.f64 (+.f64 x 16) 1/116) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)
(pow.f64 (/.f64 116 (+.f64 x 16)) -1)
(pow.f64 (/.f64 (/.f64 116 (+.f64 x 16)) 1) -1)
(neg.f64 (/.f64 (+.f64 x 16) -116))
(sqrt.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2))
(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)))
(exp.f64 (.f64 (log.f64 (.f64 (+.f64 x 16) 1/116)) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 (+.f64 x 16) 1/116)) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 (+.f64 x 16) 1/116))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) 2))
(exp.f64 (*.f64 (log.f64 (/.f64 116 (+.f64 x 16))) -1))
(log1p.f64 (expm1.f64 (*.f64 (+.f64 x 16) 1/116)))

simplify80.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

970×	`fma-def`
854×	`distribute-lft-in`
822×	`distribute-rgt-in`
644×	`*-commutative`
380×	`sqr-pow`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	343	3203
1	835	2981
2	2196	2871
3	7882	2857

Stop Event

1×	node limit

Counts

147 → 162

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))
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 4/29 (*.f64 x 1/116))
(+.f64 4/29 (.f64 (.f64 x 1/116) 1))
(+.f64 (*.f64 x 1/116) 4/29)
(+.f64 0 (fma.f64 x 1/116 4/29))
(+.f64 (log.f64 (exp.f64 4/29)) (*.f64 x 1/116))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (fma.f64 x 1/116 4/29))) (cbrt.f64 (exp.f64 (fma.f64 x 1/116 4/29))))) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 x 1/116 4/29)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x 1/116 4/29)))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x 1/116 4/29)))))
(*.f64 (fma.f64 x 1/116 4/29) 1)
(*.f64 (fma.f64 x 1/116 4/29) (log.f64 (exp.f64 1)))
(*.f64 1 (fma.f64 x 1/116 4/29))
(*.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) (pow.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) 2) (cbrt.f64 (fma.f64 x 1/116 4/29)))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x 1/116 4/29))) 2))
(*.f64 (sqrt.f64 (fma.f64 x 1/116 4/29)) (sqrt.f64 (fma.f64 x 1/116 4/29)))
(.f64 (-.f64 64/24389 (.f64 (pow.f64 x 3) -1/1560896)) (/.f64 1 (fma.f64 (*.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841)))
(.f64 (-.f64 64/24389 (.f64 (pow.f64 x 3) -1/1560896)) (pow.f64 (/.f64 1 (fma.f64 (*.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841)) 1))
(.f64 (-.f64 16/841 (.f64 (pow.f64 x 2) 1/13456)) (/.f64 1 (fma.f64 x -1/116 4/29)))
(.f64 (-.f64 16/841 (.f64 (pow.f64 x 2) 1/13456)) (pow.f64 (/.f64 1 (fma.f64 x -1/116 4/29)) 1))
(*.f64 (pow.f64 1 1/3) (fma.f64 x 1/116 4/29))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x 1/116 4/29))) 3))
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x 1/116 4/29))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x 1/116 4/29))) 3))
(.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x 1/116 4/29))) (cbrt.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x 1/116 4/29))) 3))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x 1/116 4/29))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x 1/116 4/29))) 3))
(*.f64 (pow.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3/2) 1/3) (pow.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3/2) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3)) 1/3))
(.f64 (pow.f64 (pow.f64 (.f64 (fma.f64 x 1/116 4/29) (cbrt.f64 (fma.f64 x 1/116 4/29))) 2) 1/3) (pow.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) 1/3))
(*.f64 (pow.f64 (pow.f64 (fma.f64 x 1/116 4/29) 5/2) 1/3) (pow.f64 (sqrt.f64 (fma.f64 x 1/116 4/29)) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) 2)) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x 1/116 4/29))) 2))
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x 1/116 4/29))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x 1/116 4/29))) 2))
(/.f64 1 (/.f64 (fma.f64 (.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841) (-.f64 64/24389 (.f64 (pow.f64 x 3) -1/1560896))))
(/.f64 1 (/.f64 (fma.f64 x -1/116 4/29) (-.f64 16/841 (*.f64 (pow.f64 x 2) 1/13456))))
(/.f64 (-.f64 64/24389 (.f64 (pow.f64 x 3) -1/1560896)) (fma.f64 (.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841))
(/.f64 (-.f64 16/841 (*.f64 (pow.f64 x 2) 1/13456)) (fma.f64 x -1/116 4/29))
(/.f64 (neg.f64 (-.f64 64/24389 (.f64 (pow.f64 x 3) -1/1560896))) (neg.f64 (fma.f64 (.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841)))
(/.f64 (neg.f64 (-.f64 16/841 (*.f64 (pow.f64 x 2) 1/13456))) (neg.f64 (fma.f64 x -1/116 4/29)))
(/.f64 (+.f64 64/24389 (.f64 (pow.f64 x 3) 1/1560896)) (+.f64 16/841 (-.f64 (pow.f64 (.f64 x 1/116) 2) (.f64 4/29 (.f64 x 1/116)))))
(/.f64 (-.f64 16/841 (pow.f64 (.f64 x 1/116) 2)) (-.f64 4/29 (.f64 x 1/116)))
(pow.f64 (fma.f64 x 1/116 4/29) 1)
(pow.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) 3)
(pow.f64 (pow.f64 (fma.f64 x 1/116 4/29) 2) 1/2)
(pow.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 x 1/116 4/29)) 2)
(pow.f64 (/.f64 (fma.f64 (.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841) (-.f64 64/24389 (.f64 (pow.f64 x 3) -1/1560896))) -1)
(pow.f64 (/.f64 (fma.f64 x -1/116 4/29) (-.f64 16/841 (*.f64 (pow.f64 x 2) 1/13456))) -1)
(sqrt.f64 (pow.f64 (fma.f64 x 1/116 4/29) 2))
(log.f64 (exp.f64 (fma.f64 x 1/116 4/29)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 x 1/116 4/29))))
(cbrt.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3))
(expm1.f64 (log1p.f64 (fma.f64 x 1/116 4/29)))
(exp.f64 (log.f64 (fma.f64 x 1/116 4/29)))
(exp.f64 (*.f64 (log.f64 (fma.f64 x 1/116 4/29)) 1))
(exp.f64 (.f64 (.f64 (log.f64 (fma.f64 x 1/116 4/29)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 x 1/116 4/29))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (fma.f64 x 1/116 4/29))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 x 1/116 4/29))) 2))
(log1p.f64 (expm1.f64 (fma.f64 x 1/116 4/29)))
(fma.f64 x 1/116 4/29)
(fma.f64 1 (*.f64 x 1/116) 4/29)
(fma.f64 (pow.f64 (cbrt.f64 (.f64 x -1/116)) 2) (neg.f64 (cbrt.f64 (.f64 x -1/116))) 4/29)
(fma.f64 (sqrt.f64 (.f64 x -1/116)) (neg.f64 (sqrt.f64 (.f64 x -1/116))) 4/29)
(fma.f64 (neg.f64 x) -1/116 4/29)
(fma.f64 -1 (*.f64 x -1/116) 4/29)
(fma.f64 (.f64 (cbrt.f64 (.f64 x 1/116)) (cbrt.f64 (.f64 x 1/116))) (cbrt.f64 (.f64 x 1/116)) 4/29)
(fma.f64 (sqrt.f64 (.f64 x 1/116)) (sqrt.f64 (.f64 x 1/116)) 4/29)
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (.f64 x -1/116)) 2)) (cbrt.f64 (.f64 x -1/116)) 4/29)
(fma.f64 (neg.f64 (sqrt.f64 (.f64 x -1/116))) (sqrt.f64 (.f64 x -1/116)) 4/29)
(+.f64 0 (*.f64 (+.f64 x 16) 1/116))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 x 16)) 1/116)) (cbrt.f64 (pow.f64 (exp.f64 (+.f64 x 16)) 1/116)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 x 16)) 1/116))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 x 16)) 1/116))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 x 16)) 1/116))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (+.f64 x 16) 1/116))) 1)
(*.f64 (+.f64 x 16) 1/116)
(*.f64 (+.f64 x 16) (pow.f64 (cbrt.f64 1/116) 3))
(*.f64 (+.f64 x 16) (pow.f64 (sqrt.f64 1/116) 2))
(.f64 (.f64 (+.f64 x 16) 1/116) 1)
(.f64 (.f64 (+.f64 x 16) 1/116) (log.f64 (exp.f64 1)))
(.f64 1 (.f64 (+.f64 x 16) 1/116))
(.f64 (pow.f64 (cbrt.f64 (+.f64 x 16)) 2) (.f64 (cbrt.f64 (+.f64 x 16)) 1/116))
(.f64 (pow.f64 (cbrt.f64 (+.f64 x 16)) 2) (pow.f64 (.f64 (cbrt.f64 (+.f64 x 16)) 1/116) 1))
(.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) (cbrt.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2)))
(.f64 (cbrt.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2)) (cbrt.f64 (.f64 (+.f64 x 16) 1/116)))
(.f64 (cbrt.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2)) (pow.f64 (cbrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) 2))
(.f64 (sqrt.f64 (+.f64 x 16)) (.f64 (sqrt.f64 (+.f64 x 16)) 1/116))
(.f64 (sqrt.f64 (+.f64 x 16)) (pow.f64 (.f64 (sqrt.f64 (+.f64 x 16)) 1/116) 1))
(.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116)) (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)))
(*.f64 (fma.f64 -1 x -16) -1/116)
(*.f64 1/116 (+.f64 x 16))
(*.f64 1/116 (pow.f64 (/.f64 1 (+.f64 x 16)) -1))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) 3))
(.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))) 3))
(.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))) 3))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))) 3))
(.f64 (pow.f64 1 1/3) (.f64 (+.f64 x 16) 1/116))
(.f64 (pow.f64 (pow.f64 (.f64 (+.f64 x 16) 1/116) 3/2) 1/3) (pow.f64 (pow.f64 (*.f64 (+.f64 x 16) 1/116) 3/2) 1/3))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (.f64 (+.f64 x 16) 1/116) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (*.f64 (+.f64 x 16) 1/116) 3)) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2) (+.f64 x 16)) 1/3) (pow.f64 1/116 1/3))
(.f64 (pow.f64 (pow.f64 (.f64 (.f64 (+.f64 x 16) 1/116) (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) 2) 1/3) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 1/3))
(.f64 (pow.f64 (pow.f64 (.f64 (+.f64 x 16) 1/116) 5/2) 1/3) (pow.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)) 1/3))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2))) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) 2))
(.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))) 2))
(.f64 (pow.f64 (.f64 (cbrt.f64 (/.f64 116 (+.f64 x 16))) (cbrt.f64 (/.f64 116 (+.f64 x 16)))) -1) (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)))
(.f64 (pow.f64 (/.f64 116 (+.f64 (pow.f64 x 3) 4096)) -1) (/.f64 1 (-.f64 (fma.f64 x x 256) (.f64 x 16))))
(*.f64 (pow.f64 (/.f64 116 (fma.f64 x x -256)) -1) (/.f64 1 (+.f64 x -16)))
(pow.f64 (*.f64 (+.f64 x 16) 1/116) 1)
(pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 3)
(pow.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2) 1/2)
(pow.f64 (pow.f64 (*.f64 (+.f64 x 16) 1/116) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)
(pow.f64 (/.f64 116 (+.f64 x 16)) -1)
(pow.f64 (/.f64 (/.f64 116 (+.f64 x 16)) 1) -1)
(neg.f64 (/.f64 (+.f64 x 16) -116))
(sqrt.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2))
(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)))
(exp.f64 (.f64 (log.f64 (.f64 (+.f64 x 16) 1/116)) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 (+.f64 x 16) 1/116)) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 (+.f64 x 16) 1/116))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) 2))
(exp.f64 (*.f64 (log.f64 (/.f64 116 (+.f64 x 16))) -1))
(log1p.f64 (expm1.f64 (*.f64 (+.f64 x 16) 1/116)))

Outputs
4/29
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(*.f64 1/116 x)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(*.f64 1/116 x)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
4/29
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(*.f64 1/116 x)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(*.f64 1/116 x)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 x 1/116))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (.f64 (.f64 x 1/116) 1))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(+.f64 (*.f64 x 1/116) 4/29)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(+.f64 0 (fma.f64 x 1/116 4/29))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(+.f64 (log.f64 (exp.f64 4/29)) (*.f64 x 1/116))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (fma.f64 x 1/116 4/29))) (cbrt.f64 (exp.f64 (fma.f64 x 1/116 4/29))))) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 x 1/116 4/29)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (fma.f64 1/116 x 4/29))))) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 1/116 x 4/29)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (fma.f64 1/116 x 4/29)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x 1/116 4/29)))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x 1/116 4/29)))))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(*.f64 (fma.f64 x 1/116 4/29) 1)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(*.f64 (fma.f64 x 1/116 4/29) (log.f64 (exp.f64 1)))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(*.f64 1 (fma.f64 x 1/116 4/29))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(*.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) (pow.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) 2))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) 2) (cbrt.f64 (fma.f64 x 1/116 4/29)))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x 1/116 4/29))) 2))
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x 1/116 4/29))) 2) (pow.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) 2))
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 4/29))) 2) (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2))
(*.f64 (sqrt.f64 (fma.f64 x 1/116 4/29)) (sqrt.f64 (fma.f64 x 1/116 4/29)))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(.f64 (-.f64 64/24389 (.f64 (pow.f64 x 3) -1/1560896)) (/.f64 1 (fma.f64 (*.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841)))
(/.f64 (fma.f64 (pow.f64 x 3) 1/1560896 64/24389) (fma.f64 (*.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841))
(/.f64 (fma.f64 (pow.f64 x 3) 1/1560896 64/24389) (fma.f64 x (*.f64 -1/116 (fma.f64 x -1/116 4/29)) 16/841))
(/.f64 (fma.f64 (pow.f64 x 3) 1/1560896 64/24389) (+.f64 16/841 (*.f64 x (fma.f64 x 1/13456 -1/841))))
(.f64 (-.f64 64/24389 (.f64 (pow.f64 x 3) -1/1560896)) (pow.f64 (/.f64 1 (fma.f64 (*.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841)) 1))
(.f64 (-.f64 64/24389 (.f64 (pow.f64 x 3) -1/1560896)) (/.f64 1 (fma.f64 (*.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841)))
(/.f64 (fma.f64 (pow.f64 x 3) 1/1560896 64/24389) (fma.f64 (*.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841))
(/.f64 (fma.f64 (pow.f64 x 3) 1/1560896 64/24389) (fma.f64 x (*.f64 -1/116 (fma.f64 x -1/116 4/29)) 16/841))
(/.f64 (fma.f64 (pow.f64 x 3) 1/1560896 64/24389) (+.f64 16/841 (*.f64 x (fma.f64 x 1/13456 -1/841))))
(.f64 (-.f64 16/841 (.f64 (pow.f64 x 2) 1/13456)) (/.f64 1 (fma.f64 x -1/116 4/29)))
(.f64 (-.f64 16/841 (.f64 1/13456 (pow.f64 x 2))) (/.f64 1 (fma.f64 x -1/116 4/29)))
(/.f64 (+.f64 16/841 (*.f64 (pow.f64 x 2) -1/13456)) (fma.f64 x -1/116 4/29))
(/.f64 (fma.f64 (pow.f64 x 2) -1/13456 16/841) (fma.f64 x -1/116 4/29))
(.f64 (-.f64 16/841 (.f64 (pow.f64 x 2) 1/13456)) (pow.f64 (/.f64 1 (fma.f64 x -1/116 4/29)) 1))
(.f64 (-.f64 16/841 (.f64 1/13456 (pow.f64 x 2))) (/.f64 1 (fma.f64 x -1/116 4/29)))
(/.f64 (+.f64 16/841 (*.f64 (pow.f64 x 2) -1/13456)) (fma.f64 x -1/116 4/29))
(/.f64 (fma.f64 (pow.f64 x 2) -1/13456 16/841) (fma.f64 x -1/116 4/29))
(*.f64 (pow.f64 1 1/3) (fma.f64 x 1/116 4/29))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x 1/116 4/29))) 3))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x 1/116 4/29))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x 1/116 4/29))) 3))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x 1/116 4/29))) (cbrt.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x 1/116 4/29))) 3))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x 1/116 4/29))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x 1/116 4/29))) 3))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(*.f64 (pow.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3/2) 1/3) (pow.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3/2) 1/3))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3/2)) (cbrt.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3/2)))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 1/116 x 4/29) 3/2)) (cbrt.f64 (pow.f64 (fma.f64 1/116 x 4/29) 3/2)))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3)) 1/3))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3/2)) (cbrt.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3/2)))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 1/116 x 4/29) 3/2)) (cbrt.f64 (pow.f64 (fma.f64 1/116 x 4/29) 3/2)))
(.f64 (pow.f64 (pow.f64 (.f64 (fma.f64 x 1/116 4/29) (cbrt.f64 (fma.f64 x 1/116 4/29))) 2) 1/3) (pow.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) 1/3))
(.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x 1/116 4/29))) (cbrt.f64 (pow.f64 (.f64 (fma.f64 x 1/116 4/29) (cbrt.f64 (fma.f64 x 1/116 4/29))) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/116 x 4/29))) (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 4) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/116 x 4/29))) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 8)))
(*.f64 (pow.f64 (pow.f64 (fma.f64 x 1/116 4/29) 5/2) 1/3) (pow.f64 (sqrt.f64 (fma.f64 x 1/116 4/29)) 1/3))
(*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x 1/116 4/29))) (cbrt.f64 (pow.f64 (fma.f64 x 1/116 4/29) 5/2)))
(*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 4/29))) (cbrt.f64 (pow.f64 (fma.f64 1/116 x 4/29) 5/2)))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) 2)) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x 1/116 4/29))) 2))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x 1/116 4/29))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x 1/116 4/29))) 2))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(/.f64 1 (/.f64 (fma.f64 (.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841) (-.f64 64/24389 (.f64 (pow.f64 x 3) -1/1560896))))
(.f64 (-.f64 64/24389 (.f64 (pow.f64 x 3) -1/1560896)) (/.f64 1 (fma.f64 (*.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841)))
(/.f64 (fma.f64 (pow.f64 x 3) 1/1560896 64/24389) (fma.f64 (*.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841))
(/.f64 (fma.f64 (pow.f64 x 3) 1/1560896 64/24389) (fma.f64 x (*.f64 -1/116 (fma.f64 x -1/116 4/29)) 16/841))
(/.f64 (fma.f64 (pow.f64 x 3) 1/1560896 64/24389) (+.f64 16/841 (*.f64 x (fma.f64 x 1/13456 -1/841))))
(/.f64 1 (/.f64 (fma.f64 x -1/116 4/29) (-.f64 16/841 (*.f64 (pow.f64 x 2) 1/13456))))
(.f64 (-.f64 16/841 (.f64 1/13456 (pow.f64 x 2))) (/.f64 1 (fma.f64 x -1/116 4/29)))
(/.f64 (+.f64 16/841 (*.f64 (pow.f64 x 2) -1/13456)) (fma.f64 x -1/116 4/29))
(/.f64 (fma.f64 (pow.f64 x 2) -1/13456 16/841) (fma.f64 x -1/116 4/29))
(/.f64 (-.f64 64/24389 (.f64 (pow.f64 x 3) -1/1560896)) (fma.f64 (.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841))
(.f64 (-.f64 64/24389 (.f64 (pow.f64 x 3) -1/1560896)) (/.f64 1 (fma.f64 (*.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841)))
(/.f64 (fma.f64 (pow.f64 x 3) 1/1560896 64/24389) (fma.f64 (*.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841))
(/.f64 (fma.f64 (pow.f64 x 3) 1/1560896 64/24389) (fma.f64 x (*.f64 -1/116 (fma.f64 x -1/116 4/29)) 16/841))
(/.f64 (fma.f64 (pow.f64 x 3) 1/1560896 64/24389) (+.f64 16/841 (*.f64 x (fma.f64 x 1/13456 -1/841))))
(/.f64 (-.f64 16/841 (*.f64 (pow.f64 x 2) 1/13456)) (fma.f64 x -1/116 4/29))
(.f64 (-.f64 16/841 (.f64 1/13456 (pow.f64 x 2))) (/.f64 1 (fma.f64 x -1/116 4/29)))
(/.f64 (+.f64 16/841 (*.f64 (pow.f64 x 2) -1/13456)) (fma.f64 x -1/116 4/29))
(/.f64 (fma.f64 (pow.f64 x 2) -1/13456 16/841) (fma.f64 x -1/116 4/29))
(/.f64 (neg.f64 (-.f64 64/24389 (.f64 (pow.f64 x 3) -1/1560896))) (neg.f64 (fma.f64 (.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841)))
(.f64 (-.f64 64/24389 (.f64 (pow.f64 x 3) -1/1560896)) (/.f64 1 (fma.f64 (*.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841)))
(/.f64 (fma.f64 (pow.f64 x 3) 1/1560896 64/24389) (fma.f64 (*.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841))
(/.f64 (fma.f64 (pow.f64 x 3) 1/1560896 64/24389) (fma.f64 x (*.f64 -1/116 (fma.f64 x -1/116 4/29)) 16/841))
(/.f64 (fma.f64 (pow.f64 x 3) 1/1560896 64/24389) (+.f64 16/841 (*.f64 x (fma.f64 x 1/13456 -1/841))))
(/.f64 (neg.f64 (-.f64 16/841 (*.f64 (pow.f64 x 2) 1/13456))) (neg.f64 (fma.f64 x -1/116 4/29)))
(.f64 (-.f64 16/841 (.f64 1/13456 (pow.f64 x 2))) (/.f64 1 (fma.f64 x -1/116 4/29)))
(/.f64 (+.f64 16/841 (*.f64 (pow.f64 x 2) -1/13456)) (fma.f64 x -1/116 4/29))
(/.f64 (fma.f64 (pow.f64 x 2) -1/13456 16/841) (fma.f64 x -1/116 4/29))
(/.f64 (+.f64 64/24389 (.f64 (pow.f64 x 3) 1/1560896)) (+.f64 16/841 (-.f64 (pow.f64 (.f64 x 1/116) 2) (.f64 4/29 (.f64 x 1/116)))))
(.f64 (-.f64 64/24389 (.f64 (pow.f64 x 3) -1/1560896)) (/.f64 1 (fma.f64 (*.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841)))
(/.f64 (fma.f64 (pow.f64 x 3) 1/1560896 64/24389) (fma.f64 (*.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841))
(/.f64 (fma.f64 (pow.f64 x 3) 1/1560896 64/24389) (fma.f64 x (*.f64 -1/116 (fma.f64 x -1/116 4/29)) 16/841))
(/.f64 (fma.f64 (pow.f64 x 3) 1/1560896 64/24389) (+.f64 16/841 (*.f64 x (fma.f64 x 1/13456 -1/841))))
(/.f64 (-.f64 16/841 (pow.f64 (.f64 x 1/116) 2)) (-.f64 4/29 (.f64 x 1/116)))
(.f64 (-.f64 16/841 (.f64 1/13456 (pow.f64 x 2))) (/.f64 1 (fma.f64 x -1/116 4/29)))
(/.f64 (+.f64 16/841 (*.f64 (pow.f64 x 2) -1/13456)) (fma.f64 x -1/116 4/29))
(/.f64 (fma.f64 (pow.f64 x 2) -1/13456 16/841) (fma.f64 x -1/116 4/29))
(pow.f64 (fma.f64 x 1/116 4/29) 1)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(pow.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) 3)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(pow.f64 (pow.f64 (fma.f64 x 1/116 4/29) 2) 1/2)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(pow.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3) 1/3)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(pow.f64 (sqrt.f64 (fma.f64 x 1/116 4/29)) 2)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(pow.f64 (/.f64 (fma.f64 (.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841) (-.f64 64/24389 (.f64 (pow.f64 x 3) -1/1560896))) -1)
(.f64 (-.f64 64/24389 (.f64 (pow.f64 x 3) -1/1560896)) (/.f64 1 (fma.f64 (*.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841)))
(/.f64 (fma.f64 (pow.f64 x 3) 1/1560896 64/24389) (fma.f64 (*.f64 x -1/116) (fma.f64 x -1/116 4/29) 16/841))
(/.f64 (fma.f64 (pow.f64 x 3) 1/1560896 64/24389) (fma.f64 x (*.f64 -1/116 (fma.f64 x -1/116 4/29)) 16/841))
(/.f64 (fma.f64 (pow.f64 x 3) 1/1560896 64/24389) (+.f64 16/841 (*.f64 x (fma.f64 x 1/13456 -1/841))))
(pow.f64 (/.f64 (fma.f64 x -1/116 4/29) (-.f64 16/841 (*.f64 (pow.f64 x 2) 1/13456))) -1)
(.f64 (-.f64 16/841 (.f64 1/13456 (pow.f64 x 2))) (/.f64 1 (fma.f64 x -1/116 4/29)))
(/.f64 (+.f64 16/841 (*.f64 (pow.f64 x 2) -1/13456)) (fma.f64 x -1/116 4/29))
(/.f64 (fma.f64 (pow.f64 x 2) -1/13456 16/841) (fma.f64 x -1/116 4/29))
(sqrt.f64 (pow.f64 (fma.f64 x 1/116 4/29) 2))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(log.f64 (exp.f64 (fma.f64 x 1/116 4/29)))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 x 1/116 4/29))))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(cbrt.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(expm1.f64 (log1p.f64 (fma.f64 x 1/116 4/29)))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(exp.f64 (log.f64 (fma.f64 x 1/116 4/29)))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(exp.f64 (*.f64 (log.f64 (fma.f64 x 1/116 4/29)) 1))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(exp.f64 (.f64 (.f64 (log.f64 (fma.f64 x 1/116 4/29)) 1) 1))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 x 1/116 4/29))) 3))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(exp.f64 (.f64 (.f64 3 (log.f64 (fma.f64 x 1/116 4/29))) 1/3))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 x 1/116 4/29))) 2))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(log1p.f64 (expm1.f64 (fma.f64 x 1/116 4/29)))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(fma.f64 1 (*.f64 x 1/116) 4/29)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(fma.f64 (pow.f64 (cbrt.f64 (.f64 x -1/116)) 2) (neg.f64 (cbrt.f64 (.f64 x -1/116))) 4/29)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(fma.f64 (sqrt.f64 (.f64 x -1/116)) (neg.f64 (sqrt.f64 (.f64 x -1/116))) 4/29)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(fma.f64 (neg.f64 x) -1/116 4/29)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(fma.f64 -1 (*.f64 x -1/116) 4/29)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(fma.f64 (.f64 (cbrt.f64 (.f64 x 1/116)) (cbrt.f64 (.f64 x 1/116))) (cbrt.f64 (.f64 x 1/116)) 4/29)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(fma.f64 (sqrt.f64 (.f64 x 1/116)) (sqrt.f64 (.f64 x 1/116)) 4/29)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (.f64 x -1/116)) 2)) (cbrt.f64 (.f64 x -1/116)) 4/29)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(fma.f64 (neg.f64 (sqrt.f64 (.f64 x -1/116))) (sqrt.f64 (.f64 x -1/116)) 4/29)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(+.f64 0 (*.f64 (+.f64 x 16) 1/116))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 x 16)) 1/116)) (cbrt.f64 (pow.f64 (exp.f64 (+.f64 x 16)) 1/116)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 x 16)) 1/116))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (fma.f64 x 1/116 4/29))) (cbrt.f64 (exp.f64 (fma.f64 x 1/116 4/29))))) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 x 1/116 4/29)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (fma.f64 1/116 x 4/29))))) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 1/116 x 4/29)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (fma.f64 1/116 x 4/29)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 x 16)) 1/116))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 x 16)) 1/116))))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(-.f64 (exp.f64 (log1p.f64 (*.f64 (+.f64 x 16) 1/116))) 1)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(*.f64 (+.f64 x 16) 1/116)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(*.f64 (+.f64 x 16) (pow.f64 (cbrt.f64 1/116) 3))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(*.f64 (+.f64 x 16) (pow.f64 (sqrt.f64 1/116) 2))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(.f64 (.f64 (+.f64 x 16) 1/116) 1)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(.f64 (.f64 (+.f64 x 16) 1/116) (log.f64 (exp.f64 1)))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(.f64 1 (.f64 (+.f64 x 16) 1/116))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(.f64 (pow.f64 (cbrt.f64 (+.f64 x 16)) 2) (.f64 (cbrt.f64 (+.f64 x 16)) 1/116))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(.f64 (pow.f64 (cbrt.f64 (+.f64 x 16)) 2) (pow.f64 (.f64 (cbrt.f64 (+.f64 x 16)) 1/116) 1))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)) (cbrt.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2)))
(*.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) (cbrt.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2)))
(*.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) (cbrt.f64 (pow.f64 (fma.f64 1/116 x 4/29) 2)))
(.f64 (cbrt.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2)) (cbrt.f64 (.f64 (+.f64 x 16) 1/116)))
(*.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) (cbrt.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2)))
(*.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) (cbrt.f64 (pow.f64 (fma.f64 1/116 x 4/29) 2)))
(.f64 (cbrt.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2)) (pow.f64 (cbrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) 2))
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x 1/116 4/29))) 2) (cbrt.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2)))
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 4/29))) 2) (cbrt.f64 (pow.f64 (fma.f64 1/116 x 4/29) 2)))
(.f64 (sqrt.f64 (+.f64 x 16)) (.f64 (sqrt.f64 (+.f64 x 16)) 1/116))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(.f64 (sqrt.f64 (+.f64 x 16)) (pow.f64 (.f64 (sqrt.f64 (+.f64 x 16)) 1/116) 1))
(fma.f64 x 1/116 4/29)
(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 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(*.f64 (fma.f64 -1 x -16) -1/116)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(*.f64 1/116 (+.f64 x 16))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(*.f64 1/116 (pow.f64 (/.f64 1 (+.f64 x 16)) -1))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) 3))
(*.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) (cbrt.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2)))
(*.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) (cbrt.f64 (pow.f64 (fma.f64 1/116 x 4/29) 2)))
(.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))) 3))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) (cbrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116)))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))) 3))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))) 3))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(.f64 (pow.f64 1 1/3) (.f64 (+.f64 x 16) 1/116))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(.f64 (pow.f64 (pow.f64 (.f64 (+.f64 x 16) 1/116) 3/2) 1/3) (pow.f64 (pow.f64 (*.f64 (+.f64 x 16) 1/116) 3/2) 1/3))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3/2)) (cbrt.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3/2)))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 1/116 x 4/29) 3/2)) (cbrt.f64 (pow.f64 (fma.f64 1/116 x 4/29) 3/2)))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (.f64 (+.f64 x 16) 1/116) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (*.f64 (+.f64 x 16) 1/116) 3)) 1/3))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3/2)) (cbrt.f64 (pow.f64 (fma.f64 x 1/116 4/29) 3/2)))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 1/116 x 4/29) 3/2)) (cbrt.f64 (pow.f64 (fma.f64 1/116 x 4/29) 3/2)))
(.f64 (pow.f64 (.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2) (+.f64 x 16)) 1/3) (pow.f64 1/116 1/3))
(.f64 (cbrt.f64 1/116) (cbrt.f64 (.f64 (+.f64 x 16) (pow.f64 (/.f64 116 (+.f64 x 16)) -2))))
(.f64 (cbrt.f64 1/116) (cbrt.f64 (.f64 (pow.f64 (fma.f64 1/116 x 4/29) 2) (+.f64 x 16))))
(.f64 (pow.f64 (pow.f64 (.f64 (.f64 (+.f64 x 16) 1/116) (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) 2) 1/3) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 1/3))
(.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x 1/116 4/29))) (cbrt.f64 (pow.f64 (.f64 (fma.f64 x 1/116 4/29) (cbrt.f64 (fma.f64 x 1/116 4/29))) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/116 x 4/29))) (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 4) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/116 x 4/29))) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 8)))
(.f64 (pow.f64 (pow.f64 (.f64 (+.f64 x 16) 1/116) 5/2) 1/3) (pow.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)) 1/3))
(*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x 1/116 4/29))) (cbrt.f64 (pow.f64 (fma.f64 x 1/116 4/29) 5/2)))
(*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/116 x 4/29))) (cbrt.f64 (pow.f64 (fma.f64 1/116 x 4/29) 5/2)))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2))) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) 2))
(*.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) (cbrt.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2)))
(*.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) (cbrt.f64 (pow.f64 (fma.f64 1/116 x 4/29) 2)))
(.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))) 2))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(.f64 (pow.f64 (.f64 (cbrt.f64 (/.f64 116 (+.f64 x 16))) (cbrt.f64 (/.f64 116 (+.f64 x 16)))) -1) (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)))
(.f64 (cbrt.f64 (fma.f64 x 1/116 4/29)) (/.f64 1 (.f64 (cbrt.f64 (/.f64 116 (+.f64 x 16))) (cbrt.f64 (/.f64 116 (+.f64 x 16))))))
(/.f64 (.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 1) (.f64 (cbrt.f64 (/.f64 116 (+.f64 x 16))) (cbrt.f64 (/.f64 116 (+.f64 x 16)))))
(/.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) (*.f64 (cbrt.f64 (/.f64 116 (+.f64 x 16))) (cbrt.f64 (/.f64 116 (+.f64 x 16)))))
(.f64 (pow.f64 (/.f64 116 (+.f64 (pow.f64 x 3) 4096)) -1) (/.f64 1 (-.f64 (fma.f64 x x 256) (.f64 x 16))))
(.f64 (/.f64 1 (/.f64 116 (+.f64 (pow.f64 x 3) 4096))) (/.f64 1 (-.f64 (fma.f64 x x 256) (.f64 x 16))))
(/.f64 (.f64 1/116 (+.f64 (pow.f64 x 3) 4096)) (+.f64 (fma.f64 x x 256) (.f64 x -16)))
(/.f64 1/116 (/.f64 (fma.f64 x -16 (fma.f64 x x 256)) (+.f64 (pow.f64 x 3) 4096)))
(*.f64 (pow.f64 (/.f64 116 (fma.f64 x x -256)) -1) (/.f64 1 (+.f64 x -16)))
(*.f64 (/.f64 1 (/.f64 116 (fma.f64 x x -256))) (/.f64 1 (+.f64 x -16)))
(/.f64 (*.f64 1/116 (fma.f64 x x -256)) (+.f64 x -16))
(/.f64 1/116 (/.f64 (+.f64 x -16) (fma.f64 x x -256)))
(pow.f64 (*.f64 (+.f64 x 16) 1/116) 1)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(pow.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116)) 3)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(pow.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2) 1/2)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(pow.f64 (pow.f64 (*.f64 (+.f64 x 16) 1/116) 3) 1/3)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(pow.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(pow.f64 (/.f64 116 (+.f64 x 16)) -1)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(pow.f64 (/.f64 (/.f64 116 (+.f64 x 16)) 1) -1)
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(neg.f64 (/.f64 (+.f64 x 16) -116))
(/.f64 (neg.f64 (+.f64 x 16)) -116)
(/.f64 (fma.f64 -1 x -16) -116)
(/.f64 (-.f64 -16 x) -116)
(sqrt.f64 (pow.f64 (/.f64 116 (+.f64 x 16)) -2))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(log.f64 (pow.f64 (exp.f64 (+.f64 x 16)) 1/116))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (+.f64 x 16) 1/116))))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(cbrt.f64 (pow.f64 (*.f64 (+.f64 x 16) 1/116) 3))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(expm1.f64 (log1p.f64 (*.f64 (+.f64 x 16) 1/116)))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(exp.f64 (log.f64 (*.f64 (+.f64 x 16) 1/116)))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(exp.f64 (.f64 (log.f64 (.f64 (+.f64 x 16) 1/116)) 1))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 (+.f64 x 16) 1/116)) 1) 1))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) 3))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 (+.f64 x 16) 1/116))) 1/3))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116))) 2))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(exp.f64 (*.f64 (log.f64 (/.f64 116 (+.f64 x 16))) -1))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)
(log1p.f64 (expm1.f64 (*.f64 (+.f64 x 16) 1/116)))
(fma.f64 x 1/116 4/29)
(fma.f64 1/116 x 4/29)

eval55.0ms (3.1%)

Compiler: Compiled 2009 to 1723 computations (14.2% saved)

prune22.0ms (1.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	159	3	162
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	159	5	164

Accuracy

100.0%

Counts

164 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 x 16) 116)
▶	78.1%	(/.f64 (*.f64 1/116 (fma.f64 x x -256)) (+.f64 x -16))
✓	100.0%	(-.f64 4/29 (/.f64 x -116))
▶	48.1%	(*.f64 1/116 x)
	54.0%	4/29
✓	100.0%	(/.f64 (+.f64 x 16) 116)
▶	78.1%	(/.f64 (*.f64 1/116 (fma.f64 x x -256)) (+.f64 x -16))
✓	100.0%	(-.f64 4/29 (/.f64 x -116))
▶	48.1%	(*.f64 1/116 x)
	54.0%	4/29

Compiler

Compiled 58 to 46 computations (20.7% saved)

localize122.0ms (6.9%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
✓	99.6%	(*.f64 1/116 (fma.f64 x x -256))
✓	78.5%	(/.f64 (*.f64 1/116 (fma.f64 x x -256)) (+.f64 x -16))
✓	99.9%	(*.f64 1/116 x)

Compiler

Compiled 34 to 23 computations (32.4% saved)

series4.0ms (0.3%)

Counts

3 → 24

Calls

9 calls:

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

rewrite74.0ms (4.2%)

Algorithm

1×	batch-egg-rewrite

Rules

826×	`log-prod`
793×	`log1p-expm1-u`
793×	`expm1-log1p-u`
510×	`pow-prod-down`
336×	`pow-prod-up`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	14	67
1	151	47
2	2106	44

Stop Event

1×	node limit

Counts

3 → 102

Calls

Call 1

Inputs
(*.f64 1/116 x)
(/.f64 (*.f64 1/116 (fma.f64 x x -256)) (+.f64 x -16))
(*.f64 1/116 (fma.f64 x x -256))

Outputs
(+.f64 0 (*.f64 1/116 x))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 1/116) x)) (cbrt.f64 (pow.f64 (exp.f64 1/116) x)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/116) x))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/116) x))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/116) x))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/116 x))) 1)
(pow.f64 (*.f64 1/116 x) 1)
(pow.f64 (cbrt.f64 (*.f64 1/116 x)) 3)
(pow.f64 (*.f64 (pow.f64 x 2) 1/13456) 1/2)
(pow.f64 (pow.f64 (*.f64 1/116 x) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 1/116 x)) 2)
(sqrt.f64 (*.f64 (pow.f64 x 2) 1/13456))
(log.f64 (pow.f64 (exp.f64 1/116) x))
(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)))
(exp.f64 (.f64 (log.f64 (.f64 1/116 x)) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 1/116 x)) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 1/116 x))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 1/116 x))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 1/116 x))) 2))
(log1p.f64 (expm1.f64 (*.f64 1/116 x)))
(+.f64 0 (*.f64 1/116 (+.f64 x 16)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 1/116 (+.f64 x 16)))) (cbrt.f64 (exp.f64 (.f64 1/116 (+.f64 x 16)))))) (log.f64 (cbrt.f64 (exp.f64 (.f64 1/116 (+.f64 x 16))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (.f64 1/116 (+.f64 x 16))))) (log.f64 (sqrt.f64 (exp.f64 (.f64 1/116 (+.f64 x 16))))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/116 (+.f64 x 16)))) 1)
(*.f64 1/116 (+.f64 x 16))
(*.f64 1/116 (/.f64 1 (/.f64 1 (+.f64 x 16))))
(.f64 1/116 (.f64 (fma.f64 x x -256) (/.f64 1 (+.f64 x -16))))
(.f64 (fma.f64 x x -256) (.f64 1/116 (/.f64 1 (+.f64 x -16))))
(*.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (/.f64 1 (+.f64 x -16)))
(.f64 (.f64 1/116 (+.f64 x 16)) 1)
(.f64 (.f64 1/116 (+.f64 x 16)) (log.f64 (exp.f64 1)))
(.f64 1 (.f64 1/116 (+.f64 x 16)))
(.f64 (cbrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2)) (.f64 (cbrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (/.f64 1 (+.f64 x -16))))
(.f64 (cbrt.f64 (.f64 1/116 (+.f64 x 16))) (cbrt.f64 (pow.f64 (*.f64 1/116 (+.f64 x 16)) 2)))
(.f64 (cbrt.f64 (pow.f64 (.f64 1/116 (+.f64 x 16)) 2)) (cbrt.f64 (*.f64 1/116 (+.f64 x 16))))
(.f64 (sqrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (.f64 (sqrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (/.f64 1 (+.f64 x -16))))
(.f64 (sqrt.f64 (.f64 1/116 (+.f64 x 16))) (sqrt.f64 (*.f64 1/116 (+.f64 x 16))))
(.f64 (.f64 (fma.f64 x x -256) -1/116) (/.f64 1 (+.f64 16 (neg.f64 x))))
(*.f64 (/.f64 1 (+.f64 x -16)) (fma.f64 1/116 (pow.f64 x 2) -64/29))
(*.f64 (/.f64 1/116 (pow.f64 (cbrt.f64 (+.f64 x -16)) 2)) (/.f64 (fma.f64 x x -256) (cbrt.f64 (+.f64 x -16))))
(*.f64 (/.f64 1/116 (sqrt.f64 (+.f64 x -16))) (/.f64 (fma.f64 x x -256) (sqrt.f64 (+.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) 1) (/.f64 1/116 (+.f64 x -16)))
(*.f64 (/.f64 1/116 (+.f64 x -16)) (fma.f64 x x -256))
(*.f64 (/.f64 (fma.f64 x x -256) (pow.f64 (cbrt.f64 (+.f64 x -16)) 2)) (/.f64 1/116 (cbrt.f64 (+.f64 x -16))))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 x -16)) -2) (/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (cbrt.f64 (+.f64 x -16))))
(*.f64 (pow.f64 (+.f64 x -16) -1/2) (/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (sqrt.f64 (+.f64 x -16))))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2)) 1) (/.f64 (cbrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (+.f64 x -16)))
(.f64 (/.f64 (cbrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2)) (pow.f64 (cbrt.f64 (+.f64 x -16)) 2)) (cbrt.f64 (.f64 1/116 (+.f64 x 16))))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2)) (sqrt.f64 (+.f64 x -16))) (/.f64 (cbrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (sqrt.f64 (+.f64 x -16))))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) 1) (/.f64 (sqrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (+.f64 x -16)))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (pow.f64 (cbrt.f64 (+.f64 x -16)) 2)) (/.f64 (sqrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (cbrt.f64 (+.f64 x -16))))
(.f64 (/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (+.f64 (pow.f64 x 3) -4096)) (-.f64 (fma.f64 x x 256) (.f64 x -16)))
(*.f64 (/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (fma.f64 x x -256)) (+.f64 x 16))
(pow.f64 (*.f64 1/116 (+.f64 x 16)) 1)
(pow.f64 (cbrt.f64 (*.f64 1/116 (+.f64 x 16))) 3)
(pow.f64 (pow.f64 (*.f64 1/116 (+.f64 x 16)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 1/116 (+.f64 x 16)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 1/116 (+.f64 x 16))) 2)
(pow.f64 (*.f64 116 (/.f64 1 (+.f64 x 16))) -1)
(pow.f64 (/.f64 (*.f64 116 (/.f64 1 (+.f64 x 16))) 1) -1)
(neg.f64 (/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (+.f64 16 (neg.f64 x))))
(sqrt.f64 (pow.f64 (*.f64 1/116 (+.f64 x 16)) 2))
(log.f64 (exp.f64 (*.f64 1/116 (+.f64 x 16))))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 1/116 (+.f64 x 16)))))
(cbrt.f64 (pow.f64 (*.f64 1/116 (+.f64 x 16)) 3))
(cbrt.f64 (/.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 3) (pow.f64 (+.f64 x -16) 3)))
(expm1.f64 (log1p.f64 (*.f64 1/116 (+.f64 x 16))))
(exp.f64 (log.f64 (*.f64 1/116 (+.f64 x 16))))
(exp.f64 (.f64 (log.f64 (.f64 1/116 (+.f64 x 16))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 1/116 (+.f64 x 16))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 1/116 (+.f64 x 16)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 1/116 (+.f64 x 16)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 1/116 (+.f64 x 16)))) 2))
(exp.f64 (.f64 (neg.f64 (log.f64 (.f64 1/116 (+.f64 x 16)))) -1))
(log1p.f64 (expm1.f64 (*.f64 1/116 (+.f64 x 16))))
(+.f64 0 (fma.f64 1/116 (pow.f64 x 2) -64/29))
(+.f64 (*.f64 1/116 (pow.f64 x 2)) -64/29)
(+.f64 (*.f64 (pow.f64 x 2) 1/116) -64/29)
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29))) (cbrt.f64 (exp.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29))))) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)))))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29))) 1)
(pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 1)
(pow.f64 (cbrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) 3)
(pow.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2) 1/2)
(pow.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) 2)
(sqrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2))
(log.f64 (exp.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29))))
(cbrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 3))
(expm1.f64 (log1p.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)))
(exp.f64 (log.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)))
(exp.f64 (*.f64 (log.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) 1))
(exp.f64 (.f64 (.f64 (log.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29))) 2))
(log1p.f64 (expm1.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)))
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(fma.f64 (pow.f64 x 2) 1/116 -64/29)

simplify54.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

1306×	`fma-def`
1120×	`associate-/l*`
944×	`unswap-sqr`
910×	`times-frac`
504×	`associate-*r/`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	265	3227
1	579	2868
2	2032	2754

Stop Event

1×	node limit

Counts

126 → 140

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))
-64/29
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(*.f64 1/116 (pow.f64 x 2))
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(*.f64 1/116 (pow.f64 x 2))
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(+.f64 0 (*.f64 1/116 x))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 1/116) x)) (cbrt.f64 (pow.f64 (exp.f64 1/116) x)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/116) x))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/116) x))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/116) x))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/116 x))) 1)
(pow.f64 (*.f64 1/116 x) 1)
(pow.f64 (cbrt.f64 (*.f64 1/116 x)) 3)
(pow.f64 (*.f64 (pow.f64 x 2) 1/13456) 1/2)
(pow.f64 (pow.f64 (*.f64 1/116 x) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 1/116 x)) 2)
(sqrt.f64 (*.f64 (pow.f64 x 2) 1/13456))
(log.f64 (pow.f64 (exp.f64 1/116) x))
(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)))
(exp.f64 (.f64 (log.f64 (.f64 1/116 x)) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 1/116 x)) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 1/116 x))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 1/116 x))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 1/116 x))) 2))
(log1p.f64 (expm1.f64 (*.f64 1/116 x)))
(+.f64 0 (*.f64 1/116 (+.f64 x 16)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 1/116 (+.f64 x 16)))) (cbrt.f64 (exp.f64 (.f64 1/116 (+.f64 x 16)))))) (log.f64 (cbrt.f64 (exp.f64 (.f64 1/116 (+.f64 x 16))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (.f64 1/116 (+.f64 x 16))))) (log.f64 (sqrt.f64 (exp.f64 (.f64 1/116 (+.f64 x 16))))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/116 (+.f64 x 16)))) 1)
(*.f64 1/116 (+.f64 x 16))
(*.f64 1/116 (/.f64 1 (/.f64 1 (+.f64 x 16))))
(.f64 1/116 (.f64 (fma.f64 x x -256) (/.f64 1 (+.f64 x -16))))
(.f64 (fma.f64 x x -256) (.f64 1/116 (/.f64 1 (+.f64 x -16))))
(*.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (/.f64 1 (+.f64 x -16)))
(.f64 (.f64 1/116 (+.f64 x 16)) 1)
(.f64 (.f64 1/116 (+.f64 x 16)) (log.f64 (exp.f64 1)))
(.f64 1 (.f64 1/116 (+.f64 x 16)))
(.f64 (cbrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2)) (.f64 (cbrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (/.f64 1 (+.f64 x -16))))
(.f64 (cbrt.f64 (.f64 1/116 (+.f64 x 16))) (cbrt.f64 (pow.f64 (*.f64 1/116 (+.f64 x 16)) 2)))
(.f64 (cbrt.f64 (pow.f64 (.f64 1/116 (+.f64 x 16)) 2)) (cbrt.f64 (*.f64 1/116 (+.f64 x 16))))
(.f64 (sqrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (.f64 (sqrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (/.f64 1 (+.f64 x -16))))
(.f64 (sqrt.f64 (.f64 1/116 (+.f64 x 16))) (sqrt.f64 (*.f64 1/116 (+.f64 x 16))))
(.f64 (.f64 (fma.f64 x x -256) -1/116) (/.f64 1 (+.f64 16 (neg.f64 x))))
(*.f64 (/.f64 1 (+.f64 x -16)) (fma.f64 1/116 (pow.f64 x 2) -64/29))
(*.f64 (/.f64 1/116 (pow.f64 (cbrt.f64 (+.f64 x -16)) 2)) (/.f64 (fma.f64 x x -256) (cbrt.f64 (+.f64 x -16))))
(*.f64 (/.f64 1/116 (sqrt.f64 (+.f64 x -16))) (/.f64 (fma.f64 x x -256) (sqrt.f64 (+.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) 1) (/.f64 1/116 (+.f64 x -16)))
(*.f64 (/.f64 1/116 (+.f64 x -16)) (fma.f64 x x -256))
(*.f64 (/.f64 (fma.f64 x x -256) (pow.f64 (cbrt.f64 (+.f64 x -16)) 2)) (/.f64 1/116 (cbrt.f64 (+.f64 x -16))))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 x -16)) -2) (/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (cbrt.f64 (+.f64 x -16))))
(*.f64 (pow.f64 (+.f64 x -16) -1/2) (/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (sqrt.f64 (+.f64 x -16))))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2)) 1) (/.f64 (cbrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (+.f64 x -16)))
(.f64 (/.f64 (cbrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2)) (pow.f64 (cbrt.f64 (+.f64 x -16)) 2)) (cbrt.f64 (.f64 1/116 (+.f64 x 16))))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2)) (sqrt.f64 (+.f64 x -16))) (/.f64 (cbrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (sqrt.f64 (+.f64 x -16))))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) 1) (/.f64 (sqrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (+.f64 x -16)))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (pow.f64 (cbrt.f64 (+.f64 x -16)) 2)) (/.f64 (sqrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (cbrt.f64 (+.f64 x -16))))
(.f64 (/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (+.f64 (pow.f64 x 3) -4096)) (-.f64 (fma.f64 x x 256) (.f64 x -16)))
(*.f64 (/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (fma.f64 x x -256)) (+.f64 x 16))
(pow.f64 (*.f64 1/116 (+.f64 x 16)) 1)
(pow.f64 (cbrt.f64 (*.f64 1/116 (+.f64 x 16))) 3)
(pow.f64 (pow.f64 (*.f64 1/116 (+.f64 x 16)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 1/116 (+.f64 x 16)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 1/116 (+.f64 x 16))) 2)
(pow.f64 (*.f64 116 (/.f64 1 (+.f64 x 16))) -1)
(pow.f64 (/.f64 (*.f64 116 (/.f64 1 (+.f64 x 16))) 1) -1)
(neg.f64 (/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (+.f64 16 (neg.f64 x))))
(sqrt.f64 (pow.f64 (*.f64 1/116 (+.f64 x 16)) 2))
(log.f64 (exp.f64 (*.f64 1/116 (+.f64 x 16))))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 1/116 (+.f64 x 16)))))
(cbrt.f64 (pow.f64 (*.f64 1/116 (+.f64 x 16)) 3))
(cbrt.f64 (/.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 3) (pow.f64 (+.f64 x -16) 3)))
(expm1.f64 (log1p.f64 (*.f64 1/116 (+.f64 x 16))))
(exp.f64 (log.f64 (*.f64 1/116 (+.f64 x 16))))
(exp.f64 (.f64 (log.f64 (.f64 1/116 (+.f64 x 16))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 1/116 (+.f64 x 16))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 1/116 (+.f64 x 16)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 1/116 (+.f64 x 16)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 1/116 (+.f64 x 16)))) 2))
(exp.f64 (.f64 (neg.f64 (log.f64 (.f64 1/116 (+.f64 x 16)))) -1))
(log1p.f64 (expm1.f64 (*.f64 1/116 (+.f64 x 16))))
(+.f64 0 (fma.f64 1/116 (pow.f64 x 2) -64/29))
(+.f64 (*.f64 1/116 (pow.f64 x 2)) -64/29)
(+.f64 (*.f64 (pow.f64 x 2) 1/116) -64/29)
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29))) (cbrt.f64 (exp.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29))))) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)))))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29))) 1)
(pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 1)
(pow.f64 (cbrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) 3)
(pow.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2) 1/2)
(pow.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) 2)
(sqrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2))
(log.f64 (exp.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29))))
(cbrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 3))
(expm1.f64 (log1p.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)))
(exp.f64 (log.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)))
(exp.f64 (*.f64 (log.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) 1))
(exp.f64 (.f64 (.f64 (log.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29))) 2))
(log1p.f64 (expm1.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)))
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(fma.f64 (pow.f64 x 2) 1/116 -64/29)

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)
-64/29
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(*.f64 1/116 (pow.f64 x 2))
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(*.f64 1/116 (pow.f64 x 2))
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(+.f64 0 (*.f64 1/116 x))
(*.f64 1/116 x)
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 1/116) x)) (cbrt.f64 (pow.f64 (exp.f64 1/116) x)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/116) x))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/116) x)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/116) x))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/116) x))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/116) x))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/116) x))))
(*.f64 1/116 x)
(-.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 (cbrt.f64 (*.f64 1/116 x)) 3)
(*.f64 1/116 x)
(pow.f64 (*.f64 (pow.f64 x 2) 1/13456) 1/2)
(sqrt.f64 (*.f64 (pow.f64 x 2) 1/13456))
(fabs.f64 (*.f64 1/116 x))
(pow.f64 (pow.f64 (*.f64 1/116 x) 3) 1/3)
(*.f64 1/116 x)
(pow.f64 (sqrt.f64 (*.f64 1/116 x)) 2)
(*.f64 1/116 x)
(sqrt.f64 (*.f64 (pow.f64 x 2) 1/13456))
(fabs.f64 (*.f64 1/116 x))
(log.f64 (pow.f64 (exp.f64 1/116) x))
(*.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)
(exp.f64 (.f64 (log.f64 (.f64 1/116 x)) 1))
(*.f64 1/116 x)
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 1/116 x)) 1) 1))
(*.f64 1/116 x)
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 1/116 x))) 3))
(*.f64 1/116 x)
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 1/116 x))) 1/3))
(*.f64 1/116 x)
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 1/116 x))) 2))
(*.f64 1/116 x)
(log1p.f64 (expm1.f64 (*.f64 1/116 x)))
(*.f64 1/116 x)
(+.f64 0 (*.f64 1/116 (+.f64 x 16)))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 1/116 (+.f64 x 16)))) (cbrt.f64 (exp.f64 (.f64 1/116 (+.f64 x 16)))))) (log.f64 (cbrt.f64 (exp.f64 (.f64 1/116 (+.f64 x 16))))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 1/116) (+.f64 x 16))) (cbrt.f64 (pow.f64 (exp.f64 1/116) (+.f64 x 16))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/116) (+.f64 x 16)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (fma.f64 1/116 x 4/29))))) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 1/116 x 4/29)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (fma.f64 1/116 x 4/29)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (.f64 1/116 (+.f64 x 16))))) (log.f64 (sqrt.f64 (exp.f64 (.f64 1/116 (+.f64 x 16))))))
(*.f64 2 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/116) (+.f64 x 16)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 1/116 x 4/29)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/116 (+.f64 x 16)))) 1)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(*.f64 1/116 (+.f64 x 16))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(*.f64 1/116 (/.f64 1 (/.f64 1 (+.f64 x 16))))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(.f64 1/116 (.f64 (fma.f64 x x -256) (/.f64 1 (+.f64 x -16))))
(/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (+.f64 x -16))
(.f64 (fma.f64 x x -256) (.f64 1/116 (/.f64 1 (+.f64 x -16))))
(.f64 1/116 (.f64 (fma.f64 x x -256) (/.f64 1 (+.f64 x -16))))
(/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (+.f64 x -16))
(*.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (/.f64 1 (+.f64 x -16)))
(.f64 1/116 (.f64 (fma.f64 x x -256) (/.f64 1 (+.f64 x -16))))
(/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (+.f64 x -16))
(.f64 (.f64 1/116 (+.f64 x 16)) 1)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(.f64 (.f64 1/116 (+.f64 x 16)) (log.f64 (exp.f64 1)))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(.f64 1 (.f64 1/116 (+.f64 x 16)))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(.f64 (cbrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2)) (.f64 (cbrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (/.f64 1 (+.f64 x -16))))
(.f64 (cbrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2)) (.f64 (/.f64 1 (+.f64 x -16)) (cbrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29))))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2)) (/.f64 (cbrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (+.f64 x -16)))
(.f64 (cbrt.f64 (.f64 1/116 (+.f64 x 16))) (cbrt.f64 (pow.f64 (*.f64 1/116 (+.f64 x 16)) 2)))
(.f64 (cbrt.f64 (+.f64 4/29 (.f64 1/116 x))) (cbrt.f64 (pow.f64 (+.f64 4/29 (*.f64 1/116 x)) 2)))
(*.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) (cbrt.f64 (pow.f64 (fma.f64 1/116 x 4/29) 2)))
(.f64 (cbrt.f64 (pow.f64 (.f64 1/116 (+.f64 x 16)) 2)) (cbrt.f64 (*.f64 1/116 (+.f64 x 16))))
(.f64 (cbrt.f64 (+.f64 4/29 (.f64 1/116 x))) (cbrt.f64 (pow.f64 (+.f64 4/29 (*.f64 1/116 x)) 2)))
(*.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) (cbrt.f64 (pow.f64 (fma.f64 1/116 x 4/29) 2)))
(.f64 (sqrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (.f64 (sqrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (/.f64 1 (+.f64 x -16))))
(.f64 1/116 (.f64 (fma.f64 x x -256) (/.f64 1 (+.f64 x -16))))
(/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (+.f64 x -16))
(.f64 (sqrt.f64 (.f64 1/116 (+.f64 x 16))) (sqrt.f64 (*.f64 1/116 (+.f64 x 16))))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(.f64 (.f64 (fma.f64 x x -256) -1/116) (/.f64 1 (+.f64 16 (neg.f64 x))))
(.f64 (.f64 (fma.f64 x x -256) -1/116) (/.f64 1 (-.f64 16 x)))
(/.f64 (*.f64 (fma.f64 x x -256) -1/116) (-.f64 16 x))
(/.f64 (fma.f64 (pow.f64 x 2) -1/116 64/29) (-.f64 16 x))
(*.f64 (/.f64 1 (+.f64 x -16)) (fma.f64 1/116 (pow.f64 x 2) -64/29))
(.f64 1/116 (.f64 (fma.f64 x x -256) (/.f64 1 (+.f64 x -16))))
(/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (+.f64 x -16))
(*.f64 (/.f64 1/116 (pow.f64 (cbrt.f64 (+.f64 x -16)) 2)) (/.f64 (fma.f64 x x -256) (cbrt.f64 (+.f64 x -16))))
(/.f64 (/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (cbrt.f64 (+.f64 x -16))) (pow.f64 (cbrt.f64 (+.f64 x -16)) 2))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 x -16)) -2) (cbrt.f64 (+.f64 x -16))) (fma.f64 1/116 (pow.f64 x 2) -64/29))
(*.f64 (/.f64 1/116 (sqrt.f64 (+.f64 x -16))) (/.f64 (fma.f64 x x -256) (sqrt.f64 (+.f64 x -16))))
(/.f64 (/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (sqrt.f64 (+.f64 x -16))) (sqrt.f64 (+.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 1/116 (sqrt.f64 (+.f64 x -16))) (/.f64 (fma.f64 x x -256) (sqrt.f64 (+.f64 x -16))))
(/.f64 (/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (sqrt.f64 (+.f64 x -16))) (sqrt.f64 (+.f64 x -16)))
(*.f64 (/.f64 (fma.f64 x x -256) 1) (/.f64 1/116 (+.f64 x -16)))
(.f64 1/116 (.f64 (fma.f64 x x -256) (/.f64 1 (+.f64 x -16))))
(/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (+.f64 x -16))
(*.f64 (/.f64 1/116 (+.f64 x -16)) (fma.f64 x x -256))
(.f64 1/116 (.f64 (fma.f64 x x -256) (/.f64 1 (+.f64 x -16))))
(/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (+.f64 x -16))
(*.f64 (/.f64 (fma.f64 x x -256) (pow.f64 (cbrt.f64 (+.f64 x -16)) 2)) (/.f64 1/116 (cbrt.f64 (+.f64 x -16))))
(*.f64 (/.f64 1/116 (pow.f64 (cbrt.f64 (+.f64 x -16)) 2)) (/.f64 (fma.f64 x x -256) (cbrt.f64 (+.f64 x -16))))
(/.f64 (/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (cbrt.f64 (+.f64 x -16))) (pow.f64 (cbrt.f64 (+.f64 x -16)) 2))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 x -16)) -2) (cbrt.f64 (+.f64 x -16))) (fma.f64 1/116 (pow.f64 x 2) -64/29))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 x -16)) -2) (/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (cbrt.f64 (+.f64 x -16))))
(*.f64 (/.f64 1/116 (pow.f64 (cbrt.f64 (+.f64 x -16)) 2)) (/.f64 (fma.f64 x x -256) (cbrt.f64 (+.f64 x -16))))
(/.f64 (/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (cbrt.f64 (+.f64 x -16))) (pow.f64 (cbrt.f64 (+.f64 x -16)) 2))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 x -16)) -2) (cbrt.f64 (+.f64 x -16))) (fma.f64 1/116 (pow.f64 x 2) -64/29))
(*.f64 (pow.f64 (+.f64 x -16) -1/2) (/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (sqrt.f64 (+.f64 x -16))))
(/.f64 (*.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (pow.f64 (+.f64 x -16) -1/2)) (sqrt.f64 (+.f64 x -16)))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2)) 1) (/.f64 (cbrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (+.f64 x -16)))
(.f64 (cbrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2)) (.f64 (/.f64 1 (+.f64 x -16)) (cbrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29))))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2)) (/.f64 (cbrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (+.f64 x -16)))
(.f64 (/.f64 (cbrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2)) (pow.f64 (cbrt.f64 (+.f64 x -16)) 2)) (cbrt.f64 (.f64 1/116 (+.f64 x 16))))
(.f64 (cbrt.f64 (+.f64 4/29 (.f64 1/116 x))) (/.f64 (cbrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2)) (pow.f64 (cbrt.f64 (+.f64 x -16)) 2)))
(*.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) (/.f64 (cbrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2)) (pow.f64 (cbrt.f64 (+.f64 x -16)) 2)))
(/.f64 (cbrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2)) (/.f64 (pow.f64 (cbrt.f64 (+.f64 x -16)) 2) (cbrt.f64 (fma.f64 1/116 x 4/29))))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2)) (sqrt.f64 (+.f64 x -16))) (/.f64 (cbrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (sqrt.f64 (+.f64 x -16))))
(/.f64 (cbrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2)) (*.f64 (/.f64 (sqrt.f64 (+.f64 x -16)) (cbrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29))) (sqrt.f64 (+.f64 x -16))))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) 1) (/.f64 (sqrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (+.f64 x -16)))
(.f64 1/116 (.f64 (fma.f64 x x -256) (/.f64 1 (+.f64 x -16))))
(/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (+.f64 x -16))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (pow.f64 (cbrt.f64 (+.f64 x -16)) 2)) (/.f64 (sqrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) (cbrt.f64 (+.f64 x -16))))
(*.f64 (/.f64 1/116 (pow.f64 (cbrt.f64 (+.f64 x -16)) 2)) (/.f64 (fma.f64 x x -256) (cbrt.f64 (+.f64 x -16))))
(/.f64 (/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (cbrt.f64 (+.f64 x -16))) (pow.f64 (cbrt.f64 (+.f64 x -16)) 2))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 x -16)) -2) (cbrt.f64 (+.f64 x -16))) (fma.f64 1/116 (pow.f64 x 2) -64/29))
(.f64 (/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (+.f64 (pow.f64 x 3) -4096)) (-.f64 (fma.f64 x x 256) (.f64 x -16)))
(.f64 (/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (+.f64 (pow.f64 x 3) -4096)) (+.f64 (fma.f64 x x 256) (.f64 x 16)))
(/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (/.f64 (+.f64 (pow.f64 x 3) -4096) (fma.f64 x 16 (fma.f64 x x 256))))
(*.f64 (/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (fma.f64 x x -256)) (+.f64 x 16))
(*.f64 (+.f64 x 16) (/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (fma.f64 x x -256)))
(/.f64 (*.f64 (fma.f64 x x -256) (fma.f64 1/116 x 4/29)) (fma.f64 x x -256))
(pow.f64 (*.f64 1/116 (+.f64 x 16)) 1)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(pow.f64 (cbrt.f64 (*.f64 1/116 (+.f64 x 16))) 3)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(pow.f64 (pow.f64 (*.f64 1/116 (+.f64 x 16)) 2) 1/2)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(pow.f64 (pow.f64 (*.f64 1/116 (+.f64 x 16)) 3) 1/3)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(pow.f64 (sqrt.f64 (*.f64 1/116 (+.f64 x 16))) 2)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(pow.f64 (*.f64 116 (/.f64 1 (+.f64 x 16))) -1)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(pow.f64 (/.f64 (*.f64 116 (/.f64 1 (+.f64 x 16))) 1) -1)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(neg.f64 (/.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) (+.f64 16 (neg.f64 x))))
(.f64 (.f64 (fma.f64 x x -256) -1/116) (/.f64 1 (-.f64 16 x)))
(/.f64 (*.f64 (fma.f64 x x -256) -1/116) (-.f64 16 x))
(/.f64 (fma.f64 (pow.f64 x 2) -1/116 64/29) (-.f64 16 x))
(sqrt.f64 (pow.f64 (*.f64 1/116 (+.f64 x 16)) 2))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(log.f64 (exp.f64 (*.f64 1/116 (+.f64 x 16))))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(log.f64 (+.f64 1 (expm1.f64 (*.f64 1/116 (+.f64 x 16)))))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(cbrt.f64 (pow.f64 (*.f64 1/116 (+.f64 x 16)) 3))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(cbrt.f64 (/.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 3) (pow.f64 (+.f64 x -16) 3)))
(expm1.f64 (log1p.f64 (*.f64 1/116 (+.f64 x 16))))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(exp.f64 (log.f64 (*.f64 1/116 (+.f64 x 16))))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(exp.f64 (.f64 (log.f64 (.f64 1/116 (+.f64 x 16))) 1))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 1/116 (+.f64 x 16))) 1) 1))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 1/116 (+.f64 x 16)))) 3))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 1/116 (+.f64 x 16)))) 1/3))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 1/116 (+.f64 x 16)))) 2))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(exp.f64 (.f64 (neg.f64 (log.f64 (.f64 1/116 (+.f64 x 16)))) -1))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(log1p.f64 (expm1.f64 (*.f64 1/116 (+.f64 x 16))))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 0 (fma.f64 1/116 (pow.f64 x 2) -64/29))
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(+.f64 (*.f64 1/116 (pow.f64 x 2)) -64/29)
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(+.f64 (*.f64 (pow.f64 x 2) 1/116) -64/29)
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29))) (cbrt.f64 (exp.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29))))) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29))))) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)))))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29))) 1)
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 1)
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(pow.f64 (cbrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) 3)
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(pow.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2) 1/2)
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(pow.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 3) 1/3)
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(pow.f64 (sqrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) 2)
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(sqrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 2))
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(log.f64 (exp.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)))
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29))))
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(cbrt.f64 (pow.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29) 3))
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(expm1.f64 (log1p.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)))
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(exp.f64 (log.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)))
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(exp.f64 (*.f64 (log.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) 1))
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(exp.f64 (.f64 (.f64 (log.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)) 1) 1))
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29))) 3))
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(exp.f64 (.f64 (.f64 3 (log.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29))) 1/3))
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29))) 2))
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(log1p.f64 (expm1.f64 (fma.f64 1/116 (pow.f64 x 2) -64/29)))
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(fma.f64 1/116 (pow.f64 x 2) -64/29)
(fma.f64 (pow.f64 x 2) 1/116 -64/29)
(fma.f64 1/116 (pow.f64 x 2) -64/29)

eval84.0ms (4.8%)

Compiler: Compiled 1773 to 1489 computations (16% saved)

prune18.0ms (1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	139	1	140
Fresh	0	1	1
Picked	1	1	2
Done	0	2	2
Total	140	5	145

Accuracy

100.0%

Counts

145 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 x 16) 116)
▶	53.6%	(/.f64 -64/29 (+.f64 x -16))
✓	100.0%	(-.f64 4/29 (/.f64 x -116))
✓	48.1%	(*.f64 1/116 x)
	54.0%	4/29
✓	100.0%	(/.f64 (+.f64 x 16) 116)
▶	53.6%	(/.f64 -64/29 (+.f64 x -16))
✓	100.0%	(-.f64 4/29 (/.f64 x -116))
✓	48.1%	(*.f64 1/116 x)
	54.0%	4/29

Compiler

Compiled 48 to 40 computations (16.7% saved)

localize25.0ms (1.4%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	99.9%	(/.f64 -64/29 (+.f64 x -16))

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 -64/29 (+.f64 x -16))
0.0ms	x	@	0	(/.f64 -64/29 (+.f64 x -16))
0.0ms	x	@	-inf	(/.f64 -64/29 (+.f64 x -16))

rewrite50.0ms (2.8%)

Algorithm

1×	batch-egg-rewrite

Rules

528×	`unpow-prod-down`
430×	`log1p-expm1-u`
430×	`expm1-log1p-u`
409×	`add-exp-log`
397×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	88	16
2	1153	16

Stop Event

1×	node limit

Counts

1 → 50

Calls

Call 1

Inputs
(/.f64 -64/29 (+.f64 x -16))

Outputs
(+.f64 0 (/.f64 -64/29 (+.f64 x -16)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 -64/29 (+.f64 x -16)))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 -64/29 (+.f64 x -16))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 -64/29 (+.f64 x -16))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 -64/29 (+.f64 x -16))))))
(-.f64 (+.f64 1 (/.f64 -64/29 (+.f64 x -16))) 1)
(*.f64 -64/29 (/.f64 1 (+.f64 x -16)))
(*.f64 (/.f64 -64/29 (+.f64 x -16)) 1)
(*.f64 (/.f64 -64/29 (+.f64 x -16)) (log.f64 (E.f64)))
(*.f64 1 (/.f64 -64/29 (+.f64 x -16)))
(*.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16))) (pow.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16))) 2))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16))) 2) (cbrt.f64 (/.f64 -64/29 (+.f64 x -16))))
(*.f64 (sqrt.f64 (/.f64 -64/29 (+.f64 x -16))) (sqrt.f64 (/.f64 -64/29 (+.f64 x -16))))
(*.f64 64/29 (/.f64 1 (+.f64 16 (neg.f64 x))))
(*.f64 (/.f64 1 (+.f64 x -16)) -64/29)
(*.f64 (/.f64 1 (+.f64 x -16)) (log.f64 (exp.f64 -64/29)))
(.f64 (/.f64 -64/29 (+.f64 (pow.f64 x 3) -4096)) (-.f64 (fma.f64 x x 256) (.f64 x -16)))
(*.f64 (/.f64 -64/29 (fma.f64 x x -256)) (+.f64 x 16))
(*.f64 (pow.f64 1 1/3) (/.f64 -64/29 (+.f64 x -16)))
(*.f64 (pow.f64 (cbrt.f64 -64/29) 3) (/.f64 1 (+.f64 x -16)))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))) 3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 3)) 1/3))
(.f64 (pow.f64 (.f64 (*.f64 (pow.f64 (+.f64 x -16) -2) 4096/841) -64/29) 1/3) (/.f64 1 (cbrt.f64 (+.f64 x -16))))
(.f64 (pow.f64 (pow.f64 (.f64 (/.f64 -64/29 (+.f64 x -16)) (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))))
(*.f64 (pow.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (/.f64 -64/29 (+.f64 x -16)))))
(*.f64 (pow.f64 (sqrt.f64 -64/29) 2) (/.f64 1 (+.f64 x -16)))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x -16) -29/64)) 2) -1) (cbrt.f64 (/.f64 -64/29 (+.f64 x -16))))
(*.f64 (exp.f64 (log.f64 -64/29)) (/.f64 1 (+.f64 x -16)))
(*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 3))))
(.f64 (cbrt.f64 (.f64 (*.f64 (pow.f64 (+.f64 x -16) -2) 4096/841) -64/29)) (/.f64 1 (cbrt.f64 (+.f64 x -16))))
(.f64 (cbrt.f64 (pow.f64 (.f64 (/.f64 -64/29 (+.f64 x -16)) (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))) 2)) (cbrt.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 5/2)) (cbrt.f64 (sqrt.f64 (/.f64 -64/29 (+.f64 x -16)))))
(pow.f64 (/.f64 -64/29 (+.f64 x -16)) 1)
(pow.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16))) 3)
(pow.f64 (*.f64 (pow.f64 (+.f64 x -16) -2) 4096/841) 1/2)
(pow.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 -64/29 (+.f64 x -16))) 2)
(pow.f64 (*.f64 (+.f64 x -16) -29/64) -1)
(pow.f64 (E.f64) (log.f64 (/.f64 -64/29 (+.f64 x -16))))
(pow.f64 (/.f64 (*.f64 (+.f64 x -16) -29/64) 1) -1)
(pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (/.f64 -64/29 (+.f64 x -16))) 2))) (cbrt.f64 (log.f64 (/.f64 -64/29 (+.f64 x -16)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (/.f64 -64/29 (+.f64 x -16))))) (sqrt.f64 (log.f64 (/.f64 -64/29 (+.f64 x -16)))))
(sqrt.f64 (*.f64 (pow.f64 (+.f64 x -16) -2) 4096/841))
(log.f64 (exp.f64 (/.f64 -64/29 (+.f64 x -16))))
(cbrt.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 3))
(expm1.f64 (log1p.f64 (/.f64 -64/29 (+.f64 x -16))))
(exp.f64 (log.f64 (/.f64 -64/29 (+.f64 x -16))))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 3)) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 -64/29 (+.f64 x -16)))) 2))
(exp.f64 (.f64 (log.f64 (.f64 (+.f64 x -16) -29/64)) -1))
(log1p.f64 (expm1.f64 (/.f64 -64/29 (+.f64 x -16))))

simplify55.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

930×	`fma-def`
864×	`associate-*r/`
678×	`log-prod`
512×	`unswap-sqr`
400×	`sqr-pow`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	192	1732
1	437	1629
2	1214	1591
3	4292	1586

Stop Event

1×	node limit

Counts

62 → 91

Calls

Call 1

Inputs
4/29
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (+.f64 (.f64 1/1856 (pow.f64 x 2)) (.f64 1/116 x)))
(+.f64 4/29 (+.f64 (.f64 1/29696 (pow.f64 x 3)) (+.f64 (.f64 1/1856 (pow.f64 x 2)) (*.f64 1/116 x))))
(/.f64 -64/29 x)
(neg.f64 (+.f64 (.f64 64/29 (/.f64 1 x)) (.f64 1024/29 (/.f64 1 (pow.f64 x 2)))))
(neg.f64 (+.f64 (.f64 1024/29 (/.f64 1 (pow.f64 x 2))) (+.f64 (.f64 16384/29 (/.f64 1 (pow.f64 x 3))) (*.f64 64/29 (/.f64 1 x)))))
(neg.f64 (+.f64 (.f64 1024/29 (/.f64 1 (pow.f64 x 2))) (+.f64 (.f64 16384/29 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 262144/29 (/.f64 1 (pow.f64 x 4))) (.f64 64/29 (/.f64 1 x))))))
(/.f64 -64/29 x)
(neg.f64 (+.f64 (.f64 64/29 (/.f64 1 x)) (.f64 1024/29 (/.f64 1 (pow.f64 x 2)))))
(neg.f64 (+.f64 (.f64 1024/29 (/.f64 1 (pow.f64 x 2))) (+.f64 (.f64 16384/29 (/.f64 1 (pow.f64 x 3))) (*.f64 64/29 (/.f64 1 x)))))
(neg.f64 (+.f64 (.f64 1024/29 (/.f64 1 (pow.f64 x 2))) (+.f64 (.f64 16384/29 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 262144/29 (/.f64 1 (pow.f64 x 4))) (.f64 64/29 (/.f64 1 x))))))
(+.f64 0 (/.f64 -64/29 (+.f64 x -16)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 -64/29 (+.f64 x -16)))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 -64/29 (+.f64 x -16))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 -64/29 (+.f64 x -16))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 -64/29 (+.f64 x -16))))))
(-.f64 (+.f64 1 (/.f64 -64/29 (+.f64 x -16))) 1)
(*.f64 -64/29 (/.f64 1 (+.f64 x -16)))
(*.f64 (/.f64 -64/29 (+.f64 x -16)) 1)
(*.f64 (/.f64 -64/29 (+.f64 x -16)) (log.f64 (E.f64)))
(*.f64 1 (/.f64 -64/29 (+.f64 x -16)))
(*.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16))) (pow.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16))) 2))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16))) 2) (cbrt.f64 (/.f64 -64/29 (+.f64 x -16))))
(*.f64 (sqrt.f64 (/.f64 -64/29 (+.f64 x -16))) (sqrt.f64 (/.f64 -64/29 (+.f64 x -16))))
(*.f64 64/29 (/.f64 1 (+.f64 16 (neg.f64 x))))
(*.f64 (/.f64 1 (+.f64 x -16)) -64/29)
(*.f64 (/.f64 1 (+.f64 x -16)) (log.f64 (exp.f64 -64/29)))
(.f64 (/.f64 -64/29 (+.f64 (pow.f64 x 3) -4096)) (-.f64 (fma.f64 x x 256) (.f64 x -16)))
(*.f64 (/.f64 -64/29 (fma.f64 x x -256)) (+.f64 x 16))
(*.f64 (pow.f64 1 1/3) (/.f64 -64/29 (+.f64 x -16)))
(*.f64 (pow.f64 (cbrt.f64 -64/29) 3) (/.f64 1 (+.f64 x -16)))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))) 3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 3)) 1/3))
(.f64 (pow.f64 (.f64 (*.f64 (pow.f64 (+.f64 x -16) -2) 4096/841) -64/29) 1/3) (/.f64 1 (cbrt.f64 (+.f64 x -16))))
(.f64 (pow.f64 (pow.f64 (.f64 (/.f64 -64/29 (+.f64 x -16)) (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))))
(*.f64 (pow.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (/.f64 -64/29 (+.f64 x -16)))))
(*.f64 (pow.f64 (sqrt.f64 -64/29) 2) (/.f64 1 (+.f64 x -16)))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x -16) -29/64)) 2) -1) (cbrt.f64 (/.f64 -64/29 (+.f64 x -16))))
(*.f64 (exp.f64 (log.f64 -64/29)) (/.f64 1 (+.f64 x -16)))
(*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 3))))
(.f64 (cbrt.f64 (.f64 (*.f64 (pow.f64 (+.f64 x -16) -2) 4096/841) -64/29)) (/.f64 1 (cbrt.f64 (+.f64 x -16))))
(.f64 (cbrt.f64 (pow.f64 (.f64 (/.f64 -64/29 (+.f64 x -16)) (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))) 2)) (cbrt.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 5/2)) (cbrt.f64 (sqrt.f64 (/.f64 -64/29 (+.f64 x -16)))))
(pow.f64 (/.f64 -64/29 (+.f64 x -16)) 1)
(pow.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16))) 3)
(pow.f64 (*.f64 (pow.f64 (+.f64 x -16) -2) 4096/841) 1/2)
(pow.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 -64/29 (+.f64 x -16))) 2)
(pow.f64 (*.f64 (+.f64 x -16) -29/64) -1)
(pow.f64 (E.f64) (log.f64 (/.f64 -64/29 (+.f64 x -16))))
(pow.f64 (/.f64 (*.f64 (+.f64 x -16) -29/64) 1) -1)
(pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (/.f64 -64/29 (+.f64 x -16))) 2))) (cbrt.f64 (log.f64 (/.f64 -64/29 (+.f64 x -16)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (/.f64 -64/29 (+.f64 x -16))))) (sqrt.f64 (log.f64 (/.f64 -64/29 (+.f64 x -16)))))
(sqrt.f64 (*.f64 (pow.f64 (+.f64 x -16) -2) 4096/841))
(log.f64 (exp.f64 (/.f64 -64/29 (+.f64 x -16))))
(cbrt.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 3))
(expm1.f64 (log1p.f64 (/.f64 -64/29 (+.f64 x -16))))
(exp.f64 (log.f64 (/.f64 -64/29 (+.f64 x -16))))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 3)) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 -64/29 (+.f64 x -16)))) 2))
(exp.f64 (.f64 (log.f64 (.f64 (+.f64 x -16) -29/64)) -1))
(log1p.f64 (expm1.f64 (/.f64 -64/29 (+.f64 x -16))))

Outputs
4/29
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (+.f64 (.f64 1/1856 (pow.f64 x 2)) (.f64 1/116 x)))
(+.f64 4/29 (fma.f64 1/1856 (pow.f64 x 2) (*.f64 1/116 x)))
(+.f64 (fma.f64 1/116 x 4/29) (*.f64 1/1856 (pow.f64 x 2)))
(fma.f64 1/116 x (fma.f64 1/1856 (pow.f64 x 2) 4/29))
(+.f64 4/29 (+.f64 (.f64 1/29696 (pow.f64 x 3)) (+.f64 (.f64 1/1856 (pow.f64 x 2)) (*.f64 1/116 x))))
(+.f64 4/29 (fma.f64 1/29696 (pow.f64 x 3) (fma.f64 1/1856 (pow.f64 x 2) (*.f64 1/116 x))))
(+.f64 (fma.f64 1/29696 (pow.f64 x 3) (*.f64 1/1856 (pow.f64 x 2))) (fma.f64 1/116 x 4/29))
(fma.f64 1/29696 (pow.f64 x 3) (fma.f64 1/116 x (fma.f64 1/1856 (pow.f64 x 2) 4/29)))
(/.f64 -64/29 x)
(neg.f64 (+.f64 (.f64 64/29 (/.f64 1 x)) (.f64 1024/29 (/.f64 1 (pow.f64 x 2)))))
(neg.f64 (+.f64 (/.f64 64/29 x) (/.f64 1024/29 (pow.f64 x 2))))
(-.f64 (/.f64 -1024/29 (pow.f64 x 2)) (/.f64 64/29 x))
(+.f64 (/.f64 -64/29 x) (/.f64 -1024/29 (pow.f64 x 2)))
(neg.f64 (+.f64 (.f64 1024/29 (/.f64 1 (pow.f64 x 2))) (+.f64 (.f64 16384/29 (/.f64 1 (pow.f64 x 3))) (*.f64 64/29 (/.f64 1 x)))))
(neg.f64 (+.f64 (/.f64 1024/29 (pow.f64 x 2)) (+.f64 (/.f64 64/29 x) (/.f64 16384/29 (pow.f64 x 3)))))
(-.f64 (/.f64 -1024/29 (pow.f64 x 2)) (+.f64 (/.f64 64/29 x) (/.f64 16384/29 (pow.f64 x 3))))
(+.f64 (/.f64 -1024/29 (pow.f64 x 2)) (+.f64 (/.f64 -64/29 x) (/.f64 -16384/29 (pow.f64 x 3))))
(+.f64 (+.f64 (/.f64 -64/29 x) (/.f64 -1024/29 (pow.f64 x 2))) (/.f64 -16384/29 (pow.f64 x 3)))
(neg.f64 (+.f64 (.f64 1024/29 (/.f64 1 (pow.f64 x 2))) (+.f64 (.f64 16384/29 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 262144/29 (/.f64 1 (pow.f64 x 4))) (.f64 64/29 (/.f64 1 x))))))
(neg.f64 (+.f64 (/.f64 1024/29 (pow.f64 x 2)) (+.f64 (/.f64 16384/29 (pow.f64 x 3)) (+.f64 (/.f64 64/29 x) (/.f64 262144/29 (pow.f64 x 4))))))
(-.f64 (/.f64 -1024/29 (pow.f64 x 2)) (+.f64 (/.f64 64/29 x) (+.f64 (/.f64 16384/29 (pow.f64 x 3)) (/.f64 262144/29 (pow.f64 x 4)))))
(-.f64 (/.f64 -16384/29 (pow.f64 x 3)) (+.f64 (+.f64 (/.f64 64/29 x) (/.f64 1024/29 (pow.f64 x 2))) (/.f64 262144/29 (pow.f64 x 4))))
(+.f64 (+.f64 (/.f64 -64/29 x) (/.f64 -1024/29 (pow.f64 x 2))) (+.f64 (/.f64 -16384/29 (pow.f64 x 3)) (/.f64 -262144/29 (pow.f64 x 4))))
(/.f64 -64/29 x)
(neg.f64 (+.f64 (.f64 64/29 (/.f64 1 x)) (.f64 1024/29 (/.f64 1 (pow.f64 x 2)))))
(neg.f64 (+.f64 (/.f64 64/29 x) (/.f64 1024/29 (pow.f64 x 2))))
(-.f64 (/.f64 -1024/29 (pow.f64 x 2)) (/.f64 64/29 x))
(+.f64 (/.f64 -64/29 x) (/.f64 -1024/29 (pow.f64 x 2)))
(neg.f64 (+.f64 (.f64 1024/29 (/.f64 1 (pow.f64 x 2))) (+.f64 (.f64 16384/29 (/.f64 1 (pow.f64 x 3))) (*.f64 64/29 (/.f64 1 x)))))
(neg.f64 (+.f64 (/.f64 1024/29 (pow.f64 x 2)) (+.f64 (/.f64 64/29 x) (/.f64 16384/29 (pow.f64 x 3)))))
(-.f64 (/.f64 -1024/29 (pow.f64 x 2)) (+.f64 (/.f64 64/29 x) (/.f64 16384/29 (pow.f64 x 3))))
(+.f64 (/.f64 -1024/29 (pow.f64 x 2)) (+.f64 (/.f64 -64/29 x) (/.f64 -16384/29 (pow.f64 x 3))))
(+.f64 (+.f64 (/.f64 -64/29 x) (/.f64 -1024/29 (pow.f64 x 2))) (/.f64 -16384/29 (pow.f64 x 3)))
(neg.f64 (+.f64 (.f64 1024/29 (/.f64 1 (pow.f64 x 2))) (+.f64 (.f64 16384/29 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 262144/29 (/.f64 1 (pow.f64 x 4))) (.f64 64/29 (/.f64 1 x))))))
(neg.f64 (+.f64 (/.f64 1024/29 (pow.f64 x 2)) (+.f64 (/.f64 16384/29 (pow.f64 x 3)) (+.f64 (/.f64 64/29 x) (/.f64 262144/29 (pow.f64 x 4))))))
(-.f64 (/.f64 -1024/29 (pow.f64 x 2)) (+.f64 (/.f64 64/29 x) (+.f64 (/.f64 16384/29 (pow.f64 x 3)) (/.f64 262144/29 (pow.f64 x 4)))))
(-.f64 (/.f64 -16384/29 (pow.f64 x 3)) (+.f64 (+.f64 (/.f64 64/29 x) (/.f64 1024/29 (pow.f64 x 2))) (/.f64 262144/29 (pow.f64 x 4))))
(+.f64 (+.f64 (/.f64 -64/29 x) (/.f64 -1024/29 (pow.f64 x 2))) (+.f64 (/.f64 -16384/29 (pow.f64 x 3)) (/.f64 -262144/29 (pow.f64 x 4))))
(+.f64 0 (/.f64 -64/29 (+.f64 x -16)))
(/.f64 -64/29 (+.f64 x -16))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 -64/29 (+.f64 x -16)))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 -64/29 (+.f64 x -16))))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (/.f64 -64/29 (+.f64 x -16))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 -64/29 (+.f64 x -16))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 -64/29 (+.f64 x -16))))))
(/.f64 -64/29 (+.f64 x -16))
(-.f64 (+.f64 1 (/.f64 -64/29 (+.f64 x -16))) 1)
(/.f64 -64/29 (+.f64 x -16))
(*.f64 -64/29 (/.f64 1 (+.f64 x -16)))
(/.f64 -64/29 (+.f64 x -16))
(*.f64 (/.f64 -64/29 (+.f64 x -16)) 1)
(/.f64 -64/29 (+.f64 x -16))
(*.f64 (/.f64 -64/29 (+.f64 x -16)) (log.f64 (E.f64)))
(/.f64 -64/29 (+.f64 x -16))
(*.f64 1 (/.f64 -64/29 (+.f64 x -16)))
(/.f64 -64/29 (+.f64 x -16))
(*.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16))) (pow.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16))) 2))
(/.f64 -64/29 (+.f64 x -16))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16))) 2) (cbrt.f64 (/.f64 -64/29 (+.f64 x -16))))
(/.f64 -64/29 (+.f64 x -16))
(*.f64 (sqrt.f64 (/.f64 -64/29 (+.f64 x -16))) (sqrt.f64 (/.f64 -64/29 (+.f64 x -16))))
(/.f64 -64/29 (+.f64 x -16))
(*.f64 64/29 (/.f64 1 (+.f64 16 (neg.f64 x))))
(/.f64 64/29 (-.f64 16 x))
(*.f64 (/.f64 1 (+.f64 x -16)) -64/29)
(/.f64 -64/29 (+.f64 x -16))
(*.f64 (/.f64 1 (+.f64 x -16)) (log.f64 (exp.f64 -64/29)))
(/.f64 -64/29 (+.f64 x -16))
(.f64 (/.f64 -64/29 (+.f64 (pow.f64 x 3) -4096)) (-.f64 (fma.f64 x x 256) (.f64 x -16)))
(.f64 (/.f64 -64/29 (+.f64 (pow.f64 x 3) -4096)) (+.f64 (fma.f64 x x 256) (.f64 x 16)))
(/.f64 (fma.f64 x 16 (fma.f64 x x 256)) (/.f64 (+.f64 (pow.f64 x 3) -4096) -64/29))
(/.f64 (+.f64 256 (*.f64 x (-.f64 x -16))) (/.f64 (+.f64 (pow.f64 x 3) -4096) -64/29))
(*.f64 (/.f64 -64/29 (fma.f64 x x -256)) (+.f64 x 16))
(/.f64 (fma.f64 x -64/29 -1024/29) (fma.f64 x x -256))
(*.f64 (pow.f64 1 1/3) (/.f64 -64/29 (+.f64 x -16)))
(/.f64 -64/29 (+.f64 x -16))
(*.f64 (pow.f64 (cbrt.f64 -64/29) 3) (/.f64 1 (+.f64 x -16)))
(/.f64 -64/29 (+.f64 x -16))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))) 3))
(/.f64 -64/29 (+.f64 x -16))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 3)) 1/3))
(/.f64 -64/29 (+.f64 x -16))
(.f64 (pow.f64 (.f64 (*.f64 (pow.f64 (+.f64 x -16) -2) 4096/841) -64/29) 1/3) (/.f64 1 (cbrt.f64 (+.f64 x -16))))
(.f64 (cbrt.f64 (.f64 (pow.f64 (+.f64 x -16) -2) -262144/24389)) (/.f64 1 (cbrt.f64 (+.f64 x -16))))
(/.f64 (cbrt.f64 (*.f64 (pow.f64 (+.f64 x -16) -2) -262144/24389)) (cbrt.f64 (+.f64 x -16)))
(.f64 (pow.f64 (pow.f64 (.f64 (/.f64 -64/29 (+.f64 x -16)) (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 (/.f64 -64/29 (+.f64 x -16)) (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))) 2)) (cbrt.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))))
(*.f64 (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16))) 4) 2)) (cbrt.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16))) 8)) (cbrt.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))))
(*.f64 (pow.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (/.f64 -64/29 (+.f64 x -16)))))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 5/2)) (cbrt.f64 (sqrt.f64 (/.f64 -64/29 (+.f64 x -16)))))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 5/2)) (cbrt.f64 (pow.f64 (fma.f64 x -29/64 29/4) -1/2)))
(*.f64 (pow.f64 (sqrt.f64 -64/29) 2) (/.f64 1 (+.f64 x -16)))
(/.f64 -64/29 (+.f64 x -16))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 (+.f64 x -16) -29/64)) 2) -1) (cbrt.f64 (/.f64 -64/29 (+.f64 x -16))))
(.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16))) (/.f64 1 (pow.f64 (cbrt.f64 (.f64 (+.f64 x -16) -29/64)) 2)))
(.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16))) (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 (.f64 -29/64 x) 29/4)) 2)))
(/.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16))) (pow.f64 (cbrt.f64 (fma.f64 x -29/64 29/4)) 2))
(*.f64 (exp.f64 (log.f64 -64/29)) (/.f64 1 (+.f64 x -16)))
(/.f64 -64/29 (+.f64 x -16))
(*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 3))))
(/.f64 -64/29 (+.f64 x -16))
(.f64 (cbrt.f64 (.f64 (*.f64 (pow.f64 (+.f64 x -16) -2) 4096/841) -64/29)) (/.f64 1 (cbrt.f64 (+.f64 x -16))))
(.f64 (cbrt.f64 (.f64 (pow.f64 (+.f64 x -16) -2) -262144/24389)) (/.f64 1 (cbrt.f64 (+.f64 x -16))))
(/.f64 (cbrt.f64 (*.f64 (pow.f64 (+.f64 x -16) -2) -262144/24389)) (cbrt.f64 (+.f64 x -16)))
(.f64 (cbrt.f64 (pow.f64 (.f64 (/.f64 -64/29 (+.f64 x -16)) (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))) 2)) (cbrt.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))))
(*.f64 (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16))) 4) 2)) (cbrt.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16))) 8)) (cbrt.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 5/2)) (cbrt.f64 (sqrt.f64 (/.f64 -64/29 (+.f64 x -16)))))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 5/2)) (cbrt.f64 (pow.f64 (fma.f64 x -29/64 29/4) -1/2)))
(pow.f64 (/.f64 -64/29 (+.f64 x -16)) 1)
(/.f64 -64/29 (+.f64 x -16))
(pow.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16))) 3)
(/.f64 -64/29 (+.f64 x -16))
(pow.f64 (*.f64 (pow.f64 (+.f64 x -16) -2) 4096/841) 1/2)
(/.f64 -64/29 (+.f64 x -16))
(pow.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 3) 1/3)
(/.f64 -64/29 (+.f64 x -16))
(pow.f64 (sqrt.f64 (/.f64 -64/29 (+.f64 x -16))) 2)
(/.f64 -64/29 (+.f64 x -16))
(pow.f64 (*.f64 (+.f64 x -16) -29/64) -1)
(/.f64 -64/29 (+.f64 x -16))
(pow.f64 (E.f64) (log.f64 (/.f64 -64/29 (+.f64 x -16))))
(/.f64 -64/29 (+.f64 x -16))
(pow.f64 (/.f64 (*.f64 (+.f64 x -16) -29/64) 1) -1)
(/.f64 -64/29 (+.f64 x -16))
(pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (/.f64 -64/29 (+.f64 x -16))) 2))) (cbrt.f64 (log.f64 (/.f64 -64/29 (+.f64 x -16)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (/.f64 -64/29 (+.f64 x -16))))) (sqrt.f64 (log.f64 (/.f64 -64/29 (+.f64 x -16)))))
(/.f64 -64/29 (+.f64 x -16))
(sqrt.f64 (*.f64 (pow.f64 (+.f64 x -16) -2) 4096/841))
(/.f64 -64/29 (+.f64 x -16))
(log.f64 (exp.f64 (/.f64 -64/29 (+.f64 x -16))))
(/.f64 -64/29 (+.f64 x -16))
(cbrt.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 3))
(/.f64 -64/29 (+.f64 x -16))
(expm1.f64 (log1p.f64 (/.f64 -64/29 (+.f64 x -16))))
(/.f64 -64/29 (+.f64 x -16))
(exp.f64 (log.f64 (/.f64 -64/29 (+.f64 x -16))))
(/.f64 -64/29 (+.f64 x -16))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 -64/29 (+.f64 x -16)))) 3))
(/.f64 -64/29 (+.f64 x -16))
(exp.f64 (*.f64 (log.f64 (pow.f64 (/.f64 -64/29 (+.f64 x -16)) 3)) 1/3))
(/.f64 -64/29 (+.f64 x -16))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 -64/29 (+.f64 x -16)))) 2))
(/.f64 -64/29 (+.f64 x -16))
(exp.f64 (.f64 (log.f64 (.f64 (+.f64 x -16) -29/64)) -1))
(/.f64 -64/29 (+.f64 x -16))
(log1p.f64 (expm1.f64 (/.f64 -64/29 (+.f64 x -16))))
(/.f64 -64/29 (+.f64 x -16))

eval40.0ms (2.2%)

Compiler: Compiled 1144 to 970 computations (15.2% saved)

prune15.0ms (0.9%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	91	5	96

Accuracy

100.0%

Counts

96 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 x 16) 116)
✓	53.6%	(/.f64 -64/29 (+.f64 x -16))
✓	100.0%	(-.f64 4/29 (/.f64 x -116))
✓	48.1%	(*.f64 1/116 x)
	54.0%	4/29
✓	100.0%	(/.f64 (+.f64 x 16) 116)
✓	53.6%	(/.f64 -64/29 (+.f64 x -16))
✓	100.0%	(-.f64 4/29 (/.f64 x -116))
✓	48.1%	(*.f64 1/116 x)
	54.0%	4/29

Compiler

Compiled 48 to 40 computations (16.7% saved)

localize0.0ms (0%)

eval0.0ms (0%)

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

prune3.0ms (0.2%)

Pruning

5 alts after pruning (1 fresh and 4 done)

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

Accuracy

100.0%

Counts

5 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 x 16) 116)
✓	53.6%	(/.f64 -64/29 (+.f64 x -16))
✓	100.0%	(-.f64 4/29 (/.f64 x -116))
✓	48.1%	(*.f64 1/116 x)
	54.0%	4/29

Compiler

Compiled 54 to 43 computations (20.4% saved)

regimes18.0ms (1%)

Counts

6 → 1

Calls

Call 1

Inputs
4/29
(*.f64 1/116 x)
(-.f64 4/29 (/.f64 x -116))
(/.f64 -64/29 (+.f64 x -16))
(/.f64 (+.f64 x 16) 116)
(/.f64 (*.f64 1/116 (fma.f64 x x -256)) (+.f64 x -16))

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 42 to 32 computations (23.8% saved)

regimes5.0ms (0.3%)

Counts

4 → 1

Calls

Call 1

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

Outputs
(-.f64 4/29 (/.f64 x -116))

Calls

1 calls:

4.0ms

Results

Accuracy	Segments	Branch
100.0%	1	`x`

Compiler

Compiled 17 to 13 computations (23.5% saved)

regimes32.0ms (1.8%)

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:

31.0ms

Results

Accuracy	Segments	Branch
98.4%	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
54.0%	1	`x`

Compiler

Compiled 4 to 3 computations (25% saved)

bsearch35.0ms (2%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
17.0ms	0.0004076803083848433	13254120.715811959
18.0ms	-13540.664748660432	-6.424195543726647e-15

Results

31.0ms

320×

body

256

valid

Compiler

Compiled 170 to 148 computations (12.9% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	75
1	33	75
2	40	75
3	44	75
4	47	75
5	48	75

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(/.f64 (+.f64 x 16) 116)
(-.f64 4/29 (/.f64 x -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)
(-.f64 4/29 (/.f64 x -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 28 to 23 computations (17.9% saved)

soundness45.0ms (2.5%)

Rules

206×	`fma-def`
76×	`distribute-rgt-in`
46×	`distribute-lft-neg-in`
44×	`div-sub`
42×	`fma-neg`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	14	76
1	24	68
2	41	64
3	78	64
4	163	64
5	298	60
6	446	48
7	513	48
8	538	48
9	568	48
10	584	48
11	587	48

Stop Event

1×

saturated

Compiler

Compiled 64 to 51 computations (20.3% saved)

end0.0ms (0%)

preprocess37.0ms (2.1%)

Compiler: Compiled 62 to 50 computations (19.4% saved)

Iter	Nodes	Cost
0	14	76
1	24	68
2	41	64
3	78	64
4	163	64
5	298	60
6	446	48
7	513	48
8	538	48
9	568	48
10	584	48
11	587	48

Iter	Nodes	Cost
0	14	76
1	24	68
2	41	64
3	78	64
4	163	64
5	298	60
6	446	48
7	513	48
8	538	48
9	568	48
10	584	48
11	587	48

Iter	Nodes	Cost
0	14	76
1	24	68
2	41	64
3	78	64
4	163	64
5	298	60
6	446	48
7	513	48
8	538	48
9	568	48
10	584	48
11	587	48

Iter	Nodes	Cost
0	14	76
1	24	68
2	41	64
3	78	64
4	163	64
5	298	60
6	446	48
7	513	48
8	538	48
9	568	48
10	584	48
11	587	48

analyze0.0ms (0%)

sample667.0ms (37.6%)

preprocess63.0ms (3.5%)

eval1.0ms (0%)

prune3.0ms (0.1%)

localize38.0ms (2.1%)

series1.0ms (0.1%)

rewrite118.0ms (6.7%)

simplify80.0ms (4.5%)

eval55.0ms (3.1%)

prune22.0ms (1.2%)

localize122.0ms (6.9%)

series4.0ms (0.3%)

rewrite74.0ms (4.2%)

simplify54.0ms (3.1%)

eval84.0ms (4.8%)

prune18.0ms (1%)

localize25.0ms (1.4%)

series1.0ms (0%)

rewrite50.0ms (2.8%)

simplify55.0ms (3.1%)

eval40.0ms (2.2%)

prune15.0ms (0.9%)

localize0.0ms (0%)

eval0.0ms (0%)

prune3.0ms (0.2%)

regimes18.0ms (1%)

regimes5.0ms (0.3%)

regimes32.0ms (1.8%)

regimes3.0ms (0.2%)

bsearch35.0ms (2%)

simplify4.0ms (0.2%)

soundness45.0ms (2.5%)

end0.0ms (0%)

preprocess37.0ms (2.1%)

Profiling

Iter	Nodes	Cost
0	14	76
1	24	68
2	41	64
3	78	64
4	163	64
5	298	60
6	446	48
7	513	48
8	538	48
9	568	48
10	584	48
11	587	48

Iter	Nodes	Cost
0	14	76
1	24	68
2	41	64
3	78	64
4	163	64
5	298	60
6	446	48
7	513	48
8	538	48
9	568	48
10	584	48
11	587	48