Pow Pow acoth asinh sec Mul x0 Add Mul x0 x0 acosh pi x7 cot x0 
Mul Pow Pow acoth asinh sec Mul x0 Add Mul x0 x0 acosh pi x7 Add cot x0 -1 Add Mul cot x0 Mul Pow acoth asinh sec Mul x0 Add Mul x0 x0 acosh pi Add x7 -1 Mul x7 Mul Mul Mul Mul tan Mul x0 Add Mul x0 x0 acosh pi sec Mul x0 Add Mul x0 x0 acosh pi Add Add Mul x0 x0 acosh pi Mul x0 Add x0 x0 Pow sqrt Add 1 Mul sec Mul x0 Add Mul x0 x0 acosh pi sec Mul x0 Add Mul x0 x0 acosh pi -1 Pow Add 1 Mul -1 Mul asinh sec Mul x0 Add Mul x0 x0 acosh pi asinh sec Mul x0 Add Mul x0 x0 acosh pi -1 Mul Mul Pow acoth asinh sec Mul x0 Add Mul x0 x0 acosh pi x7 log Pow acoth asinh sec Mul x0 Add Mul x0 x0 acosh pi x7 Mul -1 Pow csc x0 2 