asech acoth Pow x0 Pow Pow asech acos x3 x4 4 
Mul Mul Mul Pow x0 Add Pow Pow asech acos x3 x4 4 -1 Pow Pow asech acos x3 x4 4 Pow Add 1 Mul -1 Mul Pow x0 Pow Pow asech acos x3 x4 4 Pow x0 Pow Pow asech acos x3 x4 4 -1 Pow Mul Mul acoth Pow x0 Pow Pow asech acos x3 x4 4 acoth Pow x0 Pow Pow asech acos x3 x4 4 sqrt Add 1 Mul -1 Pow Mul acoth Pow x0 Pow Pow asech acos x3 x4 4 acoth Pow x0 Pow Pow asech acos x3 x4 4 -1 -1 