tanh Pow Mul x0 cot exp x4 acoth sin asin x0 
Mul Pow sech Pow Mul x0 cot exp x4 acoth sin asin x0 2 Mul Pow Mul x0 cot exp x4 Add acoth sin asin x0 -1 Add Mul acoth sin asin x0 cot exp x4 Mul Mul Mul x0 cot exp x4 log Mul x0 cot exp x4 Mul Mul cos asin x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul sin asin x0 sin asin x0 -1 