Add x1 sec exp Add Mul acoth x2 Add atanh x0 x0 E 
Mul Mul tan exp Add Mul acoth x2 Add atanh x0 x0 E sec exp Add Mul acoth x2 Add atanh x0 x0 E Mul exp Add Mul acoth x2 Add atanh x0 x0 E Mul acoth x2 Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 