Pow Mul x0 -4 acoth sqrt Add 15 Mul x0 Mul 3 Pow tan x0 Mul 2 x0 
Mul Pow Mul x0 -4 Add acoth sqrt Add 15 Mul x0 Mul 3 Pow tan x0 Mul 2 x0 -1 Add Mul acoth sqrt Add 15 Mul x0 Mul 3 Pow tan x0 Mul 2 x0 -4 Mul Mul Mul x0 -4 log Mul x0 -4 Mul Mul Pow Mul 2 sqrt Add 15 Mul x0 Mul 3 Pow tan x0 Mul 2 x0 -1 Add Mul 3 Pow tan x0 Mul 2 x0 Mul x0 Mul 3 Mul Pow tan x0 Add Mul 2 x0 -1 Add Mul Mul 2 x0 Pow sec x0 2 Mul Mul tan x0 log tan x0 2 Pow Add 1 Mul -1 Mul sqrt Add 15 Mul x0 Mul 3 Pow tan x0 Mul 2 x0 sqrt Add 15 Mul x0 Mul 3 Pow tan x0 Mul 2 x0 -1 