Pow Pow Mul Mul x0 Mul acosh Mul cosh x7 x0 Pow -1 pi x0 4 x7 
Mul Pow Pow Mul Mul x0 Mul acosh Mul cosh x7 x0 Pow -1 pi x0 4 Add x7 -1 Mul x7 Mul Pow Mul Mul x0 Mul acosh Mul cosh x7 x0 Pow -1 pi x0 3 Mul 4 Add Mul x0 Add Mul acosh Mul cosh x7 x0 Pow -1 pi Mul x0 Mul Pow -1 pi Mul cosh x7 Pow Mul sqrt Add Mul cosh x7 x0 -1 sqrt Add 1 Mul cosh x7 x0 -1 Mul x0 Mul acosh Mul cosh x7 x0 Pow -1 pi 