Add Add Add x0 x0 Pow x0 Mul x0 acoth Mul x0 Pow exp Add x0 cos exp x3 asech x2 x0 
Add Add 2 Mul Pow x0 Add Mul x0 acoth Mul x0 Pow exp Add x0 cos exp x3 asech x2 -1 Add Mul x0 acoth Mul x0 Pow exp Add x0 cos exp x3 asech x2 Mul Mul x0 log x0 Add acoth Mul x0 Pow exp Add x0 cos exp x3 asech x2 Mul x0 Mul Add Pow exp Add x0 cos exp x3 asech x2 Mul x0 Mul Pow exp Add x0 cos exp x3 Add asech x2 -1 Mul asech x2 exp Add x0 cos exp x3 Pow Add 1 Mul -1 Mul Mul x0 Pow exp Add x0 cos exp x3 asech x2 Mul x0 Pow exp Add x0 cos exp x3 asech x2 -1 1 