Data.Colour.RGBSpace.HSL:hsl from colour-2.3.3, A

Time bar (total: 2.4s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 10 to 6 computations (40% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Operation ival-sub, time spent: 0.0ms, 0.0% of total-time
Operation ival-mult, time spent: 0.0ms, 0.0% of total-time
Operation ival-add, time spent: 0.0ms, 0.0% of total-time
Operation const, time spent: 0.0ms, 0.0% of total-time

sample1.2s (49.1%)

Results
994.0ms7240×0valid
118.0ms1015×0infinite
0.0ms1×0valid
0.0ms1×5exit
Precisions
Click to see histograms. Total time spent on operations: 500.0ms
Operation ival-sub, time spent: 242.0ms, 48.0% of total-time
Operation ival-add, time spent: 163.0ms, 33.0% of total-time
Operation ival-mult, time spent: 82.0ms, 16.0% of total-time
Operation const, time spent: 13.0ms, 3.0% of total-time
Bogosity

preprocess187.0ms (7.9%)

Algorithm
1×egg-herbie
Rules
2210×fma-def
236×cancel-sign-sub-inv
140×fma-neg
132×distribute-rgt-in
130×distribute-lft-neg-in
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-x
00-0-(*.f64 x y)
00-0-(+.f64 x y)
00-0-(-.f64 (+.f64 x y) (*.f64 x y))
00-0-y
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
024241
168217
2180191
3550174
41338168
52183168
62428168
72435168
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (+.f64 x y) (*.f64 x y))
(-.f64 (+.f64 x y) (*.f64 x y))
(-.f64 (+.f64 (neg.f64 x) y) (*.f64 (neg.f64 x) y))
(-.f64 (+.f64 x (neg.f64 y)) (*.f64 x (neg.f64 y)))
(neg.f64 (-.f64 (+.f64 (neg.f64 x) y) (*.f64 (neg.f64 x) y)))
(neg.f64 (-.f64 (+.f64 x (neg.f64 y)) (*.f64 x (neg.f64 y))))
(-.f64 (+.f64 y x) (*.f64 y x))
Outputs
(-.f64 (+.f64 x y) (*.f64 x y))
(+.f64 x (-.f64 y (*.f64 x y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 x (-.f64 1 y) y)
(-.f64 (+.f64 x y) (*.f64 x y))
(+.f64 x (-.f64 y (*.f64 x y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 x (-.f64 1 y) y)
(-.f64 (+.f64 (neg.f64 x) y) (*.f64 (neg.f64 x) y))
(+.f64 (+.f64 y (neg.f64 x)) (*.f64 x y))
(+.f64 (*.f64 x y) (-.f64 y x))
(fma.f64 x y (-.f64 y x))
(fma.f64 x (+.f64 y -1) y)
(-.f64 (+.f64 x (neg.f64 y)) (*.f64 x (neg.f64 y)))
(-.f64 (-.f64 x y) (*.f64 x (neg.f64 y)))
(+.f64 (*.f64 x y) (-.f64 x y))
(fma.f64 y (+.f64 -1 x) x)
(fma.f64 y (+.f64 x -1) x)
(neg.f64 (-.f64 (+.f64 (neg.f64 x) y) (*.f64 (neg.f64 x) y)))
(neg.f64 (+.f64 (+.f64 y (neg.f64 x)) (*.f64 x y)))
(-.f64 x (+.f64 y (*.f64 x y)))
(-.f64 x (*.f64 (+.f64 x 1) y))
(-.f64 x (fma.f64 x y y))
(fma.f64 y (-.f64 -1 x) x)
(neg.f64 (-.f64 (+.f64 x (neg.f64 y)) (*.f64 x (neg.f64 y))))
(neg.f64 (-.f64 (-.f64 x y) (*.f64 x (neg.f64 y))))
(-.f64 (-.f64 y x) (*.f64 x y))
(-.f64 y (*.f64 x (+.f64 1 y)))
(-.f64 y (fma.f64 x y x))
(fma.f64 x (-.f64 -1 y) y)
(-.f64 (+.f64 y x) (*.f64 y x))
(+.f64 x (-.f64 y (*.f64 x y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 x (-.f64 1 y) y)
Symmetry

(sort x y)

Compiler

Compiled 45 to 17 computations (62.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 44.0ms
Operation ival-sub, time spent: 29.0ms, 65.0% of total-time
Operation ival-add, time spent: 9.0ms, 20.0% of total-time
Operation ival-mult, time spent: 5.0ms, 11.0% of total-time
Operation const, time spent: 1.0ms, 2.0% of total-time

eval1.0ms (0%)

Compiler

Compiled 22 to 12 computations (45.5% saved)

prune1.0ms (0.1%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(-.f64 (+.f64 x y) (*.f64 x y))
▶100.0%
(+.f64 y (*.f64 x (-.f64 1 y)))
Compiler

Compiled 18 to 11 computations (38.9% saved)

localize120.0ms (5.1%)

Localize:

Found 2 expressions with local error:

NewAccuracyProgram
✓100.0%
(-.f64 (+.f64 x y) (*.f64 x y))
✓100.0%
(*.f64 x (-.f64 1 y))
Compiler

Compiled 36 to 16 computations (55.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 89.0ms
Operation ival-sub, time spent: 73.0ms, 82.0% of total-time
Operation ival-add, time spent: 8.0ms, 9.0% of total-time
Operation ival-mult, time spent: 7.0ms, 8.0% of total-time
Operation const, time spent: 1.0ms, 1.0% of total-time

series5.0ms (0.2%)

Counts
2 → 36
Calls

12 calls:

TimeVariablePointExpression
1.0ms
x
@0
(*.f64 x (-.f64 1 y))
0.0ms
y
@-inf
(*.f64 x (-.f64 1 y))
0.0ms
x
@-inf
(*.f64 x (-.f64 1 y))
0.0ms
y
@inf
(*.f64 x (-.f64 1 y))
0.0ms
x
@inf
(-.f64 (+.f64 x y) (*.f64 x y))

rewrite256.0ms (10.8%)

Algorithm
1×batch-egg-rewrite
Rules
1196×fma-def
1039×log1p-expm1-u
1039×expm1-log1p-u
376×fma-neg
330×expm1-udef
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01350
118747
2277943
Stop Event
1×node limit
Counts
2 → 161
Calls
Call 1
Inputs
(*.f64 x (-.f64 1 y))
(-.f64 (+.f64 x y) (*.f64 x y))
Outputs
(+.f64 x (*.f64 x (neg.f64 y)))
(-.f64 x (*.f64 x y))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (-.f64 1 y)))) 1)
(/.f64 (*.f64 x (-.f64 1 (pow.f64 y 3))) (fma.f64 y (+.f64 1 y) 1))
(/.f64 (*.f64 x (-.f64 1 (pow.f64 y 2))) (+.f64 1 y))
(/.f64 (*.f64 (-.f64 1 (pow.f64 y 3)) x) (fma.f64 y (+.f64 1 y) 1))
(/.f64 (*.f64 (-.f64 1 (pow.f64 y 2)) x) (+.f64 1 y))
(pow.f64 (*.f64 x (-.f64 1 y)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (-.f64 1 y))) 3)
(pow.f64 (pow.f64 (*.f64 x (-.f64 1 y)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x (-.f64 1 y))) 2)
(sqrt.f64 (pow.f64 (*.f64 x (-.f64 1 y)) 2))
(log.f64 (pow.f64 (exp.f64 x) (-.f64 1 y)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (-.f64 1 y)))))
(log.f64 (*.f64 (exp.f64 x) (/.f64 1 (pow.f64 (exp.f64 x) y))))
(log.f64 (*.f64 (exp.f64 x) (exp.f64 (*.f64 x (neg.f64 y)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 x)) (/.f64 1 (pow.f64 (exp.f64 x) y))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 x)) (exp.f64 (*.f64 x (neg.f64 y)))))
(cbrt.f64 (pow.f64 (*.f64 x (-.f64 1 y)) 3))
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (-.f64 1 y) 3)))
(cbrt.f64 (*.f64 (pow.f64 (-.f64 1 y) 3) (pow.f64 x 3)))
(expm1.f64 (log1p.f64 (*.f64 x (-.f64 1 y))))
(exp.f64 (log.f64 (*.f64 x (-.f64 1 y))))
(exp.f64 (*.f64 (log.f64 (*.f64 x (-.f64 1 y))) 1))
(log1p.f64 (expm1.f64 (*.f64 x (-.f64 1 y))))
(fma.f64 x 1 (*.f64 x (neg.f64 y)))
(fma.f64 1 x (*.f64 x (neg.f64 y)))
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) (*.f64 x (neg.f64 y)))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (*.f64 x (neg.f64 y)))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (*.f64 x (neg.f64 y)))
(+.f64 x (*.f64 y (-.f64 1 x)))
(+.f64 x (*.f64 (*.f64 y (-.f64 1 x)) 1))
(+.f64 y (*.f64 x (-.f64 1 y)))
(+.f64 (+.f64 x y) (*.f64 x (neg.f64 y)))
(+.f64 (+.f64 x y) (*.f64 (*.f64 x (neg.f64 y)) 1))
(+.f64 (fma.f64 y (-.f64 1 x) x) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(+.f64 (fma.f64 y (-.f64 1 x) x) (fma.f64 (neg.f64 y) x (*.f64 x y)))
(+.f64 (fma.f64 y (-.f64 1 x) x) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(+.f64 (*.f64 x (neg.f64 y)) (+.f64 x y))
(+.f64 (*.f64 y (-.f64 1 x)) x)
(*.f64 1 (fma.f64 y (-.f64 1 x) x))
(*.f64 (fma.f64 y (-.f64 1 x) x) 1)
(*.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 2) (cbrt.f64 (fma.f64 y (-.f64 1 x) x)))
(*.f64 (sqrt.f64 (fma.f64 y (-.f64 1 x) x)) (sqrt.f64 (fma.f64 y (-.f64 1 x) x)))
(*.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2))))
(*.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (/.f64 1 (fma.f64 x y (+.f64 x y))))
(*.f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 x y))) (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 x y))))
(/.f64 1 (/.f64 (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2)) (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3))))
(/.f64 1 (/.f64 (fma.f64 x y (+.f64 x y)) (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2))))
(/.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2)))
(/.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (fma.f64 x y (+.f64 x y)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3))) (neg.f64 (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2))) (neg.f64 (fma.f64 x y (+.f64 x y))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (*.f64 y (-.f64 1 x)) 3)) (fma.f64 x x (-.f64 (*.f64 (*.f64 y (-.f64 1 x)) (*.f64 y (-.f64 1 x))) (*.f64 x (*.f64 y (-.f64 1 x))))))
(/.f64 (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x (neg.f64 y)) 3)) (+.f64 (pow.f64 (+.f64 x y) 2) (-.f64 (*.f64 (*.f64 x (neg.f64 y)) (*.f64 x (neg.f64 y))) (*.f64 (+.f64 x y) (*.f64 x (neg.f64 y))))))
(/.f64 (-.f64 (pow.f64 x 2) (*.f64 (*.f64 y (-.f64 1 x)) (*.f64 y (-.f64 1 x)))) (-.f64 x (*.f64 y (-.f64 1 x))))
(/.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (*.f64 (*.f64 x (neg.f64 y)) (*.f64 x (neg.f64 y)))) (-.f64 (+.f64 x y) (*.f64 x (neg.f64 y))))
(pow.f64 (fma.f64 y (-.f64 1 x) x) 1)
(pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 3)
(pow.f64 (pow.f64 (fma.f64 y (-.f64 1 x) x) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 y (-.f64 1 x) x)) 2)
(sqrt.f64 (pow.f64 (fma.f64 y (-.f64 1 x) x) 2))
(log.f64 (exp.f64 (fma.f64 y (-.f64 1 x) x)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 y (-.f64 1 x) x))))
(log.f64 (*.f64 (exp.f64 x) (/.f64 (exp.f64 y) (pow.f64 (exp.f64 x) y))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 x)) (/.f64 (exp.f64 y) (pow.f64 (exp.f64 x) y))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 x)) (exp.f64 (*.f64 y (-.f64 1 x)))))
(log.f64 (*.f64 (exp.f64 y) (pow.f64 (exp.f64 x) (-.f64 1 y))))
(log.f64 (*.f64 (exp.f64 y) (+.f64 1 (expm1.f64 (*.f64 x (-.f64 1 y))))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 y)) (pow.f64 (exp.f64 x) (-.f64 1 y))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 y)) (+.f64 1 (expm1.f64 (*.f64 x (-.f64 1 y))))))
(log.f64 (*.f64 (exp.f64 (+.f64 x y)) (/.f64 1 (pow.f64 (exp.f64 x) y))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (+.f64 x y))) (/.f64 1 (pow.f64 (exp.f64 x) y))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (+.f64 x y))) (exp.f64 (*.f64 x (neg.f64 y)))))
(log.f64 (*.f64 (/.f64 1 (pow.f64 (exp.f64 x) y)) (exp.f64 (+.f64 x y))))
(log.f64 (*.f64 (/.f64 1 (pow.f64 (exp.f64 x) y)) (+.f64 1 (expm1.f64 (+.f64 x y)))))
(log.f64 (*.f64 (exp.f64 (*.f64 x (neg.f64 y))) (exp.f64 (+.f64 x y))))
(log.f64 (*.f64 (exp.f64 (*.f64 x (neg.f64 y))) (+.f64 1 (expm1.f64 (+.f64 x y)))))
(log.f64 (*.f64 (/.f64 (exp.f64 y) (pow.f64 (exp.f64 x) y)) (exp.f64 x)))
(log.f64 (*.f64 (/.f64 (exp.f64 y) (pow.f64 (exp.f64 x) y)) (+.f64 1 (expm1.f64 x))))
(log.f64 (*.f64 (exp.f64 (*.f64 y (-.f64 1 x))) (exp.f64 x)))
(log.f64 (*.f64 (exp.f64 (*.f64 y (-.f64 1 x))) (+.f64 1 (expm1.f64 x))))
(cbrt.f64 (pow.f64 (fma.f64 y (-.f64 1 x) x) 3))
(expm1.f64 (log1p.f64 (fma.f64 y (-.f64 1 x) x)))
(exp.f64 (log.f64 (fma.f64 y (-.f64 1 x) x)))
(exp.f64 (*.f64 (log.f64 (fma.f64 y (-.f64 1 x) x)) 1))
(log1p.f64 (expm1.f64 (fma.f64 y (-.f64 1 x) x)))
(fma.f64 x 1 (*.f64 y (-.f64 1 x)))
(fma.f64 x 1 (*.f64 (*.f64 y (-.f64 1 x)) 1))
(fma.f64 x (neg.f64 y) (+.f64 x y))
(fma.f64 1 x (*.f64 y (-.f64 1 x)))
(fma.f64 1 x (*.f64 (*.f64 y (-.f64 1 x)) 1))
(fma.f64 1 y (*.f64 x (-.f64 1 y)))
(fma.f64 1 (+.f64 x y) (*.f64 x (neg.f64 y)))
(fma.f64 1 (+.f64 x y) (*.f64 (*.f64 x (neg.f64 y)) 1))
(fma.f64 1 (fma.f64 y (-.f64 1 x) x) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(fma.f64 1 (fma.f64 y (-.f64 1 x) x) (fma.f64 (neg.f64 y) x (*.f64 x y)))
(fma.f64 1 (fma.f64 y (-.f64 1 x) x) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(fma.f64 1 (*.f64 x (neg.f64 y)) (+.f64 x y))
(fma.f64 1 (*.f64 y (-.f64 1 x)) x)
(fma.f64 y 1 (*.f64 x (-.f64 1 y)))
(fma.f64 y (neg.f64 x) (+.f64 x y))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (+.f64 x y) 1 (*.f64 x (neg.f64 y)))
(fma.f64 (+.f64 x y) 1 (*.f64 (*.f64 x (neg.f64 y)) 1))
(fma.f64 (fma.f64 y (-.f64 1 x) x) 1 (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(fma.f64 (fma.f64 y (-.f64 1 x) x) 1 (fma.f64 (neg.f64 y) x (*.f64 x y)))
(fma.f64 (fma.f64 y (-.f64 1 x) x) 1 (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(fma.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 2) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(fma.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 2) (fma.f64 (neg.f64 y) x (*.f64 x y)))
(fma.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 2) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 2) (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 2) (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) (fma.f64 (neg.f64 y) x (*.f64 x y)))
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 2) (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(fma.f64 (cbrt.f64 (+.f64 x y)) (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (*.f64 x (neg.f64 y)))
(fma.f64 (cbrt.f64 (+.f64 x y)) (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (*.f64 (*.f64 x (neg.f64 y)) 1))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (cbrt.f64 (+.f64 x y)) (*.f64 x (neg.f64 y)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (cbrt.f64 (+.f64 x y)) (*.f64 (*.f64 x (neg.f64 y)) 1))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (neg.f64 (cbrt.f64 (*.f64 x y))) (+.f64 x y))
(fma.f64 (cbrt.f64 y) (pow.f64 (cbrt.f64 y) 2) (*.f64 x (-.f64 1 y)))
(fma.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 y) (*.f64 x (-.f64 1 y)))
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) (*.f64 y (-.f64 1 x)))
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) (*.f64 (*.f64 y (-.f64 1 x)) 1))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (*.f64 y (-.f64 1 x)))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (*.f64 (*.f64 y (-.f64 1 x)) 1))
(fma.f64 (sqrt.f64 (fma.f64 y (-.f64 1 x) x)) (sqrt.f64 (fma.f64 y (-.f64 1 x) x)) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(fma.f64 (sqrt.f64 (fma.f64 y (-.f64 1 x) x)) (sqrt.f64 (fma.f64 y (-.f64 1 x) x)) (fma.f64 (neg.f64 y) x (*.f64 x y)))
(fma.f64 (sqrt.f64 (fma.f64 y (-.f64 1 x) x)) (sqrt.f64 (fma.f64 y (-.f64 1 x) x)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(fma.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (+.f64 x y)) (*.f64 x (neg.f64 y)))
(fma.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (+.f64 x y)) (*.f64 (*.f64 x (neg.f64 y)) 1))
(fma.f64 (sqrt.f64 (*.f64 x y)) (neg.f64 (sqrt.f64 (*.f64 x y))) (+.f64 x y))
(fma.f64 (sqrt.f64 y) (sqrt.f64 y) (*.f64 x (-.f64 1 y)))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (*.f64 y (-.f64 1 x)))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (*.f64 (*.f64 y (-.f64 1 x)) 1))
(fma.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (/.f64 1 (fma.f64 y (-.f64 y x) (pow.f64 x 2))) (*.f64 x (neg.f64 y)))
(fma.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (/.f64 1 (fma.f64 y (-.f64 y x) (pow.f64 x 2))) (*.f64 (*.f64 x (neg.f64 y)) 1))
(fma.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2))) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2))) (fma.f64 (neg.f64 y) x (*.f64 x y)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(fma.f64 (neg.f64 y) x (+.f64 x y))
(fma.f64 (-.f64 (pow.f64 x 2) (pow.f64 y 2)) (/.f64 1 (-.f64 x y)) (*.f64 x (neg.f64 y)))
(fma.f64 (-.f64 (pow.f64 x 2) (pow.f64 y 2)) (/.f64 1 (-.f64 x y)) (*.f64 (*.f64 x (neg.f64 y)) 1))
(fma.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (/.f64 1 (fma.f64 x y (+.f64 x y))) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (/.f64 1 (fma.f64 x y (+.f64 x y))) (fma.f64 (neg.f64 y) x (*.f64 x y)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (/.f64 1 (fma.f64 x y (+.f64 x y))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(fma.f64 (neg.f64 x) y (+.f64 x y))
(fma.f64 (neg.f64 (sqrt.f64 (*.f64 x y))) (sqrt.f64 (*.f64 x y)) (+.f64 x y))
(fma.f64 (*.f64 (cbrt.f64 (*.f64 x (neg.f64 y))) (cbrt.f64 (*.f64 x (neg.f64 y)))) (cbrt.f64 (*.f64 x (neg.f64 y))) (+.f64 x y))
(fma.f64 (*.f64 (cbrt.f64 (*.f64 y (-.f64 1 x))) (cbrt.f64 (*.f64 y (-.f64 1 x)))) (cbrt.f64 (*.f64 y (-.f64 1 x))) x)
(fma.f64 (sqrt.f64 (*.f64 x (neg.f64 y))) (sqrt.f64 (*.f64 x (neg.f64 y))) (+.f64 x y))
(fma.f64 (sqrt.f64 (*.f64 y (-.f64 1 x))) (sqrt.f64 (*.f64 y (-.f64 1 x))) x)
(fma.f64 -1 (*.f64 x y) (+.f64 x y))
(fma.f64 (+.f64 (sqrt.f64 y) (sqrt.f64 (*.f64 x y))) (-.f64 (sqrt.f64 y) (sqrt.f64 (*.f64 x y))) x)
(fma.f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 x y))) (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 x y))) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(fma.f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 x y))) (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 x y))) (fma.f64 (neg.f64 y) x (*.f64 x y)))
(fma.f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 x y))) (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 x y))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (*.f64 x y)) 2)) (cbrt.f64 (*.f64 x y)) (+.f64 x y))
(fma.f64 (*.f64 (neg.f64 x) 1) y (+.f64 x y))
(fma.f64 (*.f64 (neg.f64 x) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (+.f64 x y))
(fma.f64 (*.f64 (neg.f64 x) (sqrt.f64 y)) (sqrt.f64 y) (+.f64 x y))

simplify116.0ms (4.9%)

Algorithm
1×egg-herbie
Rules
1208×distribute-lft-in
1156×distribute-rgt-in
868×unswap-sqr
524×cancel-sign-sub-inv
448×fma-neg
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03396743
18526028
226126003
Stop Event
1×node limit
Counts
197 → 188
Calls
Call 1
Inputs
x
(+.f64 x (*.f64 -1 (*.f64 x y)))
(+.f64 x (*.f64 -1 (*.f64 x y)))
(+.f64 x (*.f64 -1 (*.f64 x y)))
(*.f64 -1 (*.f64 x y))
(+.f64 x (*.f64 -1 (*.f64 x y)))
(+.f64 x (*.f64 -1 (*.f64 x y)))
(+.f64 x (*.f64 -1 (*.f64 x y)))
(*.f64 -1 (*.f64 x y))
(+.f64 x (*.f64 -1 (*.f64 x y)))
(+.f64 x (*.f64 -1 (*.f64 x y)))
(+.f64 x (*.f64 -1 (*.f64 x y)))
y
(+.f64 y (*.f64 x (-.f64 1 y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(*.f64 x (-.f64 1 y))
(+.f64 y (*.f64 x (-.f64 1 y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(*.f64 x (+.f64 1 (*.f64 -1 y)))
(+.f64 y (*.f64 x (+.f64 1 (*.f64 -1 y))))
(+.f64 y (*.f64 x (+.f64 1 (*.f64 -1 y))))
(+.f64 y (*.f64 x (+.f64 1 (*.f64 -1 y))))
x
(+.f64 x (*.f64 y (-.f64 1 x)))
(+.f64 x (*.f64 y (-.f64 1 x)))
(+.f64 x (*.f64 y (-.f64 1 x)))
(*.f64 y (-.f64 1 x))
(+.f64 x (*.f64 y (-.f64 1 x)))
(+.f64 x (*.f64 y (-.f64 1 x)))
(+.f64 x (*.f64 y (-.f64 1 x)))
(*.f64 y (+.f64 1 (*.f64 -1 x)))
(+.f64 x (*.f64 y (+.f64 1 (*.f64 -1 x))))
(+.f64 x (*.f64 y (+.f64 1 (*.f64 -1 x))))
(+.f64 x (*.f64 y (+.f64 1 (*.f64 -1 x))))
(+.f64 x (*.f64 x (neg.f64 y)))
(-.f64 x (*.f64 x y))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (-.f64 1 y)))) 1)
(/.f64 (*.f64 x (-.f64 1 (pow.f64 y 3))) (fma.f64 y (+.f64 1 y) 1))
(/.f64 (*.f64 x (-.f64 1 (pow.f64 y 2))) (+.f64 1 y))
(/.f64 (*.f64 (-.f64 1 (pow.f64 y 3)) x) (fma.f64 y (+.f64 1 y) 1))
(/.f64 (*.f64 (-.f64 1 (pow.f64 y 2)) x) (+.f64 1 y))
(pow.f64 (*.f64 x (-.f64 1 y)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (-.f64 1 y))) 3)
(pow.f64 (pow.f64 (*.f64 x (-.f64 1 y)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x (-.f64 1 y))) 2)
(sqrt.f64 (pow.f64 (*.f64 x (-.f64 1 y)) 2))
(log.f64 (pow.f64 (exp.f64 x) (-.f64 1 y)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (-.f64 1 y)))))
(log.f64 (*.f64 (exp.f64 x) (/.f64 1 (pow.f64 (exp.f64 x) y))))
(log.f64 (*.f64 (exp.f64 x) (exp.f64 (*.f64 x (neg.f64 y)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 x)) (/.f64 1 (pow.f64 (exp.f64 x) y))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 x)) (exp.f64 (*.f64 x (neg.f64 y)))))
(cbrt.f64 (pow.f64 (*.f64 x (-.f64 1 y)) 3))
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (-.f64 1 y) 3)))
(cbrt.f64 (*.f64 (pow.f64 (-.f64 1 y) 3) (pow.f64 x 3)))
(expm1.f64 (log1p.f64 (*.f64 x (-.f64 1 y))))
(exp.f64 (log.f64 (*.f64 x (-.f64 1 y))))
(exp.f64 (*.f64 (log.f64 (*.f64 x (-.f64 1 y))) 1))
(log1p.f64 (expm1.f64 (*.f64 x (-.f64 1 y))))
(fma.f64 x 1 (*.f64 x (neg.f64 y)))
(fma.f64 1 x (*.f64 x (neg.f64 y)))
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) (*.f64 x (neg.f64 y)))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (*.f64 x (neg.f64 y)))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (*.f64 x (neg.f64 y)))
(+.f64 x (*.f64 y (-.f64 1 x)))
(+.f64 x (*.f64 (*.f64 y (-.f64 1 x)) 1))
(+.f64 y (*.f64 x (-.f64 1 y)))
(+.f64 (+.f64 x y) (*.f64 x (neg.f64 y)))
(+.f64 (+.f64 x y) (*.f64 (*.f64 x (neg.f64 y)) 1))
(+.f64 (fma.f64 y (-.f64 1 x) x) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(+.f64 (fma.f64 y (-.f64 1 x) x) (fma.f64 (neg.f64 y) x (*.f64 x y)))
(+.f64 (fma.f64 y (-.f64 1 x) x) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(+.f64 (*.f64 x (neg.f64 y)) (+.f64 x y))
(+.f64 (*.f64 y (-.f64 1 x)) x)
(*.f64 1 (fma.f64 y (-.f64 1 x) x))
(*.f64 (fma.f64 y (-.f64 1 x) x) 1)
(*.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 2) (cbrt.f64 (fma.f64 y (-.f64 1 x) x)))
(*.f64 (sqrt.f64 (fma.f64 y (-.f64 1 x) x)) (sqrt.f64 (fma.f64 y (-.f64 1 x) x)))
(*.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2))))
(*.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (/.f64 1 (fma.f64 x y (+.f64 x y))))
(*.f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 x y))) (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 x y))))
(/.f64 1 (/.f64 (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2)) (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3))))
(/.f64 1 (/.f64 (fma.f64 x y (+.f64 x y)) (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2))))
(/.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2)))
(/.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (fma.f64 x y (+.f64 x y)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3))) (neg.f64 (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2))) (neg.f64 (fma.f64 x y (+.f64 x y))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (*.f64 y (-.f64 1 x)) 3)) (fma.f64 x x (-.f64 (*.f64 (*.f64 y (-.f64 1 x)) (*.f64 y (-.f64 1 x))) (*.f64 x (*.f64 y (-.f64 1 x))))))
(/.f64 (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x (neg.f64 y)) 3)) (+.f64 (pow.f64 (+.f64 x y) 2) (-.f64 (*.f64 (*.f64 x (neg.f64 y)) (*.f64 x (neg.f64 y))) (*.f64 (+.f64 x y) (*.f64 x (neg.f64 y))))))
(/.f64 (-.f64 (pow.f64 x 2) (*.f64 (*.f64 y (-.f64 1 x)) (*.f64 y (-.f64 1 x)))) (-.f64 x (*.f64 y (-.f64 1 x))))
(/.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (*.f64 (*.f64 x (neg.f64 y)) (*.f64 x (neg.f64 y)))) (-.f64 (+.f64 x y) (*.f64 x (neg.f64 y))))
(pow.f64 (fma.f64 y (-.f64 1 x) x) 1)
(pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 3)
(pow.f64 (pow.f64 (fma.f64 y (-.f64 1 x) x) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 y (-.f64 1 x) x)) 2)
(sqrt.f64 (pow.f64 (fma.f64 y (-.f64 1 x) x) 2))
(log.f64 (exp.f64 (fma.f64 y (-.f64 1 x) x)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 y (-.f64 1 x) x))))
(log.f64 (*.f64 (exp.f64 x) (/.f64 (exp.f64 y) (pow.f64 (exp.f64 x) y))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 x)) (/.f64 (exp.f64 y) (pow.f64 (exp.f64 x) y))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 x)) (exp.f64 (*.f64 y (-.f64 1 x)))))
(log.f64 (*.f64 (exp.f64 y) (pow.f64 (exp.f64 x) (-.f64 1 y))))
(log.f64 (*.f64 (exp.f64 y) (+.f64 1 (expm1.f64 (*.f64 x (-.f64 1 y))))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 y)) (pow.f64 (exp.f64 x) (-.f64 1 y))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 y)) (+.f64 1 (expm1.f64 (*.f64 x (-.f64 1 y))))))
(log.f64 (*.f64 (exp.f64 (+.f64 x y)) (/.f64 1 (pow.f64 (exp.f64 x) y))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (+.f64 x y))) (/.f64 1 (pow.f64 (exp.f64 x) y))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (+.f64 x y))) (exp.f64 (*.f64 x (neg.f64 y)))))
(log.f64 (*.f64 (/.f64 1 (pow.f64 (exp.f64 x) y)) (exp.f64 (+.f64 x y))))
(log.f64 (*.f64 (/.f64 1 (pow.f64 (exp.f64 x) y)) (+.f64 1 (expm1.f64 (+.f64 x y)))))
(log.f64 (*.f64 (exp.f64 (*.f64 x (neg.f64 y))) (exp.f64 (+.f64 x y))))
(log.f64 (*.f64 (exp.f64 (*.f64 x (neg.f64 y))) (+.f64 1 (expm1.f64 (+.f64 x y)))))
(log.f64 (*.f64 (/.f64 (exp.f64 y) (pow.f64 (exp.f64 x) y)) (exp.f64 x)))
(log.f64 (*.f64 (/.f64 (exp.f64 y) (pow.f64 (exp.f64 x) y)) (+.f64 1 (expm1.f64 x))))
(log.f64 (*.f64 (exp.f64 (*.f64 y (-.f64 1 x))) (exp.f64 x)))
(log.f64 (*.f64 (exp.f64 (*.f64 y (-.f64 1 x))) (+.f64 1 (expm1.f64 x))))
(cbrt.f64 (pow.f64 (fma.f64 y (-.f64 1 x) x) 3))
(expm1.f64 (log1p.f64 (fma.f64 y (-.f64 1 x) x)))
(exp.f64 (log.f64 (fma.f64 y (-.f64 1 x) x)))
(exp.f64 (*.f64 (log.f64 (fma.f64 y (-.f64 1 x) x)) 1))
(log1p.f64 (expm1.f64 (fma.f64 y (-.f64 1 x) x)))
(fma.f64 x 1 (*.f64 y (-.f64 1 x)))
(fma.f64 x 1 (*.f64 (*.f64 y (-.f64 1 x)) 1))
(fma.f64 x (neg.f64 y) (+.f64 x y))
(fma.f64 1 x (*.f64 y (-.f64 1 x)))
(fma.f64 1 x (*.f64 (*.f64 y (-.f64 1 x)) 1))
(fma.f64 1 y (*.f64 x (-.f64 1 y)))
(fma.f64 1 (+.f64 x y) (*.f64 x (neg.f64 y)))
(fma.f64 1 (+.f64 x y) (*.f64 (*.f64 x (neg.f64 y)) 1))
(fma.f64 1 (fma.f64 y (-.f64 1 x) x) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(fma.f64 1 (fma.f64 y (-.f64 1 x) x) (fma.f64 (neg.f64 y) x (*.f64 x y)))
(fma.f64 1 (fma.f64 y (-.f64 1 x) x) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(fma.f64 1 (*.f64 x (neg.f64 y)) (+.f64 x y))
(fma.f64 1 (*.f64 y (-.f64 1 x)) x)
(fma.f64 y 1 (*.f64 x (-.f64 1 y)))
(fma.f64 y (neg.f64 x) (+.f64 x y))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (+.f64 x y) 1 (*.f64 x (neg.f64 y)))
(fma.f64 (+.f64 x y) 1 (*.f64 (*.f64 x (neg.f64 y)) 1))
(fma.f64 (fma.f64 y (-.f64 1 x) x) 1 (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(fma.f64 (fma.f64 y (-.f64 1 x) x) 1 (fma.f64 (neg.f64 y) x (*.f64 x y)))
(fma.f64 (fma.f64 y (-.f64 1 x) x) 1 (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(fma.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 2) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(fma.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 2) (fma.f64 (neg.f64 y) x (*.f64 x y)))
(fma.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 2) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 2) (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 2) (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) (fma.f64 (neg.f64 y) x (*.f64 x y)))
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 2) (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(fma.f64 (cbrt.f64 (+.f64 x y)) (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (*.f64 x (neg.f64 y)))
(fma.f64 (cbrt.f64 (+.f64 x y)) (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (*.f64 (*.f64 x (neg.f64 y)) 1))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (cbrt.f64 (+.f64 x y)) (*.f64 x (neg.f64 y)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (cbrt.f64 (+.f64 x y)) (*.f64 (*.f64 x (neg.f64 y)) 1))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (neg.f64 (cbrt.f64 (*.f64 x y))) (+.f64 x y))
(fma.f64 (cbrt.f64 y) (pow.f64 (cbrt.f64 y) 2) (*.f64 x (-.f64 1 y)))
(fma.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 y) (*.f64 x (-.f64 1 y)))
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) (*.f64 y (-.f64 1 x)))
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) (*.f64 (*.f64 y (-.f64 1 x)) 1))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (*.f64 y (-.f64 1 x)))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (*.f64 (*.f64 y (-.f64 1 x)) 1))
(fma.f64 (sqrt.f64 (fma.f64 y (-.f64 1 x) x)) (sqrt.f64 (fma.f64 y (-.f64 1 x) x)) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(fma.f64 (sqrt.f64 (fma.f64 y (-.f64 1 x) x)) (sqrt.f64 (fma.f64 y (-.f64 1 x) x)) (fma.f64 (neg.f64 y) x (*.f64 x y)))
(fma.f64 (sqrt.f64 (fma.f64 y (-.f64 1 x) x)) (sqrt.f64 (fma.f64 y (-.f64 1 x) x)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(fma.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (+.f64 x y)) (*.f64 x (neg.f64 y)))
(fma.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (+.f64 x y)) (*.f64 (*.f64 x (neg.f64 y)) 1))
(fma.f64 (sqrt.f64 (*.f64 x y)) (neg.f64 (sqrt.f64 (*.f64 x y))) (+.f64 x y))
(fma.f64 (sqrt.f64 y) (sqrt.f64 y) (*.f64 x (-.f64 1 y)))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (*.f64 y (-.f64 1 x)))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (*.f64 (*.f64 y (-.f64 1 x)) 1))
(fma.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (/.f64 1 (fma.f64 y (-.f64 y x) (pow.f64 x 2))) (*.f64 x (neg.f64 y)))
(fma.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (/.f64 1 (fma.f64 y (-.f64 y x) (pow.f64 x 2))) (*.f64 (*.f64 x (neg.f64 y)) 1))
(fma.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2))) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2))) (fma.f64 (neg.f64 y) x (*.f64 x y)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(fma.f64 (neg.f64 y) x (+.f64 x y))
(fma.f64 (-.f64 (pow.f64 x 2) (pow.f64 y 2)) (/.f64 1 (-.f64 x y)) (*.f64 x (neg.f64 y)))
(fma.f64 (-.f64 (pow.f64 x 2) (pow.f64 y 2)) (/.f64 1 (-.f64 x y)) (*.f64 (*.f64 x (neg.f64 y)) 1))
(fma.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (/.f64 1 (fma.f64 x y (+.f64 x y))) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (/.f64 1 (fma.f64 x y (+.f64 x y))) (fma.f64 (neg.f64 y) x (*.f64 x y)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (/.f64 1 (fma.f64 x y (+.f64 x y))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(fma.f64 (neg.f64 x) y (+.f64 x y))
(fma.f64 (neg.f64 (sqrt.f64 (*.f64 x y))) (sqrt.f64 (*.f64 x y)) (+.f64 x y))
(fma.f64 (*.f64 (cbrt.f64 (*.f64 x (neg.f64 y))) (cbrt.f64 (*.f64 x (neg.f64 y)))) (cbrt.f64 (*.f64 x (neg.f64 y))) (+.f64 x y))
(fma.f64 (*.f64 (cbrt.f64 (*.f64 y (-.f64 1 x))) (cbrt.f64 (*.f64 y (-.f64 1 x)))) (cbrt.f64 (*.f64 y (-.f64 1 x))) x)
(fma.f64 (sqrt.f64 (*.f64 x (neg.f64 y))) (sqrt.f64 (*.f64 x (neg.f64 y))) (+.f64 x y))
(fma.f64 (sqrt.f64 (*.f64 y (-.f64 1 x))) (sqrt.f64 (*.f64 y (-.f64 1 x))) x)
(fma.f64 -1 (*.f64 x y) (+.f64 x y))
(fma.f64 (+.f64 (sqrt.f64 y) (sqrt.f64 (*.f64 x y))) (-.f64 (sqrt.f64 y) (sqrt.f64 (*.f64 x y))) x)
(fma.f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 x y))) (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 x y))) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(fma.f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 x y))) (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 x y))) (fma.f64 (neg.f64 y) x (*.f64 x y)))
(fma.f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 x y))) (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 x y))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (*.f64 x y)) 2)) (cbrt.f64 (*.f64 x y)) (+.f64 x y))
(fma.f64 (*.f64 (neg.f64 x) 1) y (+.f64 x y))
(fma.f64 (*.f64 (neg.f64 x) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (+.f64 x y))
(fma.f64 (*.f64 (neg.f64 x) (sqrt.f64 y)) (sqrt.f64 y) (+.f64 x y))
Outputs
x
(+.f64 x (*.f64 -1 (*.f64 x y)))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(+.f64 x (*.f64 -1 (*.f64 x y)))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(+.f64 x (*.f64 -1 (*.f64 x y)))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(*.f64 -1 (*.f64 x y))
(*.f64 (neg.f64 x) y)
(*.f64 x (neg.f64 y))
(+.f64 x (*.f64 -1 (*.f64 x y)))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(+.f64 x (*.f64 -1 (*.f64 x y)))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(+.f64 x (*.f64 -1 (*.f64 x y)))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(*.f64 -1 (*.f64 x y))
(*.f64 (neg.f64 x) y)
(*.f64 x (neg.f64 y))
(+.f64 x (*.f64 -1 (*.f64 x y)))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(+.f64 x (*.f64 -1 (*.f64 x y)))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(+.f64 x (*.f64 -1 (*.f64 x y)))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
y
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(*.f64 x (-.f64 1 y))
(-.f64 x (*.f64 x y))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(*.f64 x (+.f64 1 (*.f64 -1 y)))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(+.f64 y (*.f64 x (+.f64 1 (*.f64 -1 y))))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(+.f64 y (*.f64 x (+.f64 1 (*.f64 -1 y))))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(+.f64 y (*.f64 x (+.f64 1 (*.f64 -1 y))))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
x
(+.f64 x (*.f64 y (-.f64 1 x)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(+.f64 x (*.f64 y (-.f64 1 x)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(+.f64 x (*.f64 y (-.f64 1 x)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(*.f64 y (-.f64 1 x))
(+.f64 x (*.f64 y (-.f64 1 x)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(+.f64 x (*.f64 y (-.f64 1 x)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(+.f64 x (*.f64 y (-.f64 1 x)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(*.f64 y (+.f64 1 (*.f64 -1 x)))
(*.f64 y (-.f64 1 x))
(+.f64 x (*.f64 y (+.f64 1 (*.f64 -1 x))))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(+.f64 x (*.f64 y (+.f64 1 (*.f64 -1 x))))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(+.f64 x (*.f64 y (+.f64 1 (*.f64 -1 x))))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(+.f64 x (*.f64 x (neg.f64 y)))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (-.f64 1 y)))) 1)
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(/.f64 (*.f64 x (-.f64 1 (pow.f64 y 3))) (fma.f64 y (+.f64 1 y) 1))
(/.f64 (-.f64 1 (pow.f64 y 3)) (/.f64 (fma.f64 y (+.f64 y 1) 1) x))
(*.f64 (/.f64 (-.f64 1 (pow.f64 y 3)) (fma.f64 y (+.f64 y 1) 1)) x)
(/.f64 (*.f64 x (-.f64 1 (pow.f64 y 2))) (+.f64 1 y))
(/.f64 x (/.f64 (+.f64 y 1) (-.f64 1 (pow.f64 y 2))))
(*.f64 (/.f64 x (+.f64 y 1)) (-.f64 1 (pow.f64 y 2)))
(/.f64 (*.f64 (-.f64 1 (pow.f64 y 3)) x) (fma.f64 y (+.f64 1 y) 1))
(/.f64 (-.f64 1 (pow.f64 y 3)) (/.f64 (fma.f64 y (+.f64 y 1) 1) x))
(*.f64 (/.f64 (-.f64 1 (pow.f64 y 3)) (fma.f64 y (+.f64 y 1) 1)) x)
(/.f64 (*.f64 (-.f64 1 (pow.f64 y 2)) x) (+.f64 1 y))
(/.f64 x (/.f64 (+.f64 y 1) (-.f64 1 (pow.f64 y 2))))
(*.f64 (/.f64 x (+.f64 y 1)) (-.f64 1 (pow.f64 y 2)))
(pow.f64 (*.f64 x (-.f64 1 y)) 1)
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(pow.f64 (cbrt.f64 (*.f64 x (-.f64 1 y))) 3)
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(pow.f64 (pow.f64 (*.f64 x (-.f64 1 y)) 3) 1/3)
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(pow.f64 (sqrt.f64 (*.f64 x (-.f64 1 y))) 2)
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(sqrt.f64 (pow.f64 (*.f64 x (-.f64 1 y)) 2))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(log.f64 (pow.f64 (exp.f64 x) (-.f64 1 y)))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (-.f64 1 y)))))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(log.f64 (*.f64 (exp.f64 x) (/.f64 1 (pow.f64 (exp.f64 x) y))))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(log.f64 (*.f64 (exp.f64 x) (exp.f64 (*.f64 x (neg.f64 y)))))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 x)) (/.f64 1 (pow.f64 (exp.f64 x) y))))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 x)) (exp.f64 (*.f64 x (neg.f64 y)))))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(cbrt.f64 (pow.f64 (*.f64 x (-.f64 1 y)) 3))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (-.f64 1 y) 3)))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(cbrt.f64 (*.f64 (pow.f64 (-.f64 1 y) 3) (pow.f64 x 3)))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(expm1.f64 (log1p.f64 (*.f64 x (-.f64 1 y))))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(exp.f64 (log.f64 (*.f64 x (-.f64 1 y))))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(exp.f64 (*.f64 (log.f64 (*.f64 x (-.f64 1 y))) 1))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(log1p.f64 (expm1.f64 (*.f64 x (-.f64 1 y))))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(fma.f64 x 1 (*.f64 x (neg.f64 y)))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(fma.f64 1 x (*.f64 x (neg.f64 y)))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) (*.f64 x (neg.f64 y)))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (*.f64 x (neg.f64 y)))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (*.f64 x (neg.f64 y)))
(-.f64 x (*.f64 x y))
(*.f64 x (-.f64 1 y))
(+.f64 x (*.f64 y (-.f64 1 x)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(+.f64 x (*.f64 (*.f64 y (-.f64 1 x)) 1))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(+.f64 (+.f64 x y) (*.f64 x (neg.f64 y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(+.f64 (+.f64 x y) (*.f64 (*.f64 x (neg.f64 y)) 1))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(+.f64 (fma.f64 y (-.f64 1 x) x) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(+.f64 (fma.f64 y (-.f64 1 x) x) (fma.f64 (neg.f64 y) x (*.f64 x y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(+.f64 (fma.f64 y (-.f64 1 x) x) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(+.f64 (*.f64 x (neg.f64 y)) (+.f64 x y))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(+.f64 (*.f64 y (-.f64 1 x)) x)
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(*.f64 1 (fma.f64 y (-.f64 1 x) x))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(*.f64 (fma.f64 y (-.f64 1 x) x) 1)
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(*.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 2))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 2) (cbrt.f64 (fma.f64 y (-.f64 1 x) x)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(*.f64 (sqrt.f64 (fma.f64 y (-.f64 1 x) x)) (sqrt.f64 (fma.f64 y (-.f64 1 x) x)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(*.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2))))
(/.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2)))
(*.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (/.f64 1 (fma.f64 x y (+.f64 x y))))
(/.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (fma.f64 x y (+.f64 x y)))
(*.f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 x y))) (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 x y))))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(/.f64 1 (/.f64 (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2)) (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3))))
(*.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2))))
(/.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2)))
(/.f64 1 (/.f64 (fma.f64 x y (+.f64 x y)) (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2))))
(*.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (/.f64 1 (fma.f64 x y (+.f64 x y))))
(/.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (fma.f64 x y (+.f64 x y)))
(/.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2)))
(*.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2))))
(/.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (fma.f64 x y (+.f64 x y)))
(*.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (/.f64 1 (fma.f64 x y (+.f64 x y))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3))) (neg.f64 (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2))))
(*.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2))))
(/.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2))) (neg.f64 (fma.f64 x y (+.f64 x y))))
(*.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (/.f64 1 (fma.f64 x y (+.f64 x y))))
(/.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (fma.f64 x y (+.f64 x y)))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (*.f64 y (-.f64 1 x)) 3)) (fma.f64 x x (-.f64 (*.f64 (*.f64 y (-.f64 1 x)) (*.f64 y (-.f64 1 x))) (*.f64 x (*.f64 y (-.f64 1 x))))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (*.f64 y (-.f64 1 x)) 3)) (fma.f64 x x (*.f64 (*.f64 y (-.f64 1 x)) (-.f64 (*.f64 y (-.f64 1 x)) x))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (*.f64 y (-.f64 1 x)) 3)) (fma.f64 x x (*.f64 (*.f64 y (-.f64 1 x)) (fma.f64 y (-.f64 1 x) (neg.f64 x)))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (*.f64 y (-.f64 1 x)) 3)) (fma.f64 x x (*.f64 y (*.f64 (-.f64 1 x) (fma.f64 y (-.f64 1 x) (neg.f64 x))))))
(/.f64 (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x (neg.f64 y)) 3)) (+.f64 (pow.f64 (+.f64 x y) 2) (-.f64 (*.f64 (*.f64 x (neg.f64 y)) (*.f64 x (neg.f64 y))) (*.f64 (+.f64 x y) (*.f64 x (neg.f64 y))))))
(*.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2))))
(/.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2)))
(/.f64 (-.f64 (pow.f64 x 2) (*.f64 (*.f64 y (-.f64 1 x)) (*.f64 y (-.f64 1 x)))) (-.f64 x (*.f64 y (-.f64 1 x))))
(/.f64 (-.f64 (pow.f64 x 2) (*.f64 (pow.f64 y 2) (*.f64 (-.f64 1 x) (-.f64 1 x)))) (-.f64 x (*.f64 y (-.f64 1 x))))
(/.f64 (fma.f64 x x (*.f64 (-.f64 1 x) (*.f64 (+.f64 x -1) (pow.f64 y 2)))) (+.f64 x (*.f64 y (+.f64 x -1))))
(/.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (*.f64 (*.f64 x (neg.f64 y)) (*.f64 x (neg.f64 y)))) (-.f64 (+.f64 x y) (*.f64 x (neg.f64 y))))
(*.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (/.f64 1 (fma.f64 x y (+.f64 x y))))
(/.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (fma.f64 x y (+.f64 x y)))
(pow.f64 (fma.f64 y (-.f64 1 x) x) 1)
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 3)
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(pow.f64 (pow.f64 (fma.f64 y (-.f64 1 x) x) 3) 1/3)
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(pow.f64 (sqrt.f64 (fma.f64 y (-.f64 1 x) x)) 2)
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(sqrt.f64 (pow.f64 (fma.f64 y (-.f64 1 x) x) 2))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(log.f64 (exp.f64 (fma.f64 y (-.f64 1 x) x)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 y (-.f64 1 x) x))))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(log.f64 (*.f64 (exp.f64 x) (/.f64 (exp.f64 y) (pow.f64 (exp.f64 x) y))))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(log.f64 (*.f64 (+.f64 1 (expm1.f64 x)) (/.f64 (exp.f64 y) (pow.f64 (exp.f64 x) y))))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(log.f64 (*.f64 (+.f64 1 (expm1.f64 x)) (exp.f64 (*.f64 y (-.f64 1 x)))))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(log.f64 (*.f64 (exp.f64 y) (pow.f64 (exp.f64 x) (-.f64 1 y))))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(log.f64 (*.f64 (exp.f64 y) (+.f64 1 (expm1.f64 (*.f64 x (-.f64 1 y))))))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(log.f64 (*.f64 (+.f64 1 (expm1.f64 y)) (pow.f64 (exp.f64 x) (-.f64 1 y))))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(log.f64 (*.f64 (+.f64 1 (expm1.f64 y)) (+.f64 1 (expm1.f64 (*.f64 x (-.f64 1 y))))))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(log.f64 (*.f64 (exp.f64 (+.f64 x y)) (/.f64 1 (pow.f64 (exp.f64 x) y))))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (+.f64 x y))) (/.f64 1 (pow.f64 (exp.f64 x) y))))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (+.f64 x y))) (exp.f64 (*.f64 x (neg.f64 y)))))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(log.f64 (*.f64 (/.f64 1 (pow.f64 (exp.f64 x) y)) (exp.f64 (+.f64 x y))))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(log.f64 (*.f64 (/.f64 1 (pow.f64 (exp.f64 x) y)) (+.f64 1 (expm1.f64 (+.f64 x y)))))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(log.f64 (*.f64 (exp.f64 (*.f64 x (neg.f64 y))) (exp.f64 (+.f64 x y))))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(log.f64 (*.f64 (exp.f64 (*.f64 x (neg.f64 y))) (+.f64 1 (expm1.f64 (+.f64 x y)))))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(log.f64 (*.f64 (/.f64 (exp.f64 y) (pow.f64 (exp.f64 x) y)) (exp.f64 x)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(log.f64 (*.f64 (/.f64 (exp.f64 y) (pow.f64 (exp.f64 x) y)) (+.f64 1 (expm1.f64 x))))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(log.f64 (*.f64 (exp.f64 (*.f64 y (-.f64 1 x))) (exp.f64 x)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(log.f64 (*.f64 (exp.f64 (*.f64 y (-.f64 1 x))) (+.f64 1 (expm1.f64 x))))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(cbrt.f64 (pow.f64 (fma.f64 y (-.f64 1 x) x) 3))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(expm1.f64 (log1p.f64 (fma.f64 y (-.f64 1 x) x)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(exp.f64 (log.f64 (fma.f64 y (-.f64 1 x) x)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(exp.f64 (*.f64 (log.f64 (fma.f64 y (-.f64 1 x) x)) 1))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(log1p.f64 (expm1.f64 (fma.f64 y (-.f64 1 x) x)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 x 1 (*.f64 y (-.f64 1 x)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 x 1 (*.f64 (*.f64 y (-.f64 1 x)) 1))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 x (neg.f64 y) (+.f64 x y))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 1 x (*.f64 y (-.f64 1 x)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 1 x (*.f64 (*.f64 y (-.f64 1 x)) 1))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 1 y (*.f64 x (-.f64 1 y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 1 (+.f64 x y) (*.f64 x (neg.f64 y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 1 (+.f64 x y) (*.f64 (*.f64 x (neg.f64 y)) 1))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 1 (fma.f64 y (-.f64 1 x) x) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 1 (fma.f64 y (-.f64 1 x) x) (fma.f64 (neg.f64 y) x (*.f64 x y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 1 (fma.f64 y (-.f64 1 x) x) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 1 (*.f64 x (neg.f64 y)) (+.f64 x y))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 1 (*.f64 y (-.f64 1 x)) x)
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 y 1 (*.f64 x (-.f64 1 y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 y (neg.f64 x) (+.f64 x y))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 y (-.f64 1 x) x)
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 (+.f64 x y) 1 (*.f64 x (neg.f64 y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (+.f64 x y) 1 (*.f64 (*.f64 x (neg.f64 y)) 1))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (fma.f64 y (-.f64 1 x) x) 1 (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (fma.f64 y (-.f64 1 x) x) 1 (fma.f64 (neg.f64 y) x (*.f64 x y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (fma.f64 y (-.f64 1 x) x) 1 (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 2) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 2) (fma.f64 (neg.f64 y) x (*.f64 x y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 2) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 2) (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 2) (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) (fma.f64 (neg.f64 y) x (*.f64 x y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) 2) (cbrt.f64 (fma.f64 y (-.f64 1 x) x)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (cbrt.f64 (+.f64 x y)) (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (*.f64 x (neg.f64 y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (cbrt.f64 (+.f64 x y)) (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (*.f64 (*.f64 x (neg.f64 y)) 1))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (cbrt.f64 (+.f64 x y)) (*.f64 x (neg.f64 y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (cbrt.f64 (+.f64 x y)) (*.f64 (*.f64 x (neg.f64 y)) 1))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (neg.f64 (cbrt.f64 (*.f64 x y))) (+.f64 x y))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (cbrt.f64 y) (pow.f64 (cbrt.f64 y) 2) (*.f64 x (-.f64 1 y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 y) (*.f64 x (-.f64 1 y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) (*.f64 y (-.f64 1 x)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) (*.f64 (*.f64 y (-.f64 1 x)) 1))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (*.f64 y (-.f64 1 x)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (*.f64 (*.f64 y (-.f64 1 x)) 1))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (sqrt.f64 (fma.f64 y (-.f64 1 x) x)) (sqrt.f64 (fma.f64 y (-.f64 1 x) x)) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (sqrt.f64 (fma.f64 y (-.f64 1 x) x)) (sqrt.f64 (fma.f64 y (-.f64 1 x) x)) (fma.f64 (neg.f64 y) x (*.f64 x y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (sqrt.f64 (fma.f64 y (-.f64 1 x) x)) (sqrt.f64 (fma.f64 y (-.f64 1 x) x)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (+.f64 x y)) (*.f64 x (neg.f64 y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (+.f64 x y)) (*.f64 (*.f64 x (neg.f64 y)) 1))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (sqrt.f64 (*.f64 x y)) (neg.f64 (sqrt.f64 (*.f64 x y))) (+.f64 x y))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (sqrt.f64 y) (sqrt.f64 y) (*.f64 x (-.f64 1 y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (*.f64 y (-.f64 1 x)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (*.f64 (*.f64 y (-.f64 1 x)) 1))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (/.f64 1 (fma.f64 y (-.f64 y x) (pow.f64 x 2))) (*.f64 x (neg.f64 y)))
(fma.f64 (+.f64 (pow.f64 y 3) (pow.f64 x 3)) (/.f64 1 (fma.f64 y (-.f64 y x) (pow.f64 x 2))) (*.f64 (neg.f64 x) y))
(-.f64 (*.f64 (+.f64 (pow.f64 y 3) (pow.f64 x 3)) (/.f64 1 (fma.f64 y (-.f64 y x) (pow.f64 x 2)))) (*.f64 x y))
(-.f64 (/.f64 (+.f64 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 y (-.f64 y x) (pow.f64 x 2))) (*.f64 x y))
(fma.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (/.f64 1 (fma.f64 y (-.f64 y x) (pow.f64 x 2))) (*.f64 (*.f64 x (neg.f64 y)) 1))
(fma.f64 (+.f64 (pow.f64 y 3) (pow.f64 x 3)) (/.f64 1 (fma.f64 y (-.f64 y x) (pow.f64 x 2))) (*.f64 (neg.f64 x) y))
(-.f64 (*.f64 (+.f64 (pow.f64 y 3) (pow.f64 x 3)) (/.f64 1 (fma.f64 y (-.f64 y x) (pow.f64 x 2)))) (*.f64 x y))
(-.f64 (/.f64 (+.f64 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 y (-.f64 y x) (pow.f64 x 2))) (*.f64 x y))
(fma.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2))) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(*.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2))))
(/.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2))) (fma.f64 (neg.f64 y) x (*.f64 x y)))
(*.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2))))
(/.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(*.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2))))
(/.f64 (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 x y) (fma.f64 x y (+.f64 x y)) (pow.f64 (+.f64 x y) 2)))
(fma.f64 (neg.f64 y) x (+.f64 x y))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (-.f64 (pow.f64 x 2) (pow.f64 y 2)) (/.f64 1 (-.f64 x y)) (*.f64 x (neg.f64 y)))
(fma.f64 (-.f64 (pow.f64 x 2) (pow.f64 y 2)) (/.f64 1 (-.f64 x y)) (*.f64 (neg.f64 x) y))
(-.f64 (*.f64 (-.f64 (pow.f64 x 2) (pow.f64 y 2)) (/.f64 1 (-.f64 x y))) (*.f64 x y))
(-.f64 (/.f64 (-.f64 (pow.f64 x 2) (pow.f64 y 2)) (-.f64 x y)) (*.f64 x y))
(fma.f64 (-.f64 (pow.f64 x 2) (pow.f64 y 2)) (/.f64 1 (-.f64 x y)) (*.f64 (*.f64 x (neg.f64 y)) 1))
(fma.f64 (-.f64 (pow.f64 x 2) (pow.f64 y 2)) (/.f64 1 (-.f64 x y)) (*.f64 (neg.f64 x) y))
(-.f64 (*.f64 (-.f64 (pow.f64 x 2) (pow.f64 y 2)) (/.f64 1 (-.f64 x y))) (*.f64 x y))
(-.f64 (/.f64 (-.f64 (pow.f64 x 2) (pow.f64 y 2)) (-.f64 x y)) (*.f64 x y))
(fma.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (/.f64 1 (fma.f64 x y (+.f64 x y))) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(*.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (/.f64 1 (fma.f64 x y (+.f64 x y))))
(/.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (fma.f64 x y (+.f64 x y)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (/.f64 1 (fma.f64 x y (+.f64 x y))) (fma.f64 (neg.f64 y) x (*.f64 x y)))
(*.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (/.f64 1 (fma.f64 x y (+.f64 x y))))
(/.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (fma.f64 x y (+.f64 x y)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (/.f64 1 (fma.f64 x y (+.f64 x y))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(*.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (/.f64 1 (fma.f64 x y (+.f64 x y))))
(/.f64 (-.f64 (pow.f64 (+.f64 x y) 2) (pow.f64 (*.f64 x y) 2)) (fma.f64 x y (+.f64 x y)))
(fma.f64 (neg.f64 x) y (+.f64 x y))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (neg.f64 (sqrt.f64 (*.f64 x y))) (sqrt.f64 (*.f64 x y)) (+.f64 x y))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (*.f64 (cbrt.f64 (*.f64 x (neg.f64 y))) (cbrt.f64 (*.f64 x (neg.f64 y)))) (cbrt.f64 (*.f64 x (neg.f64 y))) (+.f64 x y))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (*.f64 (cbrt.f64 (*.f64 y (-.f64 1 x))) (cbrt.f64 (*.f64 y (-.f64 1 x)))) (cbrt.f64 (*.f64 y (-.f64 1 x))) x)
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (sqrt.f64 (*.f64 x (neg.f64 y))) (sqrt.f64 (*.f64 x (neg.f64 y))) (+.f64 x y))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (sqrt.f64 (*.f64 y (-.f64 1 x))) (sqrt.f64 (*.f64 y (-.f64 1 x))) x)
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 -1 (*.f64 x y) (+.f64 x y))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (+.f64 (sqrt.f64 y) (sqrt.f64 (*.f64 x y))) (-.f64 (sqrt.f64 y) (sqrt.f64 (*.f64 x y))) x)
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 x y))) (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 x y))) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 x y))) (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 x y))) (fma.f64 (neg.f64 y) x (*.f64 x y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 x y))) (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (*.f64 x y))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (*.f64 x y)) 2)) (cbrt.f64 (*.f64 x y)) (+.f64 x y))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (*.f64 (neg.f64 x) 1) y (+.f64 x y))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (*.f64 (neg.f64 x) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (+.f64 x y))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 (*.f64 (neg.f64 x) (sqrt.f64 y)) (sqrt.f64 y) (+.f64 x y))
(+.f64 y (*.f64 x (-.f64 1 y)))
(fma.f64 y (-.f64 1 x) x)

eval49.0ms (2.1%)

Compiler

Compiled 2790 to 1260 computations (54.8% saved)

prune29.0ms (1.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1853188
Fresh000
Picked022
Done000
Total1855190
Accuracy
100.0%
Counts
190 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(-.f64 (+.f64 x y) (*.f64 x y))
✓100.0%
(+.f64 y (*.f64 x (-.f64 1 y)))
▶72.0%
(+.f64 y x)
▶65.6%
(*.f64 y (-.f64 1 x))
▶38.7%
y
Compiler

Compiled 33 to 21 computations (36.4% saved)

localize59.0ms (2.5%)

Compiler

Compiled 20 to 10 computations (50% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.0ms
Operation ival-sub, time spent: 9.0ms, 53.0% of total-time
Operation ival-add, time spent: 4.0ms, 23.0% of total-time
Operation ival-mult, time spent: 3.0ms, 18.0% of total-time
Operation const, time spent: 1.0ms, 6.0% of total-time

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune3.0ms (0.1%)

Pruning

5 alts after pruning (0 fresh and 5 done)

PrunedKeptTotal
New000
Fresh000
Picked033
Done022
Total055
Accuracy
100.0%
Counts
5 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(-.f64 (+.f64 x y) (*.f64 x y))
✓100.0%
(+.f64 y (*.f64 x (-.f64 1 y)))
✓72.0%
(+.f64 y x)
✓65.6%
(*.f64 y (-.f64 1 x))
✓38.7%
y
Compiler

Compiled 58 to 34 computations (41.4% saved)

regimes14.0ms (0.6%)

Counts
5 → 1
Calls
Call 1
Inputs
y
(+.f64 y x)
(*.f64 y (-.f64 1 x))
(+.f64 y (*.f64 x (-.f64 1 y)))
(-.f64 (+.f64 x y) (*.f64 x y))
Outputs
(-.f64 (+.f64 x y) (*.f64 x y))
Calls

3 calls:

5.0ms
y
4.0ms
x
4.0ms
(-.f64 (+.f64 x y) (*.f64 x y))
Results
AccuracySegmentsBranch
100.0%1x
100.0%1y
100.0%1(-.f64 (+.f64 x y) (*.f64 x y))
Compiler

Compiled 15 to 9 computations (40% saved)

regimes56.0ms (2.4%)

Counts
4 → 1
Calls
Call 1
Inputs
y
(+.f64 y x)
(*.f64 y (-.f64 1 x))
(+.f64 y (*.f64 x (-.f64 1 y)))
Outputs
(+.f64 y (*.f64 x (-.f64 1 y)))
Calls

2 calls:

4.0ms
x
4.0ms
y
Results
AccuracySegmentsBranch
100.0%1x
100.0%1y
Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes71.0ms (3%)

Counts
3 → 3
Calls
Call 1
Inputs
y
(+.f64 y x)
(*.f64 y (-.f64 1 x))
Outputs
(*.f64 y (-.f64 1 x))
(+.f64 y x)
(*.f64 y (-.f64 1 x))
Calls

2 calls:

61.0ms
x
9.0ms
y
Results
AccuracySegmentsBranch
82.5%5x
98.8%3y
Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes9.0ms (0.4%)

Counts
2 → 1
Calls
Call 1
Inputs
y
(+.f64 y x)
Outputs
(+.f64 y x)
Calls

2 calls:

5.0ms
x
3.0ms
y
Results
AccuracySegmentsBranch
72.0%1x
72.0%1y
Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes5.0ms (0.2%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts
1 → 1
Calls
Call 1
Inputs
y
Outputs
y
Calls

2 calls:

3.0ms
y
2.0ms
x
Results
AccuracySegmentsBranch
38.7%1y
38.7%1x
Compiler

Compiled 6 to 4 computations (33.3% saved)

bsearch46.0ms (1.9%)

Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
24.0ms
5.804476136825174e-28
5.402620841140401e-16
22.0ms
-3142.099257629242
-9.37153641855711e-7
Results
40.0ms303×0valid
0.0ms1×0valid
Compiler

Compiled 280 to 199 computations (28.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.0ms
Operation ival-add, time spent: 6.0ms, 44.0% of total-time
Operation ival-sub, time spent: 5.0ms, 36.0% of total-time
Operation ival-mult, time spent: 3.0ms, 22.0% of total-time
Operation const, time spent: 0.0ms, 0.0% of total-time

simplify7.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
16×+-commutative
12×sub-neg
12×*-commutative
6×neg-mul-1
6×neg-sub0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
026139
151139
264139
370139
473139
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(-.f64 (+.f64 x y) (*.f64 x y))
(+.f64 y (*.f64 x (-.f64 1 y)))
(if (<=.f64 y -1) (*.f64 y (-.f64 1 x)) (if (<=.f64 y 5476250592985951/10141204801825835211973625643008) (+.f64 y x) (*.f64 y (-.f64 1 x))))
(+.f64 y x)
y
Outputs
(-.f64 (+.f64 x y) (*.f64 x y))
(+.f64 y (*.f64 x (-.f64 1 y)))
(if (<=.f64 y -1) (*.f64 y (-.f64 1 x)) (if (<=.f64 y 5476250592985951/10141204801825835211973625643008) (+.f64 y x) (*.f64 y (-.f64 1 x))))
(if (or (<=.f64 y -1) (not (<=.f64 y 5476250592985951/10141204801825835211973625643008))) (*.f64 y (-.f64 1 x)) (+.f64 x y))
(+.f64 y x)
(+.f64 x y)
y
Compiler

Compiled 45 to 29 computations (35.6% saved)

soundness125.0ms (5.3%)

Rules
2210×fma-def
236×cancel-sign-sub-inv
140×fma-neg
132×distribute-rgt-in
130×distribute-lft-neg-in
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
024241
168217
2180191
3550174
41338168
52183168
62428168
72435168
Stop Event
1×saturated
Compiler

Compiled 145 to 64 computations (55.9% saved)

end0.0ms (0%)

preprocess44.0ms (1.9%)

Remove

(sort x y)

Compiler

Compiled 182 to 98 computations (46.2% saved)

Profiling

Loading profile data...