sech Add x0 Add asinh Pow sec Pow acot Add x0 -4 Add 3 exp x0 x4 Add -1 x0 
Mul Mul tanh Add x0 Add asinh Pow sec Pow acot Add x0 -4 Add 3 exp x0 x4 Add -1 x0 Mul -1 sech Add x0 Add asinh Pow sec Pow acot Add x0 -4 Add 3 exp x0 x4 Add -1 x0 Add 1 Add Mul Mul Pow sec Pow acot Add x0 -4 Add 3 exp x0 Add x4 -1 Mul x4 Mul Mul tan Pow acot Add x0 -4 Add 3 exp x0 sec Pow acot Add x0 -4 Add 3 exp x0 Mul Pow acot Add x0 -4 Add Add 3 exp x0 -1 Add Mul Add 3 exp x0 Mul -1 Pow Add 1 Mul Add x0 -4 Add x0 -4 -1 Mul Mul acot Add x0 -4 log acot Add x0 -4 exp x0 Pow sqrt Add 1 Mul Pow sec Pow acot Add x0 -4 Add 3 exp x0 x4 Pow sec Pow acot Add x0 -4 Add 3 exp x0 x4 -1 1 