Pow Pow Mul asin acosh x0 tanh Mul 2 x0 x0 x2 
Mul Pow Pow Mul asin acosh x0 tanh Mul 2 x0 x0 Add x2 -1 Mul x2 Mul Pow Mul asin acosh x0 tanh Mul 2 x0 Add x0 -1 Add Mul x0 Add Mul tanh Mul 2 x0 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow sqrt Add 1 Mul -1 Mul acosh x0 acosh x0 -1 Mul asin acosh x0 Mul Pow sech Mul 2 x0 2 2 Mul Mul asin acosh x0 tanh Mul 2 x0 log Mul asin acosh x0 tanh Mul 2 x0 