Add 0.761594155955765 Mul acoth Mul x0 asin Mul cosh log x0 -4 x7 
Mul x7 Mul Add asin Mul cosh log x0 -4 Mul x0 Mul Mul -4 Mul sinh log x0 Pow x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul cosh log x0 -4 Mul cosh log x0 -4 -1 Pow Add 1 Mul -1 Mul Mul x0 asin Mul cosh log x0 -4 Mul x0 asin Mul cosh log x0 -4 -1 