log Mul x0 sinh Add 3 Add atanh Add Mul x4 2 Mul x0 sqrt x3 Pow Mul x0 x0 x7 
Mul Add sinh Add 3 Add atanh Add Mul x4 2 Mul x0 sqrt x3 Pow Mul x0 x0 x7 Mul x0 Mul cosh Add 3 Add atanh Add Mul x4 2 Mul x0 sqrt x3 Pow Mul x0 x0 x7 Add Mul sqrt x3 Pow Add 1 Mul -1 Mul Add Mul x4 2 Mul x0 sqrt x3 Add Mul x4 2 Mul x0 sqrt x3 -1 Mul Pow Mul x0 x0 Add x7 -1 Mul x7 Add x0 x0 Pow Mul x0 sinh Add 3 Add atanh Add Mul x4 2 Mul x0 sqrt x3 Pow Mul x0 x0 x7 -1 