Mul x0 Add Mul acoth asech Mul x0 E x0 Add x4 1.23095941734077 
Add Add Mul acoth asech Mul x0 E x0 Add x4 1.23095941734077 Mul x0 Add Mul x0 Mul Mul E Pow Mul Mul Mul x0 E Mul x0 E sqrt Add 1 Mul -1 Pow Mul Mul x0 E Mul x0 E -1 -1 Pow Add 1 Mul -1 Mul asech Mul x0 E asech Mul x0 E -1 acoth asech Mul x0 E 