Add acsch log atan Add Mul x0 Pow Add E x0 E x0 -4 
Mul Mul -1 Mul Mul Add Add Pow Add E x0 E Mul x0 Mul Pow Add E x0 Add E -1 E 1 Pow Add 1 Mul Add Mul x0 Pow Add E x0 E x0 Add Mul x0 Pow Add E x0 E x0 -1 Pow atan Add Mul x0 Pow Add E x0 E x0 -1 Pow Mul Mul log atan Add Mul x0 Pow Add E x0 E x0 log atan Add Mul x0 Pow Add E x0 E x0 sqrt Add 1 Mul -1 Pow Mul log atan Add Mul x0 Pow Add E x0 E x0 log atan Add Mul x0 Pow Add E x0 E x0 -1 -1 