Pow Add asech sech x3 5 Add Mul x0 x0 acot Add Add Add x0 pi x0 atanh x0 
Mul Pow Add asech sech x3 5 Add Add Mul x0 x0 acot Add Add Add x0 pi x0 atanh x0 -1 Mul Mul Add asech sech x3 5 log Add asech sech x3 5 Add Add x0 x0 Mul -1 Mul Add 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Add Add Add x0 pi x0 atanh x0 Add Add Add x0 pi x0 atanh x0 -1 