Pow x2 Add sec Add Mul x0 x0 Mul Add Add Mul x0 x4 Mul Pow x0 acosh x3 x0 3 Mul pi x0 4 
Mul Pow x2 Add Add sec Add Mul x0 x0 Mul Add Add Mul x0 x4 Mul Pow x0 acosh x3 x0 3 Mul pi x0 4 -1 Mul Mul x2 log x2 Mul Mul tan Add Mul x0 x0 Mul Add Add Mul x0 x4 Mul Pow x0 acosh x3 x0 3 Mul pi x0 sec Add Mul x0 x0 Mul Add Add Mul x0 x4 Mul Pow x0 acosh x3 x0 3 Mul pi x0 Add Add x0 x0 Add Mul Mul pi x0 Add x4 Add Mul x0 Mul Pow x0 Add acosh x3 -1 acosh x3 Pow x0 acosh x3 Mul Add Add Mul x0 x4 Mul Pow x0 acosh x3 x0 3 pi 