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