Add x0 Pow log atanh E Pow x0 Add sin x0 Pow Add Add acosh x0 x7 pi x0 
Add 1 Mul Pow log atanh E Add Pow x0 Add sin x0 Pow Add Add acosh x0 x7 pi x0 -1 Mul Mul log atanh E log log atanh E Mul Pow x0 Add Add sin x0 Pow Add Add acosh x0 x7 pi x0 -1 Add Add sin x0 Pow Add Add acosh x0 x7 pi x0 Mul Mul x0 log x0 Add cos x0 Mul Pow Add Add acosh x0 x7 pi Add x0 -1 Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Add Add acosh x0 x7 pi log Add Add acosh x0 x7 pi 