Mul Add sqrt x3 Mul Pow Mul x5 x6 Pow x0 Add Add Mul x0 x0 sec x4 -4 exp Add x0 pi acsch acot x0 
Add Mul acsch acot x0 Add Mul exp Add x0 pi Mul Pow Mul x5 x6 Add Pow x0 Add Add Mul x0 x0 sec x4 -4 -1 Mul Mul Mul x5 x6 log Mul x5 x6 Mul Pow x0 Add Add Add Mul x0 x0 sec x4 -4 -1 Add Add Add Mul x0 x0 sec x4 -4 Mul Mul x0 log x0 Add x0 x0 Mul Pow Mul x5 x6 Pow x0 Add Add Mul x0 x0 sec x4 -4 exp Add x0 pi Mul Add sqrt x3 Mul Pow Mul x5 x6 Pow x0 Add Add Mul x0 x0 sec x4 -4 exp Add x0 pi Mul Mul -1 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul acot x0 acot x0 sqrt Add 1 Mul -1 Pow Mul acot x0 acot x0 -1 -1 