Pow x4 exp asin Mul Add Mul Mul -4 cosh Mul x5 -1 acot x5 x0 x0 
Mul Pow x4 Add exp asin Mul Add Mul Mul -4 cosh Mul x5 -1 acot x5 x0 x0 -1 Mul Mul x4 log x4 Mul exp asin Mul Add Mul Mul -4 cosh Mul x5 -1 acot x5 x0 x0 Mul Add x0 Add Mul Mul -4 cosh Mul x5 -1 acot x5 x0 Pow sqrt Add 1 Mul -1 Mul Mul Add Mul Mul -4 cosh Mul x5 -1 acot x5 x0 x0 Mul Add Mul Mul -4 cosh Mul x5 -1 acot x5 x0 x0 -1 