Mul Pow Pow Mul acosh x2 Mul acos Add Mul x0 x0 x0 sech x0 x5 sinh x0 3 
Mul 3 Mul Pow Pow Mul acosh x2 Mul acos Add Mul x0 x0 x0 sech x0 x5 Add sinh x0 -1 Add Mul sinh x0 Mul Pow Mul acosh x2 Mul acos Add Mul x0 x0 x0 sech x0 Add x5 -1 Mul x5 Mul acosh x2 Add Mul sech x0 Mul -1 Mul Add Add x0 x0 1 Pow sqrt Add 1 Mul -1 Mul Add Mul x0 x0 x0 Add Mul x0 x0 x0 -1 Mul acos Add Mul x0 x0 x0 Mul tanh x0 Mul -1 sech x0 Mul Mul Pow Mul acosh x2 Mul acos Add Mul x0 x0 x0 sech x0 x5 log Pow Mul acosh x2 Mul acos Add Mul x0 x0 x0 sech x0 x5 cosh x0 