Mul Pow Add Mul acosh x0 E Pow Pow log Mul exp Mul -4 x0 Pow x3 Add x0 x0 x0 x1 x0 cosh Add x0 x0 
Add Mul cosh Add x0 x0 Mul Pow Add Mul acosh x0 E Pow Pow log Mul exp Mul -4 x0 Pow x3 Add x0 x0 x0 x1 Add x0 -1 Add Mul x0 Add Mul E Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow Pow log Mul exp Mul -4 x0 Pow x3 Add x0 x0 x0 Add x1 -1 Mul x1 Mul Pow log Mul exp Mul -4 x0 Pow x3 Add x0 x0 Add x0 -1 Add Mul x0 Mul Add Mul Pow x3 Add x0 x0 Mul exp Mul -4 x0 -4 Mul exp Mul -4 x0 Mul Pow x3 Add Add x0 x0 -1 Mul Mul x3 log x3 2 Pow Mul exp Mul -4 x0 Pow x3 Add x0 x0 -1 Mul log Mul exp Mul -4 x0 Pow x3 Add x0 x0 log log Mul exp Mul -4 x0 Pow x3 Add x0 x0 Mul Add Mul acosh x0 E Pow Pow log Mul exp Mul -4 x0 Pow x3 Add x0 x0 x0 x1 log Add Mul acosh x0 E Pow Pow log Mul exp Mul -4 x0 Pow x3 Add x0 x0 x0 x1 Mul Pow Add Mul acosh x0 E Pow Pow log Mul exp Mul -4 x0 Pow x3 Add x0 x0 x0 x1 x0 Mul sinh Add x0 x0 2 