Add asin x0 Pow Mul x0 Pow Pow Add x5 Pow asec x0 Pow acoth x0 pi atan x0 Mul x7 tan Pow x0 x0 x1 
Add Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Mul x0 Pow Pow Add x5 Pow asec x0 Pow acoth x0 pi atan x0 Mul x7 tan Pow x0 x0 Add x1 -1 Mul x1 Add Pow Pow Add x5 Pow asec x0 Pow acoth x0 pi atan x0 Mul x7 tan Pow x0 x0 Mul x0 Mul Pow Pow Add x5 Pow asec x0 Pow acoth x0 pi atan x0 Add Mul x7 tan Pow x0 x0 -1 Add Mul Mul x7 tan Pow x0 x0 Mul Pow Add x5 Pow asec x0 Pow acoth x0 pi Add atan x0 -1 Add Mul atan x0 Mul Pow asec x0 Add Pow acoth x0 pi -1 Add Mul Pow acoth x0 pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Mul asec x0 log asec x0 Mul Pow acoth x0 Add pi -1 Mul pi Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add x5 Pow asec x0 Pow acoth x0 pi log Add x5 Pow asec x0 Pow acoth x0 pi Pow Add 1 Mul x0 x0 -1 Mul Mul Pow Add x5 Pow asec x0 Pow acoth x0 pi atan x0 log Pow Add x5 Pow asec x0 Pow acoth x0 pi atan x0 Mul x7 Mul Pow sec Pow x0 x0 2 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 