asin Pow Add x0 atan x4 acosh Mul exp Mul atan x0 pi x0 
Mul Mul Pow Add x0 atan x4 Add acosh Mul exp Mul atan x0 pi x0 -1 Add acosh Mul exp Mul atan x0 pi x0 Mul Mul Add x0 atan x4 log Add x0 atan x4 Mul Add Mul x0 Mul exp Mul atan x0 pi Mul pi Pow Add 1 Mul x0 x0 -1 exp Mul atan x0 pi Pow Mul sqrt Add Mul exp Mul atan x0 pi x0 -1 sqrt Add 1 Mul exp Mul atan x0 pi x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow Add x0 atan x4 acosh Mul exp Mul atan x0 pi x0 Pow Add x0 atan x4 acosh Mul exp Mul atan x0 pi x0 -1 