Mul Mul x0 Mul asec x2 Mul x0 Mul x0 5 asec Pow acoth Pow Add pi Pow Mul Mul x7 E x2 -0.999909204262595 E 2 
Mul asec Pow acoth Pow Add pi Pow Mul Mul x7 E x2 -0.999909204262595 E 2 Add Mul asec x2 Mul x0 Mul x0 5 Mul x0 Mul asec x2 Add Mul x0 5 Mul x0 5 