Mul Mul Mul Pow atanh x4 Add atan x0 sin x0 acoth asec x2 asin x0 E 
Mul E Add Mul asin x0 Mul acoth asec x2 Mul Pow atanh x4 Add Add atan x0 sin x0 -1 Mul Mul atanh x4 log atanh x4 Add Pow Add 1 Mul x0 x0 -1 cos x0 Mul Mul Pow atanh x4 Add atan x0 sin x0 acoth asec x2 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 