Pow Pow Add pi x5 Add x7 Add x0 x0 Mul Mul Pow x5 x0 Pow x0 x0 acosh x1 
Mul Pow Pow Add pi x5 Add x7 Add x0 x0 Add Mul Mul Pow x5 x0 Pow x0 x0 acosh x1 -1 Add Mul Mul Mul Pow x5 x0 Pow x0 x0 acosh x1 Mul Pow Add pi x5 Add Add x7 Add x0 x0 -1 Mul Mul Add pi x5 log Add pi x5 2 Mul Mul Pow Add pi x5 Add x7 Add x0 x0 log Pow Add pi x5 Add x7 Add x0 x0 Mul acosh x1 Add Mul Pow x0 x0 Mul Pow x5 Add x0 -1 Mul x5 log x5 Mul Pow x5 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 