Mul -2 acot asech Add asinh x3 sin Add Mul atanh x0 asinh Mul x0 x0 -2 
Mul -2 Mul -1 Mul Mul Mul cos Add Mul atanh x0 asinh Mul x0 x0 -2 Add Mul asinh Mul x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 Mul Add x0 x0 Pow sqrt Add 1 Mul Mul x0 x0 Mul x0 x0 -1 Pow Mul Mul Add asinh x3 sin Add Mul atanh x0 asinh Mul x0 x0 -2 Add asinh x3 sin Add Mul atanh x0 asinh Mul x0 x0 -2 sqrt Add 1 Mul -1 Pow Mul Add asinh x3 sin Add Mul atanh x0 asinh Mul x0 x0 -2 Add asinh x3 sin Add Mul atanh x0 asinh Mul x0 x0 -2 -1 -1 Pow Add 1 Mul asech Add asinh x3 sin Add Mul atanh x0 asinh Mul x0 x0 -2 asech Add asinh x3 sin Add Mul atanh x0 asinh Mul x0 x0 -2 -1 