Mul acot Mul Mul acosh sech x0 x0 x6 Mul Add csc x0 x0 x7 
Add Mul Mul Add csc x0 x0 x7 Mul -1 Mul Mul x6 Add Mul x0 Mul Mul tanh x0 Mul -1 sech x0 Pow Mul sqrt Add sech x0 -1 sqrt Add 1 sech x0 -1 acosh sech x0 Pow Add 1 Mul Mul Mul acosh sech x0 x0 x6 Mul Mul acosh sech x0 x0 x6 -1 Mul acot Mul Mul acosh sech x0 x0 x6 Mul x7 Add Mul Mul -1 cot x0 csc x0 1 