Mul x0 acot acoth Mul x0 Pow atan asech Mul x7 x2 x0 
Add acot acoth Mul x0 Pow atan asech Mul x7 x2 x0 Mul x0 Mul -1 Mul Mul Add Pow atan asech Mul x7 x2 x0 Mul x0 Mul Pow atan asech Mul x7 x2 Add x0 -1 Mul atan asech Mul x7 x2 log atan asech Mul x7 x2 Pow Add 1 Mul -1 Mul Mul x0 Pow atan asech Mul x7 x2 x0 Mul x0 Pow atan asech Mul x7 x2 x0 -1 Pow Add 1 Mul acoth Mul x0 Pow atan asech Mul x7 x2 x0 acoth Mul x0 Pow atan asech Mul x7 x2 x0 -1 