Mul Add x0 x0 sec Add Add Add x0 sec x0 Pow Mul Add 2 acoth x0 x4 x0 Add pi Pow x0 atanh acosh x7 
Add Mul sec Add Add Add x0 sec x0 Pow Mul Add 2 acoth x0 x4 x0 Add pi Pow x0 atanh acosh x7 2 Mul Add x0 x0 Mul Mul tan Add Add Add x0 sec x0 Pow Mul Add 2 acoth x0 x4 x0 Add pi Pow x0 atanh acosh x7 sec Add Add Add x0 sec x0 Pow Mul Add 2 acoth x0 x4 x0 Add pi Pow x0 atanh acosh x7 Add Add Add 1 Mul tan x0 sec x0 Mul Pow Mul Add 2 acoth x0 x4 Add x0 -1 Add Mul x0 Mul x4 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add 2 acoth x0 x4 log Mul Add 2 acoth x0 x4 Mul Pow x0 Add atanh acosh x7 -1 atanh acosh x7 