Add 2 Add acoth x0 sec Pow atanh acoth x0 Pow x0 csch atan asin x3 
Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul tan Pow atanh acoth x0 Pow x0 csch atan asin x3 sec Pow atanh acoth x0 Pow x0 csch atan asin x3 Mul Pow atanh acoth x0 Add Pow x0 csch atan asin x3 -1 Add Mul Pow x0 csch atan asin x3 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acoth x0 acoth x0 -1 Mul Mul atanh acoth x0 log atanh acoth x0 Mul Pow x0 Add csch atan asin x3 -1 csch atan asin x3 