Add Mul -1 Pow Pow acosh x0 log Add 1 x4 acsch Mul x7 csch Mul acos pi x2 x0 
Add Mul -1 Mul Pow Pow acosh x0 log Add 1 x4 Add acsch Mul x7 csch Mul acos pi x2 -1 Mul acsch Mul x7 csch Mul acos pi x2 Mul Pow acosh x0 Add log Add 1 x4 -1 Mul log Add 1 x4 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 