Mul Pow Mul x0 2 acos sinh Add acos tan x7 Mul Add pi x0 3 x0 
Add Mul x0 Mul Pow Mul x0 2 Add acos sinh Add acos tan x7 Mul Add pi x0 3 -1 Add Mul acos sinh Add acos tan x7 Mul Add pi x0 3 2 Mul Mul Mul x0 2 log Mul x0 2 Mul -1 Mul Mul cosh Add acos tan x7 Mul Add pi x0 3 3 Pow sqrt Add 1 Mul -1 Mul sinh Add acos tan x7 Mul Add pi x0 3 sinh Add acos tan x7 Mul Add pi x0 3 -1 Pow Mul x0 2 acos sinh Add acos tan x7 Mul Add pi x0 3 