Pow sech x1 Add tan Pow atan acos Mul 5 x0 Add sqrt pi x0 x0 
Mul Pow sech x1 Add Add tan Pow atan acos Mul 5 x0 Add sqrt pi x0 x0 -1 Mul Mul sech x1 log sech x1 Add Mul Pow sec Pow atan acos Mul 5 x0 Add sqrt pi x0 2 Mul Pow atan acos Mul 5 x0 Add Add sqrt pi x0 -1 Add Mul Add sqrt pi x0 Mul Mul -1 Mul 5 Pow sqrt Add 1 Mul -1 Mul Mul 5 x0 Mul 5 x0 -1 Pow Add 1 Mul acos Mul 5 x0 acos Mul 5 x0 -1 Mul atan acos Mul 5 x0 log atan acos Mul 5 x0 1 