Pow x0 Pow Mul coth Mul x0 Mul asech acsch sin x4 x7 acosh pi Mul 1.00001228850021 x0 
Mul Pow x0 Add Pow Mul coth Mul x0 Mul asech acsch sin x4 x7 acosh pi Mul 1.00001228850021 x0 -1 Add Pow Mul coth Mul x0 Mul asech acsch sin x4 x7 acosh pi Mul 1.00001228850021 x0 Mul Mul x0 log x0 Mul Pow Mul coth Mul x0 Mul asech acsch sin x4 x7 acosh pi Add Mul 1.00001228850021 x0 -1 Add Mul Mul 1.00001228850021 x0 Mul acosh pi Mul Mul -1 Pow csch Mul x0 Mul asech acsch sin x4 x7 2 Mul asech acsch sin x4 x7 Mul Mul Mul coth Mul x0 Mul asech acsch sin x4 x7 acosh pi log Mul coth Mul x0 Mul asech acsch sin x4 x7 acosh pi 1.00001228850021 