atan Add Mul Add Mul Add Add pi x0 -1 cbrt asech E asech pi sech pi x1 
Mul Mul sech pi cbrt asech E Pow Add 1 Mul Add Mul Add Mul Add Add pi x0 -1 cbrt asech E asech pi sech pi x1 Add Mul Add Mul Add Add pi x0 -1 cbrt asech E asech pi sech pi x1 -1 