Pow x0 Mul cosh Mul x0 pi atan log Pow tanh sqrt Add x6 pi -3 
Mul Pow x0 Add Mul cosh Mul x0 pi atan log Pow tanh sqrt Add x6 pi -3 -1 Add Mul cosh Mul x0 pi atan log Pow tanh sqrt Add x6 pi -3 Mul Mul x0 log x0 Mul atan log Pow tanh sqrt Add x6 pi -3 Mul sinh Mul x0 pi pi 