Mul x5 sqrt Add cos Mul Add tan x0 x0 tanh Mul x0 x0 Mul Pow log Mul x0 acoth x7 2 x0 
Mul x5 Mul Pow Mul 2 sqrt Add cos Mul Add tan x0 x0 tanh Mul x0 x0 Mul Pow log Mul x0 acoth x7 2 x0 -1 Add Mul Mul -1 sin Mul Add tan x0 x0 tanh Mul x0 x0 Add Mul tanh Mul x0 x0 Add Pow sec x0 2 1 Mul Add tan x0 x0 Mul Pow sech Mul x0 x0 2 Add x0 x0 Add Mul x0 Mul log Mul x0 acoth x7 Mul 2 Mul acoth x7 Pow Mul x0 acoth x7 -1 Pow log Mul x0 acoth x7 2 