Add Mul x4 acot atanh acot csch Mul cot x0 1.57079632679490 Mul Add Mul 2 x0 3 Add -3 acosh x0 
Add Mul x4 Mul -1 Mul Mul Mul -1 Mul Mul Mul Mul -1 coth Mul cot x0 1.57079632679490 csch Mul cot x0 1.57079632679490 Mul 1.57079632679490 Mul -1 Pow csc x0 2 Pow Add 1 Mul csch Mul cot x0 1.57079632679490 csch Mul cot x0 1.57079632679490 -1 Pow Add 1 Mul -1 Mul acot csch Mul cot x0 1.57079632679490 acot csch Mul cot x0 1.57079632679490 -1 Pow Add 1 Mul atanh acot csch Mul cot x0 1.57079632679490 atanh acot csch Mul cot x0 1.57079632679490 -1 Add Mul Add -3 acosh x0 2 Mul Add Mul 2 x0 3 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 