Mul x3 Pow log Pow Add acot x6 acosh x0 cosh exp Add cosh x0 Add sec Mul x0 x0 x6 x0 
Mul x3 Mul Pow log Pow Add acot x6 acosh x0 cosh exp Add cosh x0 Add sec Mul x0 x0 x6 Add x0 -1 Add Mul x0 Mul Mul Pow Add acot x6 acosh x0 Add cosh exp Add cosh x0 Add sec Mul x0 x0 x6 -1 Add Mul cosh exp Add cosh x0 Add sec Mul x0 x0 x6 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Add acot x6 acosh x0 log Add acot x6 acosh x0 Mul sinh exp Add cosh x0 Add sec Mul x0 x0 x6 Mul exp Add cosh x0 Add sec Mul x0 x0 x6 Add sinh x0 Mul Mul tan Mul x0 x0 sec Mul x0 x0 Add x0 x0 Pow Pow Add acot x6 acosh x0 cosh exp Add cosh x0 Add sec Mul x0 x0 x6 -1 Mul log Pow Add acot x6 acosh x0 cosh exp Add cosh x0 Add sec Mul x0 x0 x6 log log Pow Add acot x6 acosh x0 cosh exp Add cosh x0 Add sec Mul x0 x0 x6 