Pow Pow sec Mul Mul Pow tanh x6 x0 3 atanh acot Add acosh x0 x0 acos Mul x0 E Add x0 1 
Mul Pow Pow sec Mul Mul Pow tanh x6 x0 3 atanh acot Add acosh x0 x0 acos Mul x0 E Add Add x0 1 -1 Add Mul Add x0 1 Mul Pow sec Mul Mul Pow tanh x6 x0 3 atanh acot Add acosh x0 x0 Add acos Mul x0 E -1 Add Mul acos Mul x0 E Mul Mul tan Mul Mul Pow tanh x6 x0 3 atanh acot Add acosh x0 x0 sec Mul Mul Pow tanh x6 x0 3 atanh acot Add acosh x0 x0 Add Mul atanh acot Add acosh x0 x0 Mul 3 Mul Pow tanh x6 Add x0 -1 Mul tanh x6 log tanh x6 Mul Mul Pow tanh x6 x0 3 Mul Mul -1 Mul Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 Pow Add 1 Mul Add acosh x0 x0 Add acosh x0 x0 -1 Pow Add 1 Mul -1 Mul acot Add acosh x0 x0 acot Add acosh x0 x0 -1 Mul Mul sec Mul Mul Pow tanh x6 x0 3 atanh acot Add acosh x0 x0 log sec Mul Mul Pow tanh x6 x0 3 atanh acot Add acosh x0 x0 Mul -1 Mul E Pow sqrt Add 1 Mul -1 Mul Mul x0 E Mul x0 E -1 Mul Pow sec Mul Mul Pow tanh x6 x0 3 atanh acot Add acosh x0 x0 acos Mul x0 E log Pow sec Mul Mul Pow tanh x6 x0 3 atanh acot Add acosh x0 x0 acos Mul x0 E 