Pow acosh Add cosh acot x5 x0 acot Add 3 Mul -3 Mul acos Mul cot asec x7 x0 Pow pi x6 
Mul Pow acosh Add cosh acot x5 x0 Add acot Add 3 Mul -3 Mul acos Mul cot asec x7 x0 Pow pi x6 -1 Add Mul acot Add 3 Mul -3 Mul acos Mul cot asec x7 x0 Pow pi x6 Pow Mul sqrt Add Add cosh acot x5 x0 -1 sqrt Add 1 Add cosh acot x5 x0 -1 Mul Mul acosh Add cosh acot x5 x0 log acosh Add cosh acot x5 x0 Mul -1 Mul Mul -3 Mul Pow pi x6 Mul -1 Mul cot asec x7 Pow sqrt Add 1 Mul -1 Mul Mul cot asec x7 x0 Mul cot asec x7 x0 -1 Pow Add 1 Mul Add 3 Mul -3 Mul acos Mul cot asec x7 x0 Pow pi x6 Add 3 Mul -3 Mul acos Mul cot asec x7 x0 Pow pi x6 -1 