Mul x0 Pow acsch acsch Add Pow tan acos Pow x0 x2 2 x0 x0 
Add Pow acsch acsch Add Pow tan acos Pow x0 x2 2 x0 x0 Mul x0 Mul Pow acsch acsch Add Pow tan acos Pow x0 x2 2 x0 Add x0 -1 Add Mul x0 Mul Mul -1 Mul Mul -1 Add Mul tan acos Pow x0 x2 Mul 2 Mul Pow sec acos Pow x0 x2 2 Mul -1 Mul Mul Pow x0 Add x2 -1 x2 Pow sqrt Add 1 Mul -1 Mul Pow x0 x2 Pow x0 x2 -1 1 Pow Mul Mul Add Pow tan acos Pow x0 x2 2 x0 Add Pow tan acos Pow x0 x2 2 x0 sqrt Add 1 Mul -1 Pow Mul Add Pow tan acos Pow x0 x2 2 x0 Add Pow tan acos Pow x0 x2 2 x0 -1 -1 Pow Mul Mul acsch Add Pow tan acos Pow x0 x2 2 x0 acsch Add Pow tan acos Pow x0 x2 2 x0 sqrt Add 1 Mul -1 Pow Mul acsch Add Pow tan acos Pow x0 x2 2 x0 acsch Add Pow tan acos Pow x0 x2 2 x0 -1 -1 Mul acsch acsch Add Pow tan acos Pow x0 x2 2 x0 log acsch acsch Add Pow tan acos Pow x0 x2 2 x0 