Pow acot Pow x0 Mul cosh acsch sech x2 Mul Mul Add E x7 Mul x0 -4 x2 acos Mul x0 Mul x0 x6 
Mul Pow acot Pow x0 Mul cosh acsch sech x2 Mul Mul Add E x7 Mul x0 -4 x2 Add acos Mul x0 Mul x0 x6 -1 Add Mul acos Mul x0 Mul x0 x6 Mul -1 Mul Mul Pow x0 Add Mul cosh acsch sech x2 Mul Mul Add E x7 Mul x0 -4 x2 -1 Add Mul cosh acsch sech x2 Mul Mul Add E x7 Mul x0 -4 x2 Mul Mul x0 log x0 Mul cosh acsch sech x2 Mul x2 Mul Add E x7 -4 Pow Add 1 Mul Pow x0 Mul cosh acsch sech x2 Mul Mul Add E x7 Mul x0 -4 x2 Pow x0 Mul cosh acsch sech x2 Mul Mul Add E x7 Mul x0 -4 x2 -1 Mul Mul acot Pow x0 Mul cosh acsch sech x2 Mul Mul Add E x7 Mul x0 -4 x2 log acot Pow x0 Mul cosh acsch sech x2 Mul Mul Add E x7 Mul x0 -4 x2 Mul -1 Mul Add Mul x0 x6 Mul x0 x6 Pow sqrt Add 1 Mul -1 Mul Mul x0 Mul x0 x6 Mul x0 Mul x0 x6 -1 