tan Pow acoth Mul x0 x7 Add x0 36.6387090127090 
Mul Pow sec Pow acoth Mul x0 x7 Add x0 36.6387090127090 2 Mul Pow acoth Mul x0 x7 Add Add x0 36.6387090127090 -1 Add Mul Add x0 36.6387090127090 Mul x7 Pow Add 1 Mul -1 Mul Mul x0 x7 Mul x0 x7 -1 Mul acoth Mul x0 x7 log acoth Mul x0 x7 