Pow acsch Add acos Mul x3 4 2 acsch Add Add 1 pi asech sqrt x0 
Mul Pow acsch Add acos Mul x3 4 2 Add acsch Add Add 1 pi asech sqrt x0 -1 Mul Mul acsch Add acos Mul x3 4 2 log acsch Add acos Mul x3 4 2 Mul Mul -1 Mul Pow Mul 2 sqrt x0 -1 Pow Mul Mul sqrt x0 sqrt x0 sqrt Add 1 Mul -1 Pow Mul sqrt x0 sqrt x0 -1 -1 Pow Mul Mul Add Add 1 pi asech sqrt x0 Add Add 1 pi asech sqrt x0 sqrt Add 1 Mul -1 Pow Mul Add Add 1 pi asech sqrt x0 Add Add 1 pi asech sqrt x0 -1 -1 