asech log sinh Pow x0 Add acosh x0 Add x0 x3 
Mul Mul Mul cosh Pow x0 Add acosh x0 Add x0 x3 Mul Pow x0 Add Add acosh x0 Add x0 x3 -1 Add Add acosh x0 Add x0 x3 Mul Mul x0 log x0 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 Pow sinh Pow x0 Add acosh x0 Add x0 x3 -1 Pow Mul Mul log sinh Pow x0 Add acosh x0 Add x0 x3 log sinh Pow x0 Add acosh x0 Add x0 x3 sqrt Add 1 Mul -1 Pow Mul log sinh Pow x0 Add acosh x0 Add x0 x3 log sinh Pow x0 Add acosh x0 Add x0 x3 -1 -1 