sec Mul x3 asinh Add Add Add x0 Add x0 pi x0 log x0 
Mul Mul tan Mul x3 asinh Add Add Add x0 Add x0 pi x0 log x0 sec Mul x3 asinh Add Add Add x0 Add x0 pi x0 log x0 Mul x3 Mul Add 3 Pow x0 -1 Pow sqrt Add 1 Mul Add Add Add x0 Add x0 pi x0 log x0 Add Add Add x0 Add x0 pi x0 log x0 -1 