Pow Add atan Mul x0 pi x7 Add acosh acsch tan Mul x5 acosh x0 acos x0 
Mul Pow Add atan Mul x0 pi x7 Add Add acosh acsch tan Mul x5 acosh x0 acos x0 -1 Add Mul Add acosh acsch tan Mul x5 acosh x0 acos x0 Mul pi Pow Add 1 Mul Mul x0 pi Mul x0 pi -1 Mul Mul Add atan Mul x0 pi x7 log Add atan Mul x0 pi x7 Add Mul Mul Mul -1 Mul Pow sec Mul x5 acosh x0 2 Mul x5 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul tan Mul x5 acosh x0 tan Mul x5 acosh x0 sqrt Add 1 Mul -1 Pow Mul tan Mul x5 acosh x0 tan Mul x5 acosh x0 -1 -1 Pow Mul sqrt Add acsch tan Mul x5 acosh x0 -1 sqrt Add 1 acsch tan Mul x5 acosh x0 -1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 