Pow acoth x4 Add Mul x6 2 Add asinh acosh Mul x3 Mul x0 2 4 
Mul Pow acoth x4 Add Add Mul x6 2 Add asinh acosh Mul x3 Mul x0 2 4 -1 Mul Mul acoth x4 log acoth x4 Mul Mul Mul x3 2 Pow Mul sqrt Add Mul x3 Mul x0 2 -1 sqrt Add 1 Mul x3 Mul x0 2 -1 Pow sqrt Add 1 Mul acosh Mul x3 Mul x0 2 acosh Mul x3 Mul x0 2 -1 