acos Mul asec Add x0 Mul x0 0.250000000000000 csch Mul -0.841470984807897 Pow acot Mul x0 pi Add x0 Add asinh x0 -3 
Mul -1 Mul Add Mul csch Mul -0.841470984807897 Pow acot Mul x0 pi Add x0 Add asinh x0 -3 Mul 1.25000000000000 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x0 Mul x0 0.250000000000000 Add x0 Mul x0 0.250000000000000 -1 Add x0 Mul x0 0.250000000000000 Add x0 Mul x0 0.250000000000000 -1 Mul asec Add x0 Mul x0 0.250000000000000 Mul Mul Mul -1 coth Mul -0.841470984807897 Pow acot Mul x0 pi Add x0 Add asinh x0 -3 csch Mul -0.841470984807897 Pow acot Mul x0 pi Add x0 Add asinh x0 -3 Mul -0.841470984807897 Mul Pow acot Mul x0 pi Add Add x0 Add asinh x0 -3 -1 Add Mul Add x0 Add asinh x0 -3 Mul -1 Mul pi Pow Add 1 Mul Mul x0 pi Mul x0 pi -1 Mul Mul acot Mul x0 pi log acot Mul x0 pi Add 1 Pow sqrt Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul asec Add x0 Mul x0 0.250000000000000 csch Mul -0.841470984807897 Pow acot Mul x0 pi Add x0 Add asinh x0 -3 Mul asec Add x0 Mul x0 0.250000000000000 csch Mul -0.841470984807897 Pow acot Mul x0 pi Add x0 Add asinh x0 -3 -1 