Mul acosh acot asin Add asin Add 1 x4 sinh x0 x0 
Add Mul x0 Mul Mul -1 Mul Mul cosh x0 Pow sqrt Add 1 Mul -1 Mul Add asin Add 1 x4 sinh x0 Add asin Add 1 x4 sinh x0 -1 Pow Add 1 Mul asin Add asin Add 1 x4 sinh x0 asin Add asin Add 1 x4 sinh x0 -1 Pow Mul sqrt Add acot asin Add asin Add 1 x4 sinh x0 -1 sqrt Add 1 acot asin Add asin Add 1 x4 sinh x0 -1 acosh acot asin Add asin Add 1 x4 sinh x0 