sinh Mul acos Pow Mul x0 atanh x5 x0 3.64805427366389 
Mul cosh Mul acos Pow Mul x0 atanh x5 x0 3.64805427366389 Mul 3.64805427366389 Mul -1 Mul Mul Pow Mul x0 atanh x5 Add x0 -1 Add Mul x0 atanh x5 Mul Mul x0 atanh x5 log Mul x0 atanh x5 Pow sqrt Add 1 Mul -1 Mul Pow Mul x0 atanh x5 x0 Pow Mul x0 atanh x5 x0 -1 