Pow acosh Add Mul cosh Add x0 1 Mul x4 x0 2 Pow Mul -2 Mul 3 x0 x0 
Mul Pow acosh Add Mul cosh Add x0 1 Mul x4 x0 2 Add Pow Mul -2 Mul 3 x0 x0 -1 Add Mul Pow Mul -2 Mul 3 x0 x0 Mul Add Mul Mul x4 x0 sinh Add x0 1 Mul cosh Add x0 1 x4 Pow Mul sqrt Add Add Mul cosh Add x0 1 Mul x4 x0 2 -1 sqrt Add 1 Add Mul cosh Add x0 1 Mul x4 x0 2 -1 Mul Mul acosh Add Mul cosh Add x0 1 Mul x4 x0 2 log acosh Add Mul cosh Add x0 1 Mul x4 x0 2 Mul Pow Mul -2 Mul 3 x0 Add x0 -1 Add x0 Mul Mul -2 Mul 3 x0 log Mul -2 Mul 3 x0 