Mul E Mul x3 log Mul Mul x4 tan log Add Add pi x0 sinh x0 x0 
Mul E Mul x3 Mul Add Mul x0 Mul x4 Mul Pow sec log Add Add pi x0 sinh x0 2 Mul Add 1 cosh x0 Pow Add Add pi x0 sinh x0 -1 Mul x4 tan log Add Add pi x0 sinh x0 Pow Mul Mul x4 tan log Add Add pi x0 sinh x0 x0 -1 