Mul Mul Pow Pow atanh E E sec asech x0 Add log x0 x7 Mul acoth pi -5 
Mul Mul acoth pi -5 Add Mul Add log x0 x7 Mul Pow Pow atanh E E Add sec asech x0 -1 Mul Mul Pow atanh E E log Pow atanh E E Mul Mul tan asech x0 sec asech x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Pow Pow atanh E E sec asech x0 Pow x0 -1 