log asec acsch Add Mul x0 x0 atanh pi 
Mul Mul Mul Mul -1 Add x0 x0 Pow Mul Mul Add Mul x0 x0 atanh pi Add Mul x0 x0 atanh pi sqrt Add 1 Mul -1 Pow Mul Add Mul x0 x0 atanh pi Add Mul x0 x0 atanh pi -1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acsch Add Mul x0 x0 atanh pi acsch Add Mul x0 x0 atanh pi -1 acsch Add Mul x0 x0 atanh pi acsch Add Mul x0 x0 atanh pi -1 Pow asec acsch Add Mul x0 x0 atanh pi -1 