cosh Pow Pow x2 -3 Mul exp acos x0 Mul acot x1 Mul x3 x5 
Mul sinh Pow Pow x2 -3 Mul exp acos x0 Mul acot x1 Mul x3 x5 Mul Pow Pow x2 -3 Add Mul exp acos x0 Mul acot x1 Mul x3 x5 -1 Mul Mul Pow x2 -3 log Pow x2 -3 Mul Mul acot x1 Mul x3 x5 Mul exp acos x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 