sec Pow x0 Add Add pi x0 acoth Add 1 Pow x6 Mul -4 Mul x0 x3 
Mul Mul tan Pow x0 Add Add pi x0 acoth Add 1 Pow x6 Mul -4 Mul x0 x3 sec Pow x0 Add Add pi x0 acoth Add 1 Pow x6 Mul -4 Mul x0 x3 Mul Pow x0 Add Add Add pi x0 acoth Add 1 Pow x6 Mul -4 Mul x0 x3 -1 Add Add Add pi x0 acoth Add 1 Pow x6 Mul -4 Mul x0 x3 Mul Mul x0 log x0 Add 1 Mul Mul Pow x6 Add Mul -4 Mul x0 x3 -1 Mul Mul x6 log x6 Mul -4 x3 Pow Add 1 Mul -1 Mul Add 1 Pow x6 Mul -4 Mul x0 x3 Add 1 Pow x6 Mul -4 Mul x0 x3 -1 