Add Pow Pow tan Mul 0.0625000000000000 x0 x0 Mul Pow x0 x0 acosh x4 x0 
Add Mul Pow Pow tan Mul 0.0625000000000000 x0 x0 Add Mul Pow x0 x0 acosh x4 -1 Add Mul Mul Pow x0 x0 acosh x4 Mul Pow tan Mul 0.0625000000000000 x0 Add x0 -1 Add Mul x0 Mul Pow sec Mul 0.0625000000000000 x0 2 0.0625000000000000 Mul tan Mul 0.0625000000000000 x0 log tan Mul 0.0625000000000000 x0 Mul Mul Pow tan Mul 0.0625000000000000 x0 x0 log Pow tan Mul 0.0625000000000000 x0 x0 Mul acosh x4 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 1 