Mul Add x0 Mul Mul 2 log x0 sec acos exp x0 Add cos x3 acsch E 
Mul Add cos x3 acsch E Add 1 Add Mul sec acos exp x0 Mul 2 Pow x0 -1 Mul Mul 2 log x0 Mul Mul tan acos exp x0 sec acos exp x0 Mul -1 Mul exp x0 Pow sqrt Add 1 Mul -1 Mul exp x0 exp x0 -1 