Add 4 Mul Mul x4 x6 Pow acosh Mul acoth x0 x5 2 
Mul Mul x4 x6 Mul acosh Mul acoth x0 x5 Mul 2 Mul Mul x5 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add Mul acoth x0 x5 -1 sqrt Add 1 Mul acoth x0 x5 -1 