sinh log Mul acos sinh Add Mul Add x0 Mul x0 x0 4 pi -3 
Mul cosh log Mul acos sinh Add Mul Add x0 Mul x0 x0 4 pi -3 Mul Mul -3 Mul -1 Mul Mul cosh Add Mul Add x0 Mul x0 x0 4 pi Mul 4 Add 1 Add x0 x0 Pow sqrt Add 1 Mul -1 Mul sinh Add Mul Add x0 Mul x0 x0 4 pi sinh Add Mul Add x0 Mul x0 x0 4 pi -1 Pow Mul acos sinh Add Mul Add x0 Mul x0 x0 4 pi -3 -1 