Add 3 Add x0 Add Add asech x3 Pow Add asin Pow x4 Add x0 Mul x0 sinh sqrt atanh pi x3 x0 x0 
Add 1 Add Mul Pow Add asin Pow x4 Add x0 Mul x0 sinh sqrt atanh pi x3 Add x0 -1 Add Mul x0 Mul Mul Pow x4 Add Add x0 Mul x0 sinh sqrt atanh pi -1 Mul Mul x4 log x4 Add 1 sinh sqrt atanh pi Pow sqrt Add 1 Mul -1 Mul Pow x4 Add x0 Mul x0 sinh sqrt atanh pi Pow x4 Add x0 Mul x0 sinh sqrt atanh pi -1 Mul Add asin Pow x4 Add x0 Mul x0 sinh sqrt atanh pi x3 log Add asin Pow x4 Add x0 Mul x0 sinh sqrt atanh pi x3 1 