acsch Add x0 Mul Add x0 x0 tan Pow acot x3 x0 
Mul Mul -1 Add 1 Add Mul tan Pow acot x3 x0 2 Mul Add x0 x0 Mul Pow sec Pow acot x3 x0 2 Mul Pow acot x3 Add x0 -1 Mul acot x3 log acot x3 Pow Mul Mul Add x0 Mul Add x0 x0 tan Pow acot x3 x0 Add x0 Mul Add x0 x0 tan Pow acot x3 x0 sqrt Add 1 Mul -1 Pow Mul Add x0 Mul Add x0 x0 tan Pow acot x3 x0 Add x0 Mul Add x0 x0 tan Pow acot x3 x0 -1 -1 