sech Mul asin acot x0 Pow sec Pow x2 sech Mul x5 x0 x0 
Mul Mul tanh Mul asin acot x0 Pow sec Pow x2 sech Mul x5 x0 x0 Mul -1 sech Mul asin acot x0 Pow sec Pow x2 sech Mul x5 x0 x0 Add Mul Pow sec Pow x2 sech Mul x5 x0 x0 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acot x0 acot x0 -1 Mul asin acot x0 Mul Pow sec Pow x2 sech Mul x5 x0 Add x0 -1 Add Mul x0 Mul Mul tan Pow x2 sech Mul x5 x0 sec Pow x2 sech Mul x5 x0 Mul Pow x2 Add sech Mul x5 x0 -1 Mul Mul x2 log x2 Mul Mul tanh Mul x5 x0 Mul -1 sech Mul x5 x0 x5 Mul sec Pow x2 sech Mul x5 x0 log sec Pow x2 sech Mul x5 x0 