Pow Pow acoth x1 4 Mul -3 Add asec Pow tan E x0 x0 
Mul Pow Pow acoth x1 4 Add Mul -3 Add asec Pow tan E x0 x0 -1 Mul Mul Pow acoth x1 4 log Pow acoth x1 4 Mul -3 Add Mul Mul Pow tan E Add x0 -1 Mul tan E log tan E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow tan E x0 Pow tan E x0 -1 Pow tan E x0 Pow tan E x0 -1 1 