Mul x0 acosh Add acot x0 Add x3 Add Mul x7 Mul Pow 0.540302305868140 x7 Add Add x3 -1 tan Add x0 x1 E 
Add acosh Add acot x0 Add x3 Add Mul x7 Mul Pow 0.540302305868140 x7 Add Add x3 -1 tan Add x0 x1 E Mul x0 Mul Add Mul -1 Pow Add 1 Mul x0 x0 -1 Mul x7 Mul Pow 0.540302305868140 x7 Pow sec Add x0 x1 2 Pow Mul sqrt Add Add acot x0 Add x3 Add Mul x7 Mul Pow 0.540302305868140 x7 Add Add x3 -1 tan Add x0 x1 E -1 sqrt Add 1 Add acot x0 Add x3 Add Mul x7 Mul Pow 0.540302305868140 x7 Add Add x3 -1 tan Add x0 x1 E -1 