Pow acosh Pow atan acsc sinh Mul x4 x0 Pow acosh x0 acosh x2 x0 
Mul Pow acosh Pow atan acsc sinh Mul x4 x0 Pow acosh x0 acosh x2 Add x0 -1 Add Mul x0 Mul Mul Pow atan acsc sinh Mul x4 x0 Add Pow acosh x0 acosh x2 -1 Add Mul Pow acosh x0 acosh x2 Mul Mul -1 Mul Mul cosh Mul x4 x0 x4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul sinh Mul x4 x0 sinh Mul x4 x0 -1 sinh Mul x4 x0 sinh Mul x4 x0 -1 Pow Add 1 Mul acsc sinh Mul x4 x0 acsc sinh Mul x4 x0 -1 Mul Mul atan acsc sinh Mul x4 x0 log atan acsc sinh Mul x4 x0 Mul Pow acosh x0 Add acosh x2 -1 Mul acosh x2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul sqrt Add Pow atan acsc sinh Mul x4 x0 Pow acosh x0 acosh x2 -1 sqrt Add 1 Pow atan acsc sinh Mul x4 x0 Pow acosh x0 acosh x2 -1 Mul acosh Pow atan acsc sinh Mul x4 x0 Pow acosh x0 acosh x2 log acosh Pow atan acsc sinh Mul x4 x0 Pow acosh x0 acosh x2 