sqrt Pow 3 Pow sqrt Mul asec pi Mul x7 -1 csch atanh x0 
Mul Pow Mul 2 sqrt Pow 3 Pow sqrt Mul asec pi Mul x7 -1 csch atanh x0 -1 Mul Pow 3 Add Pow sqrt Mul asec pi Mul x7 -1 csch atanh x0 -1 Mul 4.09861228866811 Mul Pow sqrt Mul asec pi Mul x7 -1 Add csch atanh x0 -1 Mul Mul sqrt Mul asec pi Mul x7 -1 log sqrt Mul asec pi Mul x7 -1 Mul Mul Mul -1 coth atanh x0 csch atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 