Mul tan tan Mul Pow x2 Pow x7 x0 Mul x0 x3 Add x0 Mul Mul pi acosh x0 2 
Add Mul Add x0 Mul Mul pi acosh x0 2 Mul Pow sec tan Mul Pow x2 Pow x7 x0 Mul x0 x3 2 Mul Pow sec Mul Pow x2 Pow x7 x0 Mul x0 x3 2 Add Mul Mul x0 x3 Mul Pow x2 Add Pow x7 x0 -1 Mul Mul x2 log x2 Mul Pow x7 Add x0 -1 Mul x7 log x7 Mul Pow x2 Pow x7 x0 x3 Mul tan tan Mul Pow x2 Pow x7 x0 Mul x0 x3 Add 1 Mul 2 Mul pi Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 