Mul Add 5 sec atan Pow coth acoth x0 x0 Add asinh x3 Pow Mul Mul -1 x0 x0 x0 
Add Mul Add asinh x3 Pow Mul Mul -1 x0 x0 x0 Mul Mul tan atan Pow coth acoth x0 x0 sec atan Pow coth acoth x0 x0 Mul Mul Pow coth acoth x0 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csch acoth x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul coth acoth x0 log coth acoth x0 Pow Add 1 Mul Pow coth acoth x0 x0 Pow coth acoth x0 x0 -1 Mul Add 5 sec atan Pow coth acoth x0 x0 Mul Pow Mul Mul -1 x0 x0 Add x0 -1 Add Mul x0 Add Mul x0 -1 Mul -1 x0 Mul Mul Mul -1 x0 x0 log Mul Mul -1 x0 x0 