Mul -1 Add Mul Add Mul csc x4 x0 sqrt Mul acosh Pow x0 x3 Mul atan x2 x0 Mul x0 x0 x2 
Mul -1 Add Mul Mul x0 x0 Add csc x4 Mul Pow Mul 2 sqrt Mul acosh Pow x0 x3 Mul atan x2 x0 -1 Add Mul Mul atan x2 x0 Mul Mul Pow x0 Add x3 -1 x3 Pow Mul sqrt Add Pow x0 x3 -1 sqrt Add 1 Pow x0 x3 -1 Mul acosh Pow x0 x3 atan x2 Mul Add Mul csc x4 x0 sqrt Mul acosh Pow x0 x3 Mul atan x2 x0 Add x0 x0 