Mul asech Mul Pow atanh acot x5 Add acos E exp Mul x0 Pow x0 x0 sqrt x6 -5 
Mul -5 Mul Mul sqrt x6 Mul Pow atanh acot x5 Add Add acos E exp Mul x0 Pow x0 x0 -1 Mul Mul atanh acot x5 log atanh acot x5 Mul exp Mul x0 Pow x0 x0 Add Pow x0 x0 Mul x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Mul Mul Mul Pow atanh acot x5 Add acos E exp Mul x0 Pow x0 x0 sqrt x6 Mul Pow atanh acot x5 Add acos E exp Mul x0 Pow x0 x0 sqrt x6 sqrt Add 1 Mul -1 Pow Mul Mul Pow atanh acot x5 Add acos E exp Mul x0 Pow x0 x0 sqrt x6 Mul Pow atanh acot x5 Add acos E exp Mul x0 Pow x0 x0 sqrt x6 -1 -1 