Pow Pow coth acot x1 x0 sec Mul x0 x0 
Mul Pow Pow coth acot x1 x0 Add sec Mul x0 x0 -1 Add Mul sec Mul x0 x0 Mul Pow coth acot x1 Add x0 -1 Mul coth acot x1 log coth acot x1 Mul Mul Pow coth acot x1 x0 log Pow coth acot x1 x0 Mul Mul tan Mul x0 x0 sec Mul x0 x0 Add x0 x0 