Mul atanh pi Mul Mul x2 E Add Mul Mul asinh x1 x6 Add Add Mul acot x0 x4 Mul sinh pi x0 atanh x0 pi 
Mul atanh pi Mul Mul x2 E Mul Mul asinh x1 x6 Add Add Mul x4 Mul -1 Pow Add 1 Mul x0 x0 -1 sinh pi Pow Add 1 Mul -1 Mul x0 x0 -1 