Pow asinh Pow asech x3 pi Pow Mul x0 Add 4 x0 -0.0366435703258656 
Mul Pow asinh Pow asech x3 pi Add Pow Mul x0 Add 4 x0 -0.0366435703258656 -1 Mul Mul asinh Pow asech x3 pi log asinh Pow asech x3 pi Mul Pow Mul x0 Add 4 x0 -1.03664357032587 Mul -0.0366435703258656 Add Add 4 x0 x0 