Add Pow Pow x2 sqrt Add Mul x0 x0 Mul Mul x4 x0 x0 Mul 0.999909204262595 Pow acoth x1 acsch Mul acosh x0 3 x0 
Add Mul Pow Pow x2 sqrt Add Mul x0 x0 Mul Mul x4 x0 x0 Add Mul 0.999909204262595 Pow acoth x1 acsch Mul acosh x0 3 -1 Add Mul Mul 0.999909204262595 Pow acoth x1 acsch Mul acosh x0 3 Mul Pow x2 Add sqrt Add Mul x0 x0 Mul Mul x4 x0 x0 -1 Mul Mul x2 log x2 Mul Pow Mul 2 sqrt Add Mul x0 x0 Mul Mul x4 x0 x0 -1 Add Add x0 x0 Add Mul x0 x4 Mul x4 x0 Mul Mul Pow x2 sqrt Add Mul x0 x0 Mul Mul x4 x0 x0 log Pow x2 sqrt Add Mul x0 x0 Mul Mul x4 x0 x0 Mul 0.999909204262595 Mul Pow acoth x1 Add acsch Mul acosh x0 3 -1 Mul Mul acoth x1 log acoth x1 Mul Mul -1 Mul 3 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul Mul acosh x0 3 Mul acosh x0 3 sqrt Add 1 Mul -1 Pow Mul Mul acosh x0 3 Mul acosh x0 3 -1 -1 1 