Add Add x7 acos Mul Pow x0 Mul sec Add x0 Add Pow acoth x0 x2 x0 -3 Mul x0 x6 1 
Mul -1 Mul Add Mul Mul x0 x6 Mul Pow x0 Add Mul sec Add x0 Add Pow acoth x0 x2 x0 -3 -1 Add Mul sec Add x0 Add Pow acoth x0 x2 x0 -3 Mul Mul x0 log x0 Mul -3 Mul Mul tan Add x0 Add Pow acoth x0 x2 x0 sec Add x0 Add Pow acoth x0 x2 x0 Add 1 Add Mul Pow acoth x0 Add x2 -1 Mul x2 Pow Add 1 Mul -1 Mul x0 x0 -1 1 Mul Pow x0 Mul sec Add x0 Add Pow acoth x0 x2 x0 -3 x6 Pow sqrt Add 1 Mul -1 Mul Mul Pow x0 Mul sec Add x0 Add Pow acoth x0 x2 x0 -3 Mul x0 x6 Mul Pow x0 Mul sec Add x0 Add Pow acoth x0 x2 x0 -3 Mul x0 x6 -1 