Mul asec Mul Pow Mul Add -4 x0 Mul acosh csch pi -3 x0 x0 x1 
Mul x1 Mul Add Mul x0 Mul Pow Mul Add -4 x0 Mul acosh csch pi -3 Add x0 -1 Add Mul x0 Mul acosh csch pi -3 Mul Mul Add -4 x0 Mul acosh csch pi -3 log Mul Add -4 x0 Mul acosh csch pi -3 Pow Mul Add -4 x0 Mul acosh csch pi -3 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Pow Mul Add -4 x0 Mul acosh csch pi -3 x0 x0 Mul Pow Mul Add -4 x0 Mul acosh csch pi -3 x0 x0 -1 Mul Pow Mul Add -4 x0 Mul acosh csch pi -3 x0 x0 Mul Pow Mul Add -4 x0 Mul acosh csch pi -3 x0 x0 -1 