Mul acos Mul asinh Mul x0 Add Mul Mul x0 pi x0 Mul acosh x0 3 cosh x0 Pow x5 x2 
Mul Pow x5 x2 Mul -1 Mul Add Mul cosh x0 Mul Add Add Mul Mul x0 pi x0 Mul acosh x0 3 Mul x0 Add Add Mul x0 pi Mul x0 pi Mul 3 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow sqrt Add 1 Mul Mul x0 Add Mul Mul x0 pi x0 Mul acosh x0 3 Mul x0 Add Mul Mul x0 pi x0 Mul acosh x0 3 -1 Mul asinh Mul x0 Add Mul Mul x0 pi x0 Mul acosh x0 3 sinh x0 Pow sqrt Add 1 Mul -1 Mul Mul asinh Mul x0 Add Mul Mul x0 pi x0 Mul acosh x0 3 cosh x0 Mul asinh Mul x0 Add Mul Mul x0 pi x0 Mul acosh x0 3 cosh x0 -1 