Mul Mul acoth Mul x0 1.31811607165282 acot x0 x6 
Mul x6 Add Mul acot x0 Mul 1.31811607165282 Pow Add 1 Mul -1 Mul Mul x0 1.31811607165282 Mul x0 1.31811607165282 -1 Mul acoth Mul x0 1.31811607165282 Mul -1 Pow Add 1 Mul x0 x0 -1 