Pow Mul csc asin Mul acoth acot x0 x0 3 x3 
Mul Pow Mul csc asin Mul acoth acot x0 x0 3 Add x3 -1 Mul x3 Mul 3 Mul Mul Mul -1 cot asin Mul acoth acot x0 x0 csc asin Mul acoth acot x0 x0 Mul Add Mul x0 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acot x0 acot x0 -1 acoth acot x0 Pow sqrt Add 1 Mul -1 Mul Mul acoth acot x0 x0 Mul acoth acot x0 x0 -1 