Add Mul 4 Add Pow cos Mul x3 sec coth x0 -3 Pow asech x0 csch sqrt x0 4 
Mul 4 Add Mul Pow cos Mul x3 sec coth x0 4 Mul -3 Mul Mul -1 sin Mul x3 sec coth x0 Mul x3 Mul Mul tan coth x0 sec coth x0 Mul -1 Pow csch x0 2 Mul Pow asech x0 Add csch sqrt x0 -1 Add Mul csch sqrt x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul asech x0 log asech x0 Mul Mul Mul -1 coth sqrt x0 csch sqrt x0 Pow Mul 2 sqrt x0 -1 