Pow Add Add cbrt Mul acos asinh pi x0 1 cosh x0 x4 
Mul Pow Add Add cbrt Mul acos asinh pi x0 1 cosh x0 Add x4 -1 Mul x4 Add Mul Pow Mul Mul 3 cbrt Mul acos asinh pi x0 cbrt Mul acos asinh pi x0 -1 acos asinh pi sinh x0 