acos Pow Mul Mul pi sec Add 3 atan x4 Pow asech E x0 x0 
Mul -1 Mul Mul Pow Mul Mul pi sec Add 3 atan x4 Pow asech E x0 Add x0 -1 Add Mul x0 Mul Mul pi sec Add 3 atan x4 Mul Pow asech E Add x0 -1 Mul asech E log asech E Mul Mul Mul pi sec Add 3 atan x4 Pow asech E x0 log Mul Mul pi sec Add 3 atan x4 Pow asech E x0 Pow sqrt Add 1 Mul -1 Mul Pow Mul Mul pi sec Add 3 atan x4 Pow asech E x0 x0 Pow Mul Mul pi sec Add 3 atan x4 Pow asech E x0 x0 -1 