Mul Mul Add tan x3 acsch E Mul Pow log Mul 4 x0 sqrt acoth x7 x7 Mul Add x0 -3 -1.57079632679490 
Add Mul Mul Add x0 -3 -1.57079632679490 Mul Add tan x3 acsch E Mul x7 Mul Pow log Mul 4 x0 Add sqrt acoth x7 -1 Mul sqrt acoth x7 Mul 4 Pow Mul 4 x0 -1 Mul Mul Add tan x3 acsch E Mul Pow log Mul 4 x0 sqrt acoth x7 x7 -1.57079632679490 