asech Add Add 2 Mul acosh Mul exp pi x0 Mul -3 Add x5 2 1 
Mul Mul Mul -3 Add x5 2 Mul exp pi Pow Mul sqrt Add Mul exp pi x0 -1 sqrt Add 1 Mul exp pi x0 -1 Pow Mul Mul Add Add 2 Mul acosh Mul exp pi x0 Mul -3 Add x5 2 1 Add Add 2 Mul acosh Mul exp pi x0 Mul -3 Add x5 2 1 sqrt Add 1 Mul -1 Pow Mul Add Add 2 Mul acosh Mul exp pi x0 Mul -3 Add x5 2 1 Add Add 2 Mul acosh Mul exp pi x0 Mul -3 Add x5 2 1 -1 -1 