asec tan Add x3 log Add Mul exp pi x0 Mul x0 Mul x0 tan acoth x0 
Mul Mul Pow sec Add x3 log Add Mul exp pi x0 Mul x0 Mul x0 tan acoth x0 2 Mul Add exp pi Add Mul x0 tan acoth x0 Mul x0 Add tan acoth x0 Mul x0 Mul Pow sec acoth x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add Mul exp pi x0 Mul x0 Mul x0 tan acoth x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul tan Add x3 log Add Mul exp pi x0 Mul x0 Mul x0 tan acoth x0 tan Add x3 log Add Mul exp pi x0 Mul x0 Mul x0 tan acoth x0 -1 tan Add x3 log Add Mul exp pi x0 Mul x0 Mul x0 tan acoth x0 tan Add x3 log Add Mul exp pi x0 Mul x0 Mul x0 tan acoth x0 -1 