tan acoth Pow x0 Pow log Add E x0 tan asec Add Mul 4 x0 Add Mul x0 x4 4 
Mul Pow sec acoth Pow x0 Pow log Add E x0 tan asec Add Mul 4 x0 Add Mul x0 x4 4 2 Mul Mul Pow x0 Add Pow log Add E x0 tan asec Add Mul 4 x0 Add Mul x0 x4 4 -1 Add Pow log Add E x0 tan asec Add Mul 4 x0 Add Mul x0 x4 4 Mul Mul x0 log x0 Mul Pow log Add E x0 Add tan asec Add Mul 4 x0 Add Mul x0 x4 4 -1 Add Mul tan asec Add Mul 4 x0 Add Mul x0 x4 4 Pow Add E x0 -1 Mul Mul log Add E x0 log log Add E x0 Mul Pow sec asec Add Mul 4 x0 Add Mul x0 x4 4 2 Mul Add 4 x4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Mul 4 x0 Add Mul x0 x4 4 Add Mul 4 x0 Add Mul x0 x4 4 -1 Add Mul 4 x0 Add Mul x0 x4 4 Add Mul 4 x0 Add Mul x0 x4 4 -1 Pow Add 1 Mul -1 Mul Pow x0 Pow log Add E x0 tan asec Add Mul 4 x0 Add Mul x0 x4 4 Pow x0 Pow log Add E x0 tan asec Add Mul 4 x0 Add Mul x0 x4 4 -1 