Pow Mul Mul Pow Add x3 pi x0 Pow x0 acosh x4 Mul x0 E atan x4 
Mul Pow Mul Mul Pow Add x3 pi x0 Pow x0 acosh x4 Mul x0 E Add atan x4 -1 Mul atan x4 Add Mul Mul x0 E Add Mul Pow x0 acosh x4 Mul Pow Add x3 pi Add x0 -1 Mul Add x3 pi log Add x3 pi Mul Pow Add x3 pi x0 Mul Pow x0 Add acosh x4 -1 acosh x4 Mul Mul Pow Add x3 pi x0 Pow x0 acosh x4 E 