Mul sec atan Pow x2 Mul x0 x0 cbrt Mul acot x0 cosh Mul x0 Add x0 x0 
Add Mul cbrt Mul acot x0 cosh Mul x0 Add x0 x0 Mul Mul tan atan Pow x2 Mul x0 x0 sec atan Pow x2 Mul x0 x0 Mul Mul Pow x2 Add Mul x0 x0 -1 Mul Mul x2 log x2 Add x0 x0 Pow Add 1 Mul Pow x2 Mul x0 x0 Pow x2 Mul x0 x0 -1 Mul sec atan Pow x2 Mul x0 x0 Mul Pow Mul Mul 3 cbrt Mul acot x0 cosh Mul x0 Add x0 x0 cbrt Mul acot x0 cosh Mul x0 Add x0 x0 -1 Add Mul cosh Mul x0 Add x0 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul sinh Mul x0 Add x0 x0 Add Add x0 x0 Mul x0 2 