Mul asin x2 Add x5 Mul 3 cosh Mul x0 Mul x4 Pow acot x1 Mul Mul -2 x7 x0 
Mul asin x2 Mul 3 Mul sinh Mul x0 Mul x4 Pow acot x1 Mul Mul -2 x7 x0 Add Mul x4 Pow acot x1 Mul Mul -2 x7 x0 Mul x0 Mul x4 Mul Pow acot x1 Add Mul Mul -2 x7 x0 -1 Mul Mul acot x1 log acot x1 Mul -2 x7 