exp Mul x0 Mul atanh x0 asech Mul acot x5 x0 
Mul exp Mul x0 Mul atanh x0 asech Mul acot x5 x0 Add Mul atanh x0 asech Mul acot x5 x0 Mul x0 Add Mul asech Mul acot x5 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 Mul acot x5 Pow Mul Mul Mul acot x5 x0 Mul acot x5 x0 sqrt Add 1 Mul -1 Pow Mul Mul acot x5 x0 Mul acot x5 x0 -1 -1 