Pow acos Add Add Mul x0 -1 Add sec x5 Mul x0 x0 acoth Mul pi x0 x0 
Mul Pow acos Add Add Mul x0 -1 Add sec x5 Mul x0 x0 acoth Mul pi x0 Add x0 -1 Add Mul x0 Mul -1 Mul Add Add -1 Add x0 x0 Mul pi Pow Add 1 Mul -1 Mul Mul pi x0 Mul pi x0 -1 Pow sqrt Add 1 Mul -1 Mul Add Add Mul x0 -1 Add sec x5 Mul x0 x0 acoth Mul pi x0 Add Add Mul x0 -1 Add sec x5 Mul x0 x0 acoth Mul pi x0 -1 Mul acos Add Add Mul x0 -1 Add sec x5 Mul x0 x0 acoth Mul pi x0 log acos Add Add Mul x0 -1 Add sec x5 Mul x0 x0 acoth Mul pi x0 