Pow Mul Pow acot Pow cosh x3 atanh x0 x0 x0 Mul 5.11088262850995 x0 
Mul Pow Mul Pow acot Pow cosh x3 atanh x0 x0 x0 Add Mul 5.11088262850995 x0 -1 Add Mul Mul 5.11088262850995 x0 Add Mul x0 Mul Pow acot Pow cosh x3 atanh x0 Add x0 -1 Add Mul x0 Mul -1 Mul Mul Pow cosh x3 Add atanh x0 -1 Mul Mul cosh x3 log cosh x3 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Pow cosh x3 atanh x0 Pow cosh x3 atanh x0 -1 Mul acot Pow cosh x3 atanh x0 log acot Pow cosh x3 atanh x0 Pow acot Pow cosh x3 atanh x0 x0 Mul Mul Mul Pow acot Pow cosh x3 atanh x0 x0 x0 log Mul Pow acot Pow cosh x3 atanh x0 x0 x0 5.11088262850995 