Mul x1 Pow acosh cot acos Pow x7 Add x0 x0 Pow Mul pi x0 Add x0 Add log x0 4 
Mul x1 Mul Pow acosh cot acos Pow x7 Add x0 x0 Add Pow Mul pi x0 Add x0 Add log x0 4 -1 Add Mul Pow Mul pi x0 Add x0 Add log x0 4 Mul Mul Mul -1 Pow csc acos Pow x7 Add x0 x0 2 Mul -1 Mul Mul Pow x7 Add Add x0 x0 -1 Mul Mul x7 log x7 2 Pow sqrt Add 1 Mul -1 Mul Pow x7 Add x0 x0 Pow x7 Add x0 x0 -1 Pow Mul sqrt Add cot acos Pow x7 Add x0 x0 -1 sqrt Add 1 cot acos Pow x7 Add x0 x0 -1 Mul Mul acosh cot acos Pow x7 Add x0 x0 log acosh cot acos Pow x7 Add x0 x0 Mul Pow Mul pi x0 Add Add x0 Add log x0 4 -1 Add Mul Add x0 Add log x0 4 pi Mul Mul Mul pi x0 log Mul pi x0 Add 1 Pow x0 -1 