Mul x5 Pow acosh tanh E Pow Pow acos pi x3 x0 
Mul x5 Mul Pow acosh tanh E Add Pow Pow acos pi x3 x0 -1 Mul Mul acosh tanh E log acosh tanh E Mul Pow Pow acos pi x3 Add x0 -1 Mul Pow acos pi x3 log Pow acos pi x3 