Pow acosh Pow tanh E Mul Mul x0 pi sec Pow acos Add x5 4 x0 x7 
Mul Pow acosh Pow tanh E Mul Mul x0 pi sec Pow acos Add x5 4 x0 Add x7 -1 Mul x7 Mul Mul Pow tanh E Add Mul Mul x0 pi sec Pow acos Add x5 4 x0 -1 Mul Mul tanh E log tanh E Add Mul sec Pow acos Add x5 4 x0 pi Mul Mul x0 pi Mul Mul tan Pow acos Add x5 4 x0 sec Pow acos Add x5 4 x0 Mul Pow acos Add x5 4 Add x0 -1 Mul acos Add x5 4 log acos Add x5 4 Pow Mul sqrt Add Pow tanh E Mul Mul x0 pi sec Pow acos Add x5 4 x0 -1 sqrt Add 1 Pow tanh E Mul Mul x0 pi sec Pow acos Add x5 4 x0 -1 