Mul tan sqrt Mul acosh Mul x0 x0 Add Add Mul -1.15782128234958 x3 x0 x0 pi 
Mul pi Mul Pow sec sqrt Mul acosh Mul x0 x0 Add Add Mul -1.15782128234958 x3 x0 x0 2 Mul Pow Mul 2 sqrt Mul acosh Mul x0 x0 Add Add Mul -1.15782128234958 x3 x0 x0 -1 Add Mul Add Add Mul -1.15782128234958 x3 x0 x0 Mul Add x0 x0 Pow Mul sqrt Add Mul x0 x0 -1 sqrt Add 1 Mul x0 x0 -1 Mul acosh Mul x0 x0 2 