Add x0 Mul cos acos acoth Pow Pow x0 3 Mul x0 acot E x3 
Add 1 Mul x3 Mul Mul -1 sin acos acoth Pow Pow x0 3 Mul x0 acot E Mul -1 Mul Mul Mul Pow Pow x0 3 Add Mul x0 acot E -1 Add Mul Mul x0 acot E Mul Pow x0 2 3 Mul Mul Pow x0 3 log Pow x0 3 acot E Pow Add 1 Mul -1 Mul Pow Pow x0 3 Mul x0 acot E Pow Pow x0 3 Mul x0 acot E -1 Pow sqrt Add 1 Mul -1 Mul acoth Pow Pow x0 3 Mul x0 acot E acoth Pow Pow x0 3 Mul x0 acot E -1 