Pow Mul acosh acoth E x2 Pow asec x0 -3 
Mul Pow Mul acosh acoth E x2 Add Pow asec x0 -3 -1 Mul Mul Mul acosh acoth E x2 log Mul acosh acoth E x2 Mul Pow asec x0 4 Mul -3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 