acot atanh Mul 3 Mul x0 Pow x0 Mul Mul acot x3 5 5 
Mul -1 Mul Mul Mul 3 Add Pow x0 Mul Mul acot x3 5 5 Mul x0 Mul Pow x0 Add Mul Mul acot x3 5 5 -1 Mul Mul acot x3 5 5 Pow Add 1 Mul -1 Mul Mul 3 Mul x0 Pow x0 Mul Mul acot x3 5 5 Mul 3 Mul x0 Pow x0 Mul Mul acot x3 5 5 -1 Pow Add 1 Mul atanh Mul 3 Mul x0 Pow x0 Mul Mul acot x3 5 5 atanh Mul 3 Mul x0 Pow x0 Mul Mul acot x3 5 5 -1 