Pow atanh acos E Mul Mul x2 Add Mul acoth Mul x0 Mul x7 -5 1.23095941734077 pi x0 
Mul Pow atanh acos E Add Mul Mul x2 Add Mul acoth Mul x0 Mul x7 -5 1.23095941734077 pi x0 -1 Mul Mul atanh acos E log atanh acos E Add Mul x0 Mul x2 Mul 1.23095941734077 Mul Mul x7 -5 Pow Add 1 Mul -1 Mul Mul x0 Mul x7 -5 Mul x0 Mul x7 -5 -1 Mul x2 Add Mul acoth Mul x0 Mul x7 -5 1.23095941734077 pi 