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