Add Mul x4 x0 asinh Pow sech x0 Add x0 Pow x1 Mul 64 Add x0 asin acot x0 
Add x4 Mul Mul Pow sech x0 Add Add x0 Pow x1 Mul 64 Add x0 asin acot x0 -1 Add Mul Add x0 Pow x1 Mul 64 Add x0 asin acot x0 Mul tanh x0 Mul -1 sech x0 Mul Mul sech x0 log sech x0 Add 1 Mul Pow x1 Add Mul 64 Add x0 asin acot x0 -1 Mul Mul x1 log x1 Mul 64 Add 1 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acot x0 acot x0 -1 Pow sqrt Add 1 Mul Pow sech x0 Add x0 Pow x1 Mul 64 Add x0 asin acot x0 Pow sech x0 Add x0 Pow x1 Mul 64 Add x0 asin acot x0 -1 