Mul Pow Mul -3 x0 Mul 3 Add x0 Mul x0 cosh Add x0 Pow Pow Add Mul x5 Add acosh x0 x0 x0 -0.125000000000000 x3 x0 
Add Mul x0 Mul Pow Mul -3 x0 Add Mul 3 Add x0 Mul x0 cosh Add x0 Pow Pow Add Mul x5 Add acosh x0 x0 x0 -0.125000000000000 x3 -1 Add Mul Mul 3 Add x0 Mul x0 cosh Add x0 Pow Pow Add Mul x5 Add acosh x0 x0 x0 -0.125000000000000 x3 -3 Mul Mul Mul -3 x0 log Mul -3 x0 Mul 3 Add 1 Add cosh Add x0 Pow Pow Add Mul x5 Add acosh x0 x0 x0 -0.125000000000000 x3 Mul x0 Mul sinh Add x0 Pow Pow Add Mul x5 Add acosh x0 x0 x0 -0.125000000000000 x3 Add 1 Mul Pow Pow Add Mul x5 Add acosh x0 x0 x0 -0.125000000000000 Add x3 -1 Mul x3 Mul Pow Add Mul x5 Add acosh x0 x0 x0 -1.12500000000000 Mul -0.125000000000000 Add Mul x5 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 1 Pow Mul -3 x0 Mul 3 Add x0 Mul x0 cosh Add x0 Pow Pow Add Mul x5 Add acosh x0 x0 x0 -0.125000000000000 x3 