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)

sample1.0s (43.4%)

Results

1.0s

8256×

body

256

valid

Bogosity

preprocess72.0ms (3%)

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

Compiler

Compiled 12 to 10 computations (16.7% saved)

localize79.0ms (3.3%)

Localize:

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 10 computations (23.1% saved)

series2.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

rewrite168.0ms (7%)

Algorithm

1×	batch-egg-rewrite

Rules

528×	`unpow-prod-down`
423×	`log1p-expm1-u`
423×	`expm1-log1p-u`
400×	`add-exp-log`
391×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 53

Calls

Call 1

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

Outputs
(+.f64 0 (*.f64 (+.f64 x 16) 1/116))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 x 16)) 1/58))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 x 16)) 1/116))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 x 16)) 1/116))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 x 16)) 1/116))))
(-.f64 (+.f64 1 (*.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 x 16) (exp.f64 (log.f64 1/116)))
(.f64 (.f64 (+.f64 x 16) 1/116) 1)
(.f64 (.f64 (+.f64 x 16) 1/116) (log.f64 (E.f64)))
(.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 (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 (sqrt.f64 (+.f64 x 16)) (.f64 (sqrt.f64 (+.f64 x 16)) 1/116))
(.f64 (sqrt.f64 (.f64 (+.f64 x 16) 1/116)) (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)))
(*.f64 (neg.f64 (+.f64 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 (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 (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) (cbrt.f64 1/116))
(.f64 (pow.f64 (pow.f64 (.f64 (.f64 (+.f64 x 16) 1/116) (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (pow.f64 (pow.f64 (.f64 (+.f64 x 16) 1/116) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 116 (+.f64 x 16))) 2) -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)))
(.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (.f64 (+.f64 x 16) 1/116) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (*.f64 (+.f64 x 16) 1/116) 3))))
(.f64 (cbrt.f64 (.f64 (*.f64 (pow.f64 (+.f64 x 16) 2) 1/13456) (+.f64 x 16))) (cbrt.f64 1/116))
(.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 (+.f64 x 16) 1/116) (cbrt.f64 (.f64 (+.f64 x 16) 1/116))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(.f64 (cbrt.f64 (pow.f64 (.f64 (+.f64 x 16) 1/116) 5/2)) (cbrt.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116))))
(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 (E.f64) (log.f64 (*.f64 (+.f64 x 16) 1/116)))
(pow.f64 (/.f64 (/.f64 116 (+.f64 x 16)) 1) -1)
(pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (.f64 (+.f64 x 16) 1/116)) 2))) (cbrt.f64 (log.f64 (.f64 (+.f64 x 16) 1/116))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 (+.f64 x 16) 1/116)))) (sqrt.f64 (log.f64 (.f64 (+.f64 x 16) 1/116))))
(neg.f64 (/.f64 (+.f64 x 16) -116))
(sqrt.f64 (*.f64 (pow.f64 (+.f64 x 16) 2) 1/13456))
(log.f64 (pow.f64 (exp.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 (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)))

simplify82.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

850×	`log-prod`
788×	`times-frac`
772×	`fma-def`
754×	`distribute-lft-in`
728×	`distribute-rgt-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	169	1507
1	383	1175
2	1086	1153
3	4933	1153

Stop Event

1×	node limit

Counts

65 → 76

Calls

Call 1

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

eval43.0ms (1.8%)

Compiler: Compiled 918 to 787 computations (14.3% saved)

prune93.0ms (3.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	73	3	76
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	73	4	77

Accuracy

100.0%

Counts

77 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 x 16) 116)
▶	83.1%	(/.f64 (*.f64 1/116 (fma.f64 x x -256)) (+.f64 x -16))
▶	48.3%	(*.f64 1/116 x)
	52.8%	4/29
✓	100.0%	(/.f64 (+.f64 x 16) 116)
▶	83.1%	(/.f64 (*.f64 1/116 (fma.f64 x x -256)) (+.f64 x -16))
▶	48.3%	(*.f64 1/116 x)
	52.8%	4/29

Compiler

Compiled 46 to 36 computations (21.7% saved)

localize51.0ms (2.1%)

Localize:

Found 3 expressions with local error:

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

Compiler

Compiled 34 to 23 computations (32.4% saved)

series4.0ms (0.2%)

Counts

3 → 24

Calls

9 calls:

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

rewrite76.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

1×	node limit

Counts

3 → 102

Calls

Call 1

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

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

simplify59.0ms (2.5%)

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)

eval47.0ms (1.9%)

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

prune59.0ms (2.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	139	1	140
Fresh	0	1	1
Picked	1	1	2
Done	0	1	1
Total	140	4	144

Accuracy

100.0%

Counts

144 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 x 16) 116)
▶	52.5%	(/.f64 -64/29 (+.f64 x -16))
✓	48.3%	(*.f64 1/116 x)
	52.8%	4/29
✓	100.0%	(/.f64 (+.f64 x 16) 116)
▶	52.5%	(/.f64 -64/29 (+.f64 x -16))
✓	48.3%	(*.f64 1/116 x)
	52.8%	4/29

Compiler

Compiled 36 to 30 computations (16.7% saved)

localize22.0ms (0.9%)

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

rewrite58.0ms (2.4%)

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

simplify75.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 3 (0.0ms)

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

Stop Event

1×	node limit

Counts

62 → 91

Calls

Call 1

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

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

eval30.0ms (1.2%)

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

prune13.0ms (0.6%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	91	4	95

Accuracy

100.0%

Counts

95 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 x 16) 116)
✓	52.5%	(/.f64 -64/29 (+.f64 x -16))
✓	48.3%	(*.f64 1/116 x)
	52.8%	4/29
✓	100.0%	(/.f64 (+.f64 x 16) 116)
✓	52.5%	(/.f64 -64/29 (+.f64 x -16))
✓	48.3%	(*.f64 1/116 x)
	52.8%	4/29

Compiler

Compiled 36 to 30 computations (16.7% saved)

localize0.0ms (0%)

eval0.0ms (0%)

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

prune3.0ms (0.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Accuracy

100.0%

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 x 16) 116)
✓	52.5%	(/.f64 -64/29 (+.f64 x -16))
✓	48.3%	(*.f64 1/116 x)
	52.8%	4/29

Compiler

Compiled 43 to 34 computations (20.9% saved)

regimes14.0ms (0.6%)

Counts

5 → 1

Calls

Call 1

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

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

Results

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

Compiler

Compiled 37 to 28 computations (24.3% saved)

regimes11.0ms (0.5%)

Counts

3 → 3

Calls

Call 1

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

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

Calls

1 calls:

10.0ms

Results

Accuracy	Segments	Branch
98.1%	3	`x`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes9.0ms (0.4%)

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:

8.0ms

Results

Accuracy	Segments	Branch
97.5%	3	`x`

Compiler

Compiled 7 to 5 computations (28.6% saved)

regimes4.0ms (0.2%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
4/29

Outputs
4/29

Calls

1 calls:

3.0ms

Results

Accuracy	Segments	Branch
52.8%	1	`x`

Compiler

Compiled 4 to 3 computations (25% saved)

bsearch27.0ms (1.1%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
14.0ms	0.010828208075382038	136944.91979260088
13.0ms	-1823.9683026091689	-1.4408968230831563e-5

Results

23.0ms

288×

body

256

valid

Compiler

Compiled 226 to 188 computations (16.8% saved)

bsearch29.0ms (1.2%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
15.0ms	0.010828208075382038	136944.91979260088
14.0ms	-1823.9683026091689	-1.4408968230831563e-5

Results

25.0ms

288×

body

256

valid

Compiler

Compiled 154 to 134 computations (13% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	116
1	38	116

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

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

Outputs
(/.f64 (+.f64 x 16) 116)
(if (<=.f64 x -16) (.f64 1/116 x) (if (<=.f64 x 3433994715870003/281474976710656) (/.f64 -64/29 (+.f64 x -16)) (.f64 1/116 x)))
(if (or (<=.f64 x -16) (not (<=.f64 x 3433994715870003/281474976710656))) (*.f64 x 1/116) (/.f64 -64/29 (+.f64 x -16)))
(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 40 to 32 computations (20% saved)

soundness188.0ms (7.8%)

Rules

850×	`log-prod`
788×	`times-frac`
772×	`fma-def`
754×	`distribute-lft-in`
728×	`distribute-rgt-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	89	16
2	1133	16
0	169	1507
1	383	1175
2	1086	1153
3	4933	1153

Stop Event

1×	node limit
1×	node limit

Compiler

Compiled 231 to 181 computations (21.6% saved)

end0.0ms (0%)

preprocess40.0ms (1.7%)

Compiler: Compiled 86 to 68 computations (20.9% saved)

analyze0.0ms (0%)

sample1.0s (43.4%)

preprocess72.0ms (3%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize79.0ms (3.3%)

series2.0ms (0.1%)

rewrite168.0ms (7%)

simplify82.0ms (3.4%)

eval43.0ms (1.8%)

prune93.0ms (3.8%)

localize51.0ms (2.1%)

series4.0ms (0.2%)

rewrite76.0ms (3.2%)

simplify59.0ms (2.5%)

eval47.0ms (1.9%)

prune59.0ms (2.5%)

localize22.0ms (0.9%)

series1.0ms (0%)

rewrite58.0ms (2.4%)

simplify75.0ms (3.1%)

eval30.0ms (1.2%)

prune13.0ms (0.6%)

localize0.0ms (0%)

eval0.0ms (0%)

prune3.0ms (0.1%)

regimes14.0ms (0.6%)

regimes11.0ms (0.5%)

regimes9.0ms (0.4%)

regimes4.0ms (0.2%)

bsearch27.0ms (1.1%)

bsearch29.0ms (1.2%)

simplify4.0ms (0.2%)

soundness188.0ms (7.8%)

end0.0ms (0%)

preprocess40.0ms (1.7%)

Profiling