Mul tan acosh csch asech Mul x0 Mul x0 x7 acot Mul 2 x0 
Add Mul acot Mul 2 x0 Mul Pow sec acosh csch asech Mul x0 Mul x0 x7 2 Mul Mul Mul Mul -1 coth asech Mul x0 Mul x0 x7 csch asech Mul x0 Mul x0 x7 Mul Add Mul x0 x7 Mul x0 x7 Pow Mul Mul Mul x0 Mul x0 x7 Mul x0 Mul x0 x7 sqrt Add 1 Mul -1 Pow Mul Mul x0 Mul x0 x7 Mul x0 Mul x0 x7 -1 -1 Pow Mul sqrt Add csch asech Mul x0 Mul x0 x7 -1 sqrt Add 1 csch asech Mul x0 Mul x0 x7 -1 Mul tan acosh csch asech Mul x0 Mul x0 x7 Mul -1 Mul 2 Pow Add 1 Mul Mul 2 x0 Mul 2 x0 -1 