atanh Pow x0 Add exp tan Pow x0 Pow x0 -1 Add Pow Mul -5 Mul x0 atanh x0 atanh acot x1 3 
Mul Mul Pow x0 Add Add exp tan Pow x0 Pow x0 -1 Add Pow Mul -5 Mul x0 atanh x0 atanh acot x1 3 -1 Add Add exp tan Pow x0 Pow x0 -1 Add Pow Mul -5 Mul x0 atanh x0 atanh acot x1 3 Mul Mul x0 log x0 Add Mul exp tan Pow x0 Pow x0 -1 Mul Pow sec Pow x0 Pow x0 -1 2 Mul Pow x0 Add Pow x0 -1 -1 Add Pow x0 -1 Mul Mul x0 log x0 Mul Pow x0 2 -1 Mul Pow Mul -5 Mul x0 atanh x0 Add atanh acot x1 -1 Mul atanh acot x1 Mul -5 Add atanh x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow x0 Add exp tan Pow x0 Pow x0 -1 Add Pow Mul -5 Mul x0 atanh x0 atanh acot x1 3 Pow x0 Add exp tan Pow x0 Pow x0 -1 Add Pow Mul -5 Mul x0 atanh x0 atanh acot x1 3 -1 