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)

sample709.0ms (41.1%)

Results

697.0ms

8256×

body

256

valid

Bogosity

preprocess44.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

36×	`fma-def`
30×	`sub-neg`
22×	`div-sub`
20×	`+-commutative`
12×	`*-commutative`

Problems

256×

No Errors

Iterations

Useful iterations: 7 (0.0ms)

Iter	Nodes	Cost
0	13	52
1	19	48
2	27	48
3	43	48
4	58	48
5	85	48
6	128	48
7	158	44
8	174	44
9	177	44

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)

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

Compiler

Compiled 19 to 15 computations (21.1% saved)

eval1.0ms (0%)

Compiler: Compiled 16 to 13 computations (18.8% saved)

prune2.0ms (0.1%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 24 to 20 computations (16.7% saved)

localize32.0ms (1.9%)

Localize:

Found 2 expressions with local error:

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

Compiler

Compiled 24 to 18 computations (25% saved)

series2.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite126.0ms (7.3%)

Algorithm

1×	batch-egg-rewrite

Rules

980×	`unpow-prod-down`
754×	`log1p-expm1-u`
754×	`expm1-log1p-u`
654×	`log-prod`
436×	`pow-prod-down`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	32
1	149	28
2	2005	28

Stop Event

1×	node limit

Counts

2 → 121

Calls

Call 1

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

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

simplify77.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

1154×	`log-prod`
866×	`fma-def`
810×	`distribute-lft-in`
806×	`exp-prod`
774×	`distribute-rgt-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	333	2950
1	786	2771
2	1926	2689
3	6793	2613

Stop Event

1×	node limit

Counts

145 → 149

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

eval51.0ms (3%)

Compiler: Compiled 1805 to 1547 computations (14.3% saved)

prune20.0ms (1.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	146	3	149
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	146	5	151

Accuracy

100.0%

Counts

151 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 x 16) 116)
▶	76.3%	(/.f64 (*.f64 1/116 (fma.f64 x x -256)) (+.f64 x -16))
✓	100.0%	(-.f64 (/.f64 x 116) -4/29)
▶	56.9%	(*.f64 1/116 x)
	44.3%	4/29
✓	100.0%	(/.f64 (+.f64 x 16) 116)
▶	76.3%	(/.f64 (*.f64 1/116 (fma.f64 x x -256)) (+.f64 x -16))
✓	100.0%	(-.f64 (/.f64 x 116) -4/29)
▶	56.9%	(*.f64 1/116 x)
	44.3%	4/29

Compiler

Compiled 58 to 46 computations (20.7% saved)

localize44.0ms (2.6%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
✓	99.8%	(*.f64 1/116 (fma.f64 x x -256))
✓	76.3%	(/.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)

series3.0ms (0.2%)

Counts

3 → 24

Calls

9 calls:

Time	Variable		Point	Expression
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	@	0	(/.f64 (*.f64 1/116 (fma.f64 x x -256)) (+.f64 x -16))
0.0ms	x	@	inf	(/.f64 (*.f64 1/116 (fma.f64 x x -256)) (+.f64 x -16))
0.0ms	x	@	-inf	(*.f64 1/116 x)

rewrite71.0ms (4.1%)

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)

simplify59.0ms (3.4%)

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)

eval107.0ms (6.2%)

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

prune22.0ms (1.3%)

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)
▶	44.1%	(/.f64 -64/29 (+.f64 x -16))
✓	100.0%	(-.f64 (/.f64 x 116) -4/29)
✓	56.9%	(*.f64 1/116 x)
	44.3%	4/29
✓	100.0%	(/.f64 (+.f64 x 16) 116)
▶	44.1%	(/.f64 -64/29 (+.f64 x -16))
✓	100.0%	(-.f64 (/.f64 x 116) -4/29)
✓	56.9%	(*.f64 1/116 x)
	44.3%	4/29

Compiler

Compiled 48 to 40 computations (16.7% saved)

localize22.0ms (1.3%)

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))

rewrite53.0ms (3.1%)

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))))

simplify77.0ms (4.5%)

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))

eval29.0ms (1.7%)

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

prune20.0ms (1.2%)

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)
✓	44.1%	(/.f64 -64/29 (+.f64 x -16))
✓	100.0%	(-.f64 (/.f64 x 116) -4/29)
✓	56.9%	(*.f64 1/116 x)
	44.3%	4/29
✓	100.0%	(/.f64 (+.f64 x 16) 116)
✓	44.1%	(/.f64 -64/29 (+.f64 x -16))
✓	100.0%	(-.f64 (/.f64 x 116) -4/29)
✓	56.9%	(*.f64 1/116 x)
	44.3%	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)

prune4.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)
✓	44.1%	(/.f64 -64/29 (+.f64 x -16))
✓	100.0%	(-.f64 (/.f64 x 116) -4/29)
✓	56.9%	(*.f64 1/116 x)
	44.3%	4/29

Compiler

Compiled 54 to 43 computations (20.4% saved)

regimes15.0ms (0.9%)

Counts

6 → 1

Calls

Call 1

Inputs
4/29
(*.f64 1/116 x)
(-.f64 (/.f64 x 116) -4/29)
(/.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:

6.0ms	x
4.0ms	(/.f64 (+.f64 x 16) 116)
4.0ms	(+.f64 x 16)

Results

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

Compiler

Compiled 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 (/.f64 x 116) -4/29)
(/.f64 -64/29 (+.f64 x -16))

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

Calls

1 calls:

4.0ms

Results

Accuracy	Segments	Branch
100.0%	1	`x`

Compiler

Compiled 17 to 13 computations (23.5% saved)

regimes10.0ms (0.6%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

1 calls:

9.0ms

Results

Accuracy	Segments	Branch
97.8%	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
44.3%	1	`x`

Compiler

Compiled 4 to 3 computations (25% saved)

bsearch31.0ms (1.8%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
15.0ms	1.516016061694525e-5	13293.323744429723
15.0ms	-114.25092443309879	-8.405538238629237e-6

Results

27.0ms

288×

body

256

valid

Compiler

Compiled 154 to 134 computations (13% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative`
4×	`sub-neg`
4×	`*-commutative`
2×	`neg-mul-1`
2×	`if-if-or-not`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	75
1	33	75
2	38	75
3	40	75
4	41	75

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(/.f64 (+.f64 x 16) 116)
(-.f64 (/.f64 x 116) -4/29)
(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 (/.f64 x 116) -4/29)
(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)

soundness12.0ms (0.7%)

Rules

36×	`fma-def`
30×	`sub-neg`
22×	`div-sub`
20×	`+-commutative`
12×	`*-commutative`

Iterations

Useful iterations: 7 (0.0ms)

Iter	Nodes	Cost
0	13	52
1	19	48
2	27	48
3	43	48
4	58	48
5	85	48
6	128	48
7	158	44
8	174	44
9	177	44

Stop Event

1×

saturated

Compiler

Compiled 45 to 38 computations (15.6% saved)

end0.0ms (0%)

preprocess68.0ms (3.9%)

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

analyze0.0ms (0%)

sample709.0ms (41.1%)

preprocess44.0ms (2.5%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize32.0ms (1.9%)

series2.0ms (0.1%)

rewrite126.0ms (7.3%)

simplify77.0ms (4.5%)

eval51.0ms (3%)

prune20.0ms (1.2%)

localize44.0ms (2.6%)

series3.0ms (0.2%)

rewrite71.0ms (4.1%)

simplify59.0ms (3.4%)

eval107.0ms (6.2%)

prune22.0ms (1.3%)

localize22.0ms (1.3%)

series1.0ms (0%)

rewrite53.0ms (3.1%)

simplify77.0ms (4.5%)

eval29.0ms (1.7%)

prune20.0ms (1.2%)

localize0.0ms (0%)

eval0.0ms (0%)

prune4.0ms (0.2%)

regimes15.0ms (0.9%)

regimes5.0ms (0.3%)

regimes10.0ms (0.6%)

regimes3.0ms (0.2%)

bsearch31.0ms (1.8%)

simplify4.0ms (0.2%)

soundness12.0ms (0.7%)

end0.0ms (0%)

preprocess68.0ms (3.9%)

Profiling