acos Mul x2 Add Mul x0 sinh Pow x0 Mul Pow pi x1 x0 Add acosh x0 x0 
Mul -1 Mul Mul x2 Add Add sinh Pow x0 Mul Pow pi x1 x0 Mul x0 Mul cosh Pow x0 Mul Pow pi x1 x0 Mul Pow x0 Add Mul Pow pi x1 x0 -1 Add Mul Pow pi x1 x0 Mul Mul x0 log x0 Pow pi x1 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 Pow sqrt Add 1 Mul -1 Mul Mul x2 Add Mul x0 sinh Pow x0 Mul Pow pi x1 x0 Add acosh x0 x0 Mul x2 Add Mul x0 sinh Pow x0 Mul Pow pi x1 x0 Add acosh x0 x0 -1 