atanh Pow Mul 5 x0 Pow x0 Mul x0 Add Mul x3 x0 sec sin Mul sqrt sinh Pow acot x1 3 -2 
Mul Mul Pow Mul 5 x0 Add Pow x0 Mul x0 Add Mul x3 x0 sec sin Mul sqrt sinh Pow acot x1 3 -2 -1 Add Mul Pow x0 Mul x0 Add Mul x3 x0 sec sin Mul sqrt sinh Pow acot x1 3 -2 5 Mul Mul Mul 5 x0 log Mul 5 x0 Mul Pow x0 Add Mul x0 Add Mul x3 x0 sec sin Mul sqrt sinh Pow acot x1 3 -2 -1 Add Mul x0 Add Mul x3 x0 sec sin Mul sqrt sinh Pow acot x1 3 -2 Mul Mul x0 log x0 Add Add Mul x3 x0 sec sin Mul sqrt sinh Pow acot x1 3 -2 Mul x0 x3 Pow Add 1 Mul -1 Mul Pow Mul 5 x0 Pow x0 Mul x0 Add Mul x3 x0 sec sin Mul sqrt sinh Pow acot x1 3 -2 Pow Mul 5 x0 Pow x0 Mul x0 Add Mul x3 x0 sec sin Mul sqrt sinh Pow acot x1 3 -2 -1 