Mul tan acosh Add Pow Mul E pi x0 Mul x0 Mul Add Add x2 4 x0 -4 Mul asin x1 E 
Mul Mul asin x1 E Mul Pow sec acosh Add Pow Mul E pi x0 Mul x0 Mul Add Add x2 4 x0 -4 2 Mul Add Mul Pow Mul E pi Add x0 -1 Mul Mul E pi log Mul E pi Add Mul Add Add x2 4 x0 -4 Mul x0 -4 Pow Mul sqrt Add Add Pow Mul E pi x0 Mul x0 Mul Add Add x2 4 x0 -4 -1 sqrt Add 1 Add Pow Mul E pi x0 Mul x0 Mul Add Add x2 4 x0 -4 -1 