Pow tan Add Add Mul acosh Pow x0 x5 Mul exp x5 pi x0 -1 Mul 4 x0 
Mul Pow tan Add Add Mul acosh Pow x0 x5 Mul exp x5 pi x0 -1 Add Mul 4 x0 -1 Add Mul Mul 4 x0 Mul Pow sec Add Add Mul acosh Pow x0 x5 Mul exp x5 pi x0 -1 2 Add Mul Mul exp x5 pi Mul Mul Pow x0 Add x5 -1 x5 Pow Mul sqrt Add Pow x0 x5 -1 sqrt Add 1 Pow x0 x5 -1 1 Mul Mul tan Add Add Mul acosh Pow x0 x5 Mul exp x5 pi x0 -1 log tan Add Add Mul acosh Pow x0 x5 Mul exp x5 pi x0 -1 4 