Mul Pow acosh cosh Mul x0 Mul x0 x7 -4 Mul x0 atanh x4 
Add Mul Mul x0 atanh x4 Mul Pow acosh cosh Mul x0 Mul x0 x7 5 Mul -4 Mul Mul sinh Mul x0 Mul x0 x7 Add Mul x0 x7 Mul x0 x7 Pow Mul sqrt Add cosh Mul x0 Mul x0 x7 -1 sqrt Add 1 cosh Mul x0 Mul x0 x7 -1 Mul Pow acosh cosh Mul x0 Mul x0 x7 -4 atanh x4 