Add Mul x0 Pow cos sech x7 acoth Add Mul x0 Pow x6 x0 x0 acot Add x0 54.5981500331442 
Add Add Pow cos sech x7 acoth Add Mul x0 Pow x6 x0 x0 Mul x0 Mul Pow cos sech x7 Add acoth Add Mul x0 Pow x6 x0 x0 -1 Mul Mul cos sech x7 log cos sech x7 Mul Add Add Pow x6 x0 Mul x0 Mul Pow x6 Add x0 -1 Mul x6 log x6 1 Pow Add 1 Mul -1 Mul Add Mul x0 Pow x6 x0 x0 Add Mul x0 Pow x6 x0 x0 -1 Mul -1 Pow Add 1 Mul Add x0 54.5981500331442 Add x0 54.5981500331442 -1 