acosh Mul Add x0 x0 Pow tan Add x2 cosh pi x0 
Mul Add Mul Pow tan Add x2 cosh pi x0 2 Mul Add x0 x0 Mul Pow tan Add x2 cosh pi Add x0 -1 Mul tan Add x2 cosh pi log tan Add x2 cosh pi Pow Mul sqrt Add Mul Add x0 x0 Pow tan Add x2 cosh pi x0 -1 sqrt Add 1 Mul Add x0 x0 Pow tan Add x2 cosh pi x0 -1 