sin tanh Mul x0 Mul atanh asin tan acot x0 x0 
Mul cos tanh Mul x0 Mul atanh asin tan acot x0 x0 Mul Pow sech Mul x0 Mul atanh asin tan acot x0 x0 2 Add Mul atanh asin tan acot x0 x0 Mul x0 Add Mul x0 Mul Mul Mul Pow sec acot x0 2 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul tan acot x0 tan acot x0 -1 Pow Add 1 Mul -1 Mul asin tan acot x0 asin tan acot x0 -1 atanh asin tan acot x0 