Pow Pow asec acoth x0 exp Add acoth Pow x0 x0 0.265802228834080 Pow x2 -3 
Mul Pow Pow asec acoth x0 exp Add acoth Pow x0 x0 0.265802228834080 Add Pow x2 -3 -1 Mul Pow x2 -3 Mul Pow asec acoth x0 Add exp Add acoth Pow x0 x0 0.265802228834080 -1 Add Mul exp Add acoth Pow x0 x0 0.265802228834080 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acoth x0 acoth x0 -1 acoth x0 acoth x0 -1 Mul Mul asec acoth x0 log asec acoth x0 Mul exp Add acoth Pow x0 x0 0.265802228834080 Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul -1 Mul Pow x0 x0 Pow x0 x0 -1 