Add tan Mul -3 Pow sin x0 x5 Mul x0 Mul asinh coth Pow x3 x7 Pow x0 Mul Mul acoth atanh x6 x0 -4 
Add Mul Pow sec Mul -3 Pow sin x0 x5 2 Mul -3 Mul Pow sin x0 Add x5 -1 Mul x5 cos x0 Add Mul asinh coth Pow x3 x7 Pow x0 Mul Mul acoth atanh x6 x0 -4 Mul x0 Mul asinh coth Pow x3 x7 Mul Pow x0 Add Mul Mul acoth atanh x6 x0 -4 -1 Add Mul Mul acoth atanh x6 x0 -4 Mul Mul x0 log x0 Mul -4 acoth atanh x6 