Pow x1 acos Mul Add Add x0 Add Add Mul x0 2 Mul x7 Mul acsch x0 x0 -4 Add x0 x0 x4 
Mul Pow x1 Add acos Mul Add Add x0 Add Add Mul x0 2 Mul x7 Mul acsch x0 x0 -4 Add x0 x0 x4 -1 Mul Mul x1 log x1 Mul -1 Mul Mul x4 Add Add 1 Add 2 Mul x7 Add Mul x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 acsch x0 2 Pow sqrt Add 1 Mul -1 Mul Mul Add Add x0 Add Add Mul x0 2 Mul x7 Mul acsch x0 x0 -4 Add x0 x0 x4 Mul Add Add x0 Add Add Mul x0 2 Mul x7 Mul acsch x0 x0 -4 Add x0 x0 x4 -1 