Pow acos x0 Add Mul acsch Mul -2 Add x0 Mul x0 -1 Add Pow x6 Add sqrt x7 Add Add x7 acoth x2 pi x0 5 
Mul Pow acos x0 Add Add Mul acsch Mul -2 Add x0 Mul x0 -1 Add Pow x6 Add sqrt x7 Add Add x7 acoth x2 pi x0 5 -1 Add Mul Add Mul acsch Mul -2 Add x0 Mul x0 -1 Add Pow x6 Add sqrt x7 Add Add x7 acoth x2 pi x0 5 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acos x0 log acos x0 acsch Mul -2 Add x0 Mul x0 -1 