Mul atan x0 Mul 3 Pow x0 coth acosh asech Pow E x1 
Add Mul Mul 3 Pow x0 coth acosh asech Pow E x1 Pow Add 1 Mul x0 x0 -1 Mul atan x0 Mul 3 Mul Pow x0 Add coth acosh asech Pow E x1 -1 coth acosh asech Pow E x1 