Mul acoth x0 Mul Mul x0 x0 tan Mul E Mul x0 x5 
Add Mul Mul Mul x0 x0 tan Mul E Mul x0 x5 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Add Mul tan Mul E Mul x0 x5 Add x0 x0 Mul Mul x0 x0 Mul Pow sec Mul E Mul x0 x5 2 Mul E x5 