Pow Mul Mul acosh x0 csc x0 Add atanh x0 atan x0 -3 
Mul Pow Mul Mul acosh x0 csc x0 Add atanh x0 atan x0 4 Mul -3 Add Mul Add atanh x0 atan x0 Add Mul csc x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Mul Mul -1 cot x0 csc x0 Mul Mul acosh x0 csc x0 Add Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul x0 x0 -1 