acosh Mul x7 Add acoth Add 3 Mul x4 x0 x0 
Mul Mul x7 Add Mul x4 Pow Add 1 Mul -1 Mul Add 3 Mul x4 x0 Add 3 Mul x4 x0 -1 1 Pow Mul sqrt Add Mul x7 Add acoth Add 3 Mul x4 x0 x0 -1 sqrt Add 1 Mul x7 Add acoth Add 3 Mul x4 x0 x0 -1 