Pow Mul Pow asech acoth x0 exp Mul x0 x0 0.734591826252022 asec x0 
Mul Pow Mul Pow asech acoth x0 exp Mul x0 x0 0.734591826252022 Add asec x0 -1 Add Mul asec x0 Mul 0.734591826252022 Mul Pow asech acoth x0 Add exp Mul x0 x0 -1 Add Mul exp Mul x0 x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul acoth x0 acoth x0 sqrt Add 1 Mul -1 Pow Mul acoth x0 acoth x0 -1 -1 Mul Mul asech acoth x0 log asech acoth x0 Mul exp Mul x0 x0 Add x0 x0 Mul Mul Mul Pow asech acoth x0 exp Mul x0 x0 0.734591826252022 log Mul Pow asech acoth x0 exp Mul x0 x0 0.734591826252022 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 