Mul Pow x0 acosh sec Add x0 -0.881373587019543 acot Mul 2 pi 
Mul acot Mul 2 pi Mul Pow x0 Add acosh sec Add x0 -0.881373587019543 -1 Add acosh sec Add x0 -0.881373587019543 Mul Mul x0 log x0 Mul Mul tan Add x0 -0.881373587019543 sec Add x0 -0.881373587019543 Pow Mul sqrt Add sec Add x0 -0.881373587019543 -1 sqrt Add 1 sec Add x0 -0.881373587019543 -1 