sech Mul atan exp x0 asin Add 2 Mul x0 log sqrt acoth acsch x6 
Mul Mul tanh Mul atan exp x0 asin Add 2 Mul x0 log sqrt acoth acsch x6 Mul -1 sech Mul atan exp x0 asin Add 2 Mul x0 log sqrt acoth acsch x6 Add Mul asin Add 2 Mul x0 log sqrt acoth acsch x6 Mul exp x0 Pow Add 1 Mul exp x0 exp x0 -1 Mul atan exp x0 Mul log sqrt acoth acsch x6 Pow sqrt Add 1 Mul -1 Mul Add 2 Mul x0 log sqrt acoth acsch x6 Add 2 Mul x0 log sqrt acoth acsch x6 -1 