Pow log cos x6 sinh Mul pi tanh Add Mul exp x0 acot acosh x0 x0 
Mul Pow log cos x6 Add sinh Mul pi tanh Add Mul exp x0 acot acosh x0 x0 -1 Mul Mul log cos x6 log log cos x6 Mul cosh Mul pi tanh Add Mul exp x0 acot acosh x0 x0 Mul pi Mul Pow sech Add Mul exp x0 acot acosh x0 x0 2 Add Add Mul acot acosh x0 exp x0 Mul exp x0 Mul -1 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul acosh x0 acosh x0 -1 1 