Add cos acoth Add Mul -1 Pow x0 log asech x4 3.52532008581609 x0 
Add Mul Mul -1 sin acoth Add Mul -1 Pow x0 log asech x4 3.52532008581609 Mul Mul -1 Mul Pow x0 Add log asech x4 -1 log asech x4 Pow Add 1 Mul -1 Mul Add Mul -1 Pow x0 log asech x4 3.52532008581609 Add Mul -1 Pow x0 log asech x4 3.52532008581609 -1 1 