Mul Mul Pow atan x4 x0 pi Mul Mul x3 Add acosh x2 Pow sinh x0 Mul -3 Mul x3 x0 2 
Add Mul Mul Mul x3 Add acosh x2 Pow sinh x0 Mul -3 Mul x3 x0 2 Mul pi Mul Pow atan x4 Add x0 -1 Mul atan x4 log atan x4 Mul Mul Pow atan x4 x0 pi Mul 2 Mul x3 Mul Pow sinh x0 Add Mul -3 Mul x3 x0 -1 Add Mul Mul -3 Mul x3 x0 cosh x0 Mul Mul sinh x0 log sinh x0 Mul -3 x3 