Mul Mul Pow coth acoth Mul sec x0 -1 x0 x0 0.333333333333333 
Mul 0.333333333333333 Add Mul x0 Mul Pow coth acoth Mul sec x0 -1 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csch acoth Mul sec x0 -1 2 Mul Mul -1 Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul Mul sec x0 -1 Mul sec x0 -1 -1 Mul coth acoth Mul sec x0 -1 log coth acoth Mul sec x0 -1 Pow coth acoth Mul sec x0 -1 x0 