tan Mul Mul acot x1 Mul x1 csch sqrt atanh Mul cot x0 x0 -1.18839510577812 
Mul Pow sec Mul Mul acot x1 Mul x1 csch sqrt atanh Mul cot x0 x0 -1.18839510577812 2 Mul -1.18839510577812 Mul acot x1 Mul x1 Mul Mul Mul -1 coth sqrt atanh Mul cot x0 x0 csch sqrt atanh Mul cot x0 x0 Mul Pow Mul 2 sqrt atanh Mul cot x0 x0 -1 Mul Add Mul x0 Mul -1 Pow csc x0 2 cot x0 Pow Add 1 Mul -1 Mul Mul cot x0 x0 Mul cot x0 x0 -1 