Add Mul Pow x0 x4 asinh Add Add -1 Pow acoth Mul x0 Mul Mul x2 x0 tan tan Add -1 x7 x2 -3 x0 
Add Add Mul asinh Add Add -1 Pow acoth Mul x0 Mul Mul x2 x0 tan tan Add -1 x7 x2 -3 Mul Pow x0 Add x4 -1 x4 Mul Pow x0 x4 Mul Mul Pow acoth Mul x0 Mul Mul x2 x0 tan tan Add -1 x7 Add x2 -1 Mul x2 Mul Add Mul Mul x2 x0 tan tan Add -1 x7 Mul x0 Mul tan tan Add -1 x7 x2 Pow Add 1 Mul -1 Mul Mul x0 Mul Mul x2 x0 tan tan Add -1 x7 Mul x0 Mul Mul x2 x0 tan tan Add -1 x7 -1 Pow sqrt Add 1 Mul Add Add -1 Pow acoth Mul x0 Mul Mul x2 x0 tan tan Add -1 x7 x2 -3 Add Add -1 Pow acoth Mul x0 Mul Mul x2 x0 tan tan Add -1 x7 x2 -3 -1 1 