Mul sec Add x7 x0 cosh Pow Pow x3 Add x0 3 csch sqrt pi 
Add Mul cosh Pow Pow x3 Add x0 3 csch sqrt pi Mul tan Add x7 x0 sec Add x7 x0 Mul sec Add x7 x0 Mul sinh Pow Pow x3 Add x0 3 csch sqrt pi Mul Pow Pow x3 Add x0 3 Add csch sqrt pi -1 Mul csch sqrt pi Mul Pow x3 Add Add x0 3 -1 Mul x3 log x3 