Pow Mul acoth atanh asec x0 Pow Add -2 x0 Mul x0 x4 log x2 
Mul Pow Mul acoth atanh asec x0 Pow Add -2 x0 Mul x0 x4 Add log x2 -1 Mul log x2 Add Mul Pow Add -2 x0 Mul x0 x4 Mul Mul Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul -1 Mul asec x0 asec x0 -1 Pow Add 1 Mul -1 Mul atanh asec x0 atanh asec x0 -1 Mul acoth atanh asec x0 Mul Pow Add -2 x0 Add Mul x0 x4 -1 Add Mul x0 x4 Mul Mul Add -2 x0 log Add -2 x0 x4 