Mul x0 Add x0 Pow Pow Mul cosh Mul x0 Mul sec x0 x0 x0 asin Pow atanh x0 6 acot Mul x7 -4 
Add Add x0 Pow Pow Mul cosh Mul x0 Mul sec x0 x0 x0 asin Pow atanh x0 6 acot Mul x7 -4 Mul x0 Add 1 Mul Pow Pow Mul cosh Mul x0 Mul sec x0 x0 x0 asin Pow atanh x0 6 Add acot Mul x7 -4 -1 Mul acot Mul x7 -4 Mul Pow Mul cosh Mul x0 Mul sec x0 x0 x0 Add asin Pow atanh x0 6 -1 Add Mul asin Pow atanh x0 6 Add Mul x0 Mul sinh Mul x0 Mul sec x0 x0 Add Mul sec x0 x0 Mul x0 Add Mul x0 Mul tan x0 sec x0 sec x0 cosh Mul x0 Mul sec x0 x0 Mul Mul Mul cosh Mul x0 Mul sec x0 x0 x0 log Mul cosh Mul x0 Mul sec x0 x0 x0 Mul Mul Pow atanh x0 5 Mul 6 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow atanh x0 6 Pow atanh x0 6 -1 