Mul x1 sec acoth sec acosh x0 
Mul x1 Mul Mul tan acoth sec acosh x0 sec acoth sec acosh x0 Mul Mul Mul tan acosh x0 sec acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul -1 Mul sec acosh x0 sec acosh x0 -1 