Mul x0 Mul sin acoth atan Pow x0 0.265802228834080 x0 
Add Mul sin acoth atan Pow x0 0.265802228834080 x0 Mul x0 Add Mul x0 Mul cos acoth atan Pow x0 0.265802228834080 Mul Mul Mul Pow x0 -0.734197771165920 0.265802228834080 Pow Add 1 Mul Pow x0 0.265802228834080 Pow x0 0.265802228834080 -1 Pow Add 1 Mul -1 Mul atan Pow x0 0.265802228834080 atan Pow x0 0.265802228834080 -1 sin acoth atan Pow x0 0.265802228834080 