Mul -1.00009080398202 Pow Mul 3 Pow acosh E Add Pow x0 x3 x0 pi 
Mul -1.00009080398202 Mul Pow Mul 3 Pow acosh E Add Pow x0 x3 x0 Add pi -1 Mul pi Mul 3 Mul Pow acosh E Add Add Pow x0 x3 x0 -1 Mul Mul acosh E log acosh E Add Mul Pow x0 Add x3 -1 x3 1 