Details

Time bar (total: 3.1s)

analyze0.0ms (0%)

Algorithm
1×random
Compiler

Compiled 45 to 45 computations (0% saved)

sample1.5s (50.1%)

Results
1.5s8256×body256valid
Bogosity

preprocess165.0ms (5.4%)

Algorithm
2×egglog
Calls
Call 1
Inputs
Outputs
Call 2
Inputs
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 33096 6)) (*.f64 (*.f64 77617 77617) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 11 (*.f64 77617 77617)) (*.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (*.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (*.f64 2 33096)))
Outputs
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 33096 6)) (*.f64 (*.f64 77617 77617) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 11 (*.f64 77617 77617)) (*.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (*.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (*.f64 2 33096)))
(+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)
Compiler

Compiled 44 to 44 computations (0% saved)

simplify62.0ms (2%)

Algorithm
1×egglog
Counts
1 → 2
Calls
Call 1
Inputs
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 33096 6)) (*.f64 (*.f64 77617 77617) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 11 (*.f64 77617 77617)) (*.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (*.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (*.f64 2 33096)))
Outputs
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 33096 6)) (*.f64 (*.f64 77617 77617) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 11 (*.f64 77617 77617)) (*.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (*.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (*.f64 2 33096)))
(+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)

eval1.0ms (0%)

Compiler

Compiled 49 to 49 computations (0% saved)

prune2.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
58.1b
Counts
3 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
▶58.1b
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 33096 6)) (*.f64 (*.f64 77617 77617) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 11 (*.f64 77617 77617)) (*.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (*.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (*.f64 2 33096)))
▶62.0b
(+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)
Compiler

Compiled 49 to 49 computations (0% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓62.0b
(+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)
Compiler

Compiled 11 to 11 computations (0% saved)

series0.0ms (0%)

Counts
1 → 0
Compiler

Compiled 5 to 5 computations (0% saved)

rewrite134.0ms (4.3%)

Algorithm
1×batch-egg-rewrite
Rules
162×egg-rr
Counts
1 → 162
Calls
Call 1
Inputs
(+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x . -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 -7917111779274712207494296632228773890 524049462893751750438462482680487001272113/66192)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -7917111779274712207494296632228773890 1 524049462893751750438462482680487001272113/66192)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 -7917111340668961361101134701524942850) (cbrt.f64 62680651980549078756438766167267563397336975316618976977629240695766122500) 524049433861559890414006308163339017072433/66192)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 524049433861559890414006308163339017072433/66192) (sqrt.f64 524049433861559890414006308163339017072433/66192) -7917111340668961361101134701524942850)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 524049433861559890414006308163339017072433/66192) (cbrt.f64 274627809130621433876289726873036725379597821523282625872433544312916559041968539489/4381380864) -7917111340668961361101134701524942850)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 -7917111340668961361101134701524942850 524049433861559890414006308163339017072433/66192)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 524049433861559890414006308163339017072433/66192 -7917111340668961361101134701524942850)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 438605750846393161930703831040) (sqrt.f64 438605750846393161930703831040) -29032191860024456174517147984254447/66192)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 438605750846393161930703831040) (cbrt.f64 192375004675528315883356988245399596883720655992532867481600) -29032191860024456174517147984254447/66192)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 438605750846393161930703831040 -29032191860024456174517147984254447/66192)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 62680658925530399348651842681623303061242097389084458210685414452745732100) (cbrt.f64 -7917111779274712207494296632228773890) 524049462893751750438462482680487001272113/66192)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 -7917111779274712207494296632228773890) (cbrt.f64 62680658925530399348651842681623303061242097389084458210685414452745732100) 524049462893751750438462482680487001272113/66192)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -7917111340668961361101134701524942850 1 524049433861559890414006308163339017072433/66192)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -496249783112017350686330597944794634574424501837913690344003355483433855195774843268693447253285307756706005000 1/62680662398021348207265394231274997928677026524712524408197490130536759300 524049433861559890414006308163339017072433/66192)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -62680658925530206973647167153307419704253851989487574490029421919878250500 1/7917112217880463053887458562932604930 524049433861559890414006308163339017072433/66192)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 62680651980549078756438766167267563397336975316618976977629240695766122500) (cbrt.f64 -7917111340668961361101134701524942850) 524049433861559890414006308163339017072433/66192)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 274627809130621433876289726873036725379597821523282625872433544312916559041968539489/4381380864) (cbrt.f64 524049433861559890414006308163339017072433/66192) -7917111340668961361101134701524942850)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 524049433861559890414006308163339017072433/66192 1 -7917111340668961361101134701524942850)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 438605750846393161930703831040 1 -29032191860024456174517147984254447/66192)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 192375004675528315883356988245399596883720655992532867481600) (cbrt.f64 438605750846393161930703831040) -29032191860024456174517147984254447/66192)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 -29032191860024456174517147984254447/66192 438605750846393161930703831040)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -29032191860024456174517147984254447/66192 1 438605750846393161930703831040)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 -29032191860024456174517147984254447/66192) (cbrt.f64 842868164197270292301487564382246741922843634069829993762234439275809/4381380864) 438605750846393161930703831040)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 -1048098867723119780828012616326678034199633/66192 0) -54767/66192 -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 -7917111340668961361101134701524942850 0) -54767/66192 -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 524049433861559890414006308163339017072433/66192 0) -54767/66192 -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 1048098867723119780828012616326678034199633/66192 0) -54767/66192 -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 58064383720048912349034295968454127/66192 0) -54767/66192 -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 0) -54767/66192 -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 2528604492591810876904462693141970207613737024035560639355745327355169/4381380864 0) -54767/66192 -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 438605750846393161930703831040 0) -54767/66192 -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 -29032191860024456174517147984254447/66192 0) -54767/66192 -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (cbrt.f64 (*.f64 57401230688592101036607766958363175899011300511/4381380864 57401230688592101036607766958363175899011300511/4381380864)) 0) (/.f64 (cbrt.f64 57401230688592101036607766958363175899011300511/4381380864) (/.f64 -1048098867723119780828012616326678034199633/66192 (cbrt.f64 (*.f64 57401230688592101036607766958363175899011300511/4381380864 57401230688592101036607766958363175899011300511/4381380864)))) -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864) 0) (/.f64 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864) (/.f64 -1048098867723119780828012616326678034199633/66192 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864))) -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 57401230688592101036607766958363175899011300511/4381380864 0) -54767/66192 -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 1 0) -54767/66192 -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 0) -54767/66192 -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 -54767/66192 0) -54767/66192 -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (cbrt.f64 (*.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888)) 0) (/.f64 (cbrt.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888) (/.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 (cbrt.f64 (*.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888)))) -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 226261300643655112214488825405796770816506872548714187756301549407408663448039470896602820301808539553251210396774071520600032726638749808478786250651007859649260273921/19196498275425386496 0) (*.f64 (/.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 186412935860435606219708131903129271181291770312706897182080905096022186150657423218882630403988930340949915386446652244665282986840898047813830038027859741330004051546550098918513513474224523396039081646460487874391404554766415879702322388606076675969/84107170199757789853378412544) 226261300643655112214488825405796770816506872548714187756301549407408663448039470896602820301808539553251210396774071520600032726638749808478786250651007859649260273921/19196498275425386496) -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 -274627809130621433876289726873036725350897206178986575354129660833734971090963177089/4381380864 0) -54767/66192 -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 524049462893751750438462482680487001272113/66192 -7917111779274712207494296632228773890) 0) (/.f64 (-.f64 (*.f64 524049462893751750438462482680487001272113/66192 524049462893751750438462482680487001272113/66192) 62680658925530399348651842681623303061242097389084458210685414452745732100) (-.f64 524049462893751750438462482680487001272113/66192 -7917111779274712207494296632228773890)) -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 -7917111779274712207494296632228773890 524049462893751750438462482680487001272113/66192) 0) (/.f64 (-.f64 62680658925530399348651842681623303061242097389084458210685414452745732100 (*.f64 524049462893751750438462482680487001272113/66192 524049462893751750438462482680487001272113/66192)) (-.f64 -7917111779274712207494296632228773890 524049462893751750438462482680487001272113/66192)) -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 -29032191860024456174517147984254447/66192 438605750846393161930703831040) 0) (/.f64 (-.f64 842868164197270292301487564382246741922843634069829993762234439275809/4381380864 192375004675528315883356988245399596883720655992532867481600) (-.f64 -29032191860024456174517147984254447/66192 438605750846393161930703831040)) -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536) 0) (/.f64 (-.f64 (*.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633) (*.f64 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536)) (+.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536)) -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (*.f64 524049462893751750438462482680487001272113/66192 524049462893751750438462482680487001272113/66192) (-.f64 62680658925530399348651842681623303061242097389084458210685414452745732100 (*.f64 524049462893751750438462482680487001272113/66192 -7917111779274712207494296632228773890))) 0) -54767/66192 -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 62680658925530399348651842681623303061242097389084458210685414452745732100 (-.f64 (*.f64 524049462893751750438462482680487001272113/66192 524049462893751750438462482680487001272113/66192) (*.f64 -7917111779274712207494296632228773890 524049462893751750438462482680487001272113/66192))) 0) -54767/66192 -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 842868164197270292301487564382246741922843634069829993762234439275809/4381380864 (-.f64 192375004675528315883356988245399596883720655992532867481600 -192375004675528315883356988245762497553840978906169845616640)) 0) -54767/66192 -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 524049462893751750438462482680487001272113/66192 0) -54767/66192 -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 -7917111779274712207494296632228773890 0) -54767/66192 -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 0) -54767/66192 -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536 0) -54767/66192 -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (*.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633) (+.f64 (*.f64 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536) (*.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536))) 0) -54767/66192 -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 274627809130621433876289726873036725408298436867578676390737427792098146992973901889/4381380864 0) -54767/66192 -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 524049462893751750438462482680487001272113/66192 -7917111779274712207494296632228773890)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -7917111779274712207494296632228773890 524049462893751750438462482680487001272113/66192)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 524049462893751750438462482680487001272113/66192 1) -7917111779274712207494296632228773890)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -7917111779274712207494296632228773890 (*.f64 524049462893751750438462482680487001272113/66192 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 (neg.f64 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -7917111340668961361101134701524942850 524049433861559890414006308163339017072433/66192)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 524049433861559890414006308163339017072433/66192 -7917111340668961361101134701524942850)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 438605750846393161930703831040 -29032191860024456174517147984254447/66192)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -29032191860024456174517147984254447/66192 438605750846393161930703831040)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 524049433861559890414006308163339017072433/66192 19237500467552831588335698824539959688372065599253286748160/791711221788046305388745856293260493) 6268065892553039934865184268162330306124209738908445821068541445274573210/791711221788046305388745856293260493)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 19237500467552831588335698824539959688372065599253286748160/791711221788046305388745856293260493 (-.f64 6268065892553039934865184268162330306124209738908445821068541445274573210/791711221788046305388745856293260493 524049433861559890414006308163339017072433/66192))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 192375004675528315883356988245399596883720655992532867481600 58064383720048912349034295968454127/66192) (/.f64 842868164197270292301487564382246741922843634069829993762234439275809/4381380864 58064383720048912349034295968454127/66192))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 274627809130621433876289726873036725379597821523282625872433544312916559041968539489/4381380864 1048098867723119780828012616326678034199633/66192) (/.f64 62680651980549078756438766167267563397336975316618976977629240695766122500 1048098867723119780828012616326678034199633/66192))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -54767/66192 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 4381380864/823883427391864301628869180619110176224895310602736029172212283376294440972922857089)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 57401230688592101036607766958363175899011300511/4381380864 -66192/1048098867723119780828012616326678034199633)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4381380864/823883427391864301628869180619110176224895310602736029172212283376294440972922857089 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -66192/1048098867723119780828012616326678034199633 57401230688592101036607766958363175899011300511/4381380864)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 2999424289/4381380864) (cbrt.f64 (cbrt.f64 -54767/66192))) (cbrt.f64 (cbrt.f64 2999424289/4381380864)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 57401230688592101036607766958363175899011300511/4381380864) (*.f64 (cbrt.f64 (*.f64 57401230688592101036607766958363175899011300511/4381380864 57401230688592101036607766958363175899011300511/4381380864)) -66192/1048098867723119780828012616326678034199633))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -54767/66192 (*.f64 -1048098867723119780828012616326678034199633/66192 -66192/1048098867723119780828012616326678034199633))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864) (*.f64 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864) -66192/1048098867723119780828012616326678034199633))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 -54767/66192)) (*.f64 (cbrt.f64 (cbrt.f64 2999424289/4381380864)) (cbrt.f64 2999424289/4381380864)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 2999424289/4381380864)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 2999424289/4381380864)) 2) (cbrt.f64 -54767/66192)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 (*.f64 4381380864/823883427391864301628869180619110176224895310602736029172212283376294440972922857089 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 57401230688592101036607766958363175899011300511/4381380864 (*.f64 -66192/1048098867723119780828012616326678034199633 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 57401230688592101036607766958363175899011300511/4381380864 57401230688592101036607766958363175899011300511/4381380864) -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 57401230688592101036607766958363175899011300511/4381380864 -287837095795085380999466934181585831255439218647158730368223737898214008907643799268476952688371786859965887085055765181806737/290012362149888) 274627809130621433876289726873036725408298436867578676390737427792098146992973901889/4381380864)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 -226261300643655112214488825405796770792860911210600026164504841030924296614606472741135060364179847475099412151267406703613224541297064604836131839160798722322546033921/19196498275425386496) -274627809130621433876289726873036725350897206178986575354129660833734971090963177089/4381380864)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -3180012103195918782619561287304327173409/4381380864 (/.f64 1 58064383720048912349034295968454127/66192))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -57401230688592101036607766958363175899011300511/4381380864 (/.f64 1 1048098867723119780828012616326678034199633/66192))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -138484082245775706295426708315306282360381535595355549535596104343260540623/290012362149888 (/.f64 1 2528604492591810876904462693141970207613737024035560639355745327355169/4381380864))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 (/.f64 1 -823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (cbrt.f64 -1048098867723119780828012616326678034199633/66192)) (/.f64 57401230688592101036607766958363175899011300511/4381380864 (cbrt.f64 (*.f64 -1048098867723119780828012616326678034199633/66192 -1048098867723119780828012616326678034199633/66192))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 1) -54767/66192)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 57401230688592101036607766958363175899011300511/4381380864) 1) (/.f64 (cbrt.f64 (*.f64 57401230688592101036607766958363175899011300511/4381380864 57401230688592101036607766958363175899011300511/4381380864)) -1048098867723119780828012616326678034199633/66192))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864) (cbrt.f64 -1048098867723119780828012616326678034199633/66192)) (/.f64 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864) (cbrt.f64 (*.f64 -1048098867723119780828012616326678034199633/66192 -1048098867723119780828012616326678034199633/66192))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864) 1) (/.f64 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864) -1048098867723119780828012616326678034199633/66192))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -54767/66192 (cbrt.f64 -1048098867723119780828012616326678034199633/66192)) (/.f64 -1048098867723119780828012616326678034199633/66192 (cbrt.f64 (*.f64 -1048098867723119780828012616326678034199633/66192 -1048098867723119780828012616326678034199633/66192))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -54767/66192 1) (/.f64 -1048098867723119780828012616326678034199633/66192 -1048098867723119780828012616326678034199633/66192))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888) 1) (/.f64 (cbrt.f64 (*.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888)) 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (cbrt.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864)) (/.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 (cbrt.f64 (*.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 1) (/.f64 -54767/66192 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 (cbrt.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864)) (/.f64 -54767/66192 (cbrt.f64 (*.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 -54767/66192) (cbrt.f64 2999424289/4381380864))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (cbrt.f64 274627809130621433876289726873036725379597821523282625872433544312916559041968539489/4381380864) (-.f64 (cbrt.f64 62680651980549078756438766167267563397336975316618976977629240695766122500) (cbrt.f64 -2074478857948252310523097405071887277981466316681613158619904427967867317727025/33096))) (+.f64 (cbrt.f64 524049433861559890414006308163339017072433/66192) (cbrt.f64 -7917111340668961361101134701524942850)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (cbrt.f64 62680651980549078756438766167267563397336975316618976977629240695766122500) (-.f64 (cbrt.f64 274627809130621433876289726873036725379597821523282625872433544312916559041968539489/4381380864) (cbrt.f64 -2074478857948252310523097405071887277981466316681613158619904427967867317727025/33096))) (+.f64 (cbrt.f64 -7917111340668961361101134701524942850) (cbrt.f64 524049433861559890414006308163339017072433/66192)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 2999424289/4381380864) (cbrt.f64 -54767/66192))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 -54767/66192) (cbrt.f64 (cbrt.f64 2999424289/4381380864))) (pow.f64 (cbrt.f64 (cbrt.f64 2999424289/4381380864)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 57401230688592101036607766958363175899011300511/4381380864 -1048098867723119780828012616326678034199633/66192)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -3180012103195918782619561287304327173409/4381380864 58064383720048912349034295968454127/66192)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -57401230688592101036607766958363175899011300511/4381380864 1048098867723119780828012616326678034199633/66192)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -138484082245775706295426708315306282360381535595355549535596104343260540623/290012362149888 2528604492591810876904462693141970207613737024035560639355745327355169/4381380864)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 -823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 -66192/54767)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 2999424289/4381380864) (cbrt.f64 57401230688592101036607766958363175899011300511/4381380864)) (cbrt.f64 -1048098867723119780828012616326678034199633/66192))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 2999424289/4381380864) (cbrt.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888)) (cbrt.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 31527948450818882122395611168645822440733279375297884372153018906942973251517685263527499192705371887538537314499824277585847618879/19196498275425386496 -66192/1048098867723119780828012616326678034199633) 549255618261242867752579453746073450816596873735157352781474855584196293982948379489/4381380864)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 12987677114147339530389729404372681103998753888817801859578902621045836143545022644582848540597168735122676472891295980745562490021796503168993201400593779943385164500832623600772490820501123158273285384941533412831/84107170199757789853378412544 -66192/1048098867723119780828012616326678034199633) 226261300643655112214488825405796770840152833886828349348098257783893030278177567767505612629707028319466359148593870597235591334578296815576463203243059794658254141121/19196498275425386496)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 57401230688592101036607766958363175899011300511/4381380864) (cbrt.f64 2999424289/4381380864)) (cbrt.f64 -1048098867723119780828012616326678034199633/66192))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888) (cbrt.f64 2999424289/4381380864)) (cbrt.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -3180012103195918782619561287304327173409/4381380864 1) 58064383720048912349034295968454127/66192)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -57401230688592101036607766958363175899011300511/4381380864 1) 1048098867723119780828012616326678034199633/66192)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -138484082245775706295426708315306282360381535595355549535596104343260540623/290012362149888 1) 2528604492591810876904462693141970207613737024035560639355745327355169/4381380864)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 1) -823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 12987677114147339530389729404372681103998753888817801859578902621045836143545022644582848540597168735122676472891295980745562490021796503168993201400593779943385164500832623600772490820501123158273285384941533412831/84107170199757789853378412544 4381380864/823883427391864301628869180619110176224895310602736029172212283376294440972922857089) -287837095795085380999466934181585831255439218647158730368223737898214008907643799268476952688371786859965887085055765181806737/290012362149888)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -2803751446245349364254453937637629990590899219143473611707066271224575358010529259397693290445519519733501919839414551472771386272648106646920354810065683238599374531088570254896490756922822237708145350124045852118262178208876318497840698820601912505166362777992966032889609924505579342929193802620625800289649253020631839641627398790042447/24392119103374423990179202707239052427395072 4381380864/823883427391864301628869180619110176224895310602736029172212283376294440972922857089) 62137645286811868739902710634376423733591095327975968825888499734193735936343613931649639954653446178254321502348812703909948474422118201992795362144922516930736065300155264107405106882242169485198358376991348237450035414707873355381231427179042587169/84107170199757789853378412544)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 57401230688592101036607766958363175899011300511/4381380864 (cbrt.f64 -1048098867723119780828012616326678034199633/66192)) (cbrt.f64 (*.f64 -1048098867723119780828012616326678034199633/66192 -1048098867723119780828012616326678034199633/66192)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 57401230688592101036607766958363175899011300511/4381380864 1) -1048098867723119780828012616326678034199633/66192)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 (cbrt.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864)) (cbrt.f64 (*.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 1) 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -54767/66192 (/.f64 -1048098867723119780828012616326678034199633/66192 -1048098867723119780828012616326678034199633/66192))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 -66192/54767 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 (/.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 -54767/66192))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 31527948450818882122395611168645822440733279375297884372153018906942973251517685263527499192705371887538537314499824277585847618879/19196498275425386496 (*.f64 -1048098867723119780828012616326678034199633/66192 549255618261242867752579453746073450816596873735157352781474855584196293982948379489/4381380864))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 12987677114147339530389729404372681103998753888817801859578902621045836143545022644582848540597168735122676472891295980745562490021796503168993201400593779943385164500832623600772490820501123158273285384941533412831/84107170199757789853378412544 (*.f64 -1048098867723119780828012616326678034199633/66192 226261300643655112214488825405796770840152833886828349348098257783893030278177567767505612629707028319466359148593870597235591334578296815576463203243059794658254141121/19196498275425386496))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 12987677114147339530389729404372681103998753888817801859578902621045836143545022644582848540597168735122676472891295980745562490021796503168993201400593779943385164500832623600772490820501123158273285384941533412831/84107170199757789853378412544 (*.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 -287837095795085380999466934181585831255439218647158730368223737898214008907643799268476952688371786859965887085055765181806737/290012362149888))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -2803751446245349364254453937637629990590899219143473611707066271224575358010529259397693290445519519733501919839414551472771386272648106646920354810065683238599374531088570254896490756922822237708145350124045852118262178208876318497840698820601912505166362777992966032889609924505579342929193802620625800289649253020631839641627398790042447/24392119103374423990179202707239052427395072 (*.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 62137645286811868739902710634376423733591095327975968825888499734193735936343613931649639954653446178254321502348812703909948474422118201992795362144922516930736065300155264107405106882242169485198358376991348237450035414707873355381231427179042587169/84107170199757789853378412544))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 58064383720048912349034295968454127/66192 -3180012103195918782619561287304327173409/4381380864))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 -823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 524049462893751750438462482680487001272113/66192 3) -496249783112017350686414974728164423066542512886734178162545340683796439796458124993939025060021149513414869000) (+.f64 (*.f64 524049462893751750438462482680487001272113/66192 524049462893751750438462482680487001272113/66192) (-.f64 62680658925530399348651842681623303061242097389084458210685414452745732100 (*.f64 524049462893751750438462482680487001272113/66192 -7917111779274712207494296632228773890))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 -496249783112017350686414974728164423066542512886734178162545340683796439796458124993939025060021149513414869000 (pow.f64 524049462893751750438462482680487001272113/66192 3)) (+.f64 62680658925530399348651842681623303061242097389084458210685414452745732100 (-.f64 (*.f64 524049462893751750438462482680487001272113/66192 524049462893751750438462482680487001272113/66192) (*.f64 -7917111779274712207494296632228773890 524049462893751750438462482680487001272113/66192))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -138484082245775706295426708315306282360381535595355549535596104343260540623/290012362149888 (+.f64 842868164197270292301487564382246741922843634069829993762234439275809/4381380864 (-.f64 192375004675528315883356988245399596883720655992532867481600 -192375004675528315883356988245762497553840978906169845616640)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 3) (pow.f64 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536 3)) (+.f64 (*.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633) (+.f64 (*.f64 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536) (*.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 62680651980549078756438766167267563397336975316618976977629240695766122500 -1048098867723119780828012616326678034199633/66192) (*.f64 -1048098867723119780828012616326678034199633/66192 274627809130621433876289726873036725379597821523282625872433544312916559041968539489/4381380864)) (*.f64 -1048098867723119780828012616326678034199633/66192 -1048098867723119780828012616326678034199633/66192))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 31527948450818882122395611168645822440733279375297884372153018906942973251517685263527499192705371887538537314499824277585847618879/19196498275425386496 1) (*.f64 549255618261242867752579453746073450816596873735157352781474855584196293982948379489/4381380864 -1048098867723119780828012616326678034199633/66192))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 12987677114147339530389729404372681103998753888817801859578902621045836143545022644582848540597168735122676472891295980745562490021796503168993201400593779943385164500832623600772490820501123158273285384941533412831/84107170199757789853378412544 1) (*.f64 226261300643655112214488825405796770840152833886828349348098257783893030278177567767505612629707028319466359148593870597235591334578296815576463203243059794658254141121/19196498275425386496 -1048098867723119780828012616326678034199633/66192))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 12987677114147339530389729404372681103998753888817801859578902621045836143545022644582848540597168735122676472891295980745562490021796503168993201400593779943385164500832623600772490820501123158273285384941533412831/84107170199757789853378412544 1) (*.f64 -287837095795085380999466934181585831255439218647158730368223737898214008907643799268476952688371786859965887085055765181806737/290012362149888 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -2803751446245349364254453937637629990590899219143473611707066271224575358010529259397693290445519519733501919839414551472771386272648106646920354810065683238599374531088570254896490756922822237708145350124045852118262178208876318497840698820601912505166362777992966032889609924505579342929193802620625800289649253020631839641627398790042447/24392119103374423990179202707239052427395072 1) (*.f64 62137645286811868739902710634376423733591095327975968825888499734193735936343613931649639954653446178254321502348812703909948474422118201992795362144922516930736065300155264107405106882242169485198358376991348237450035414707873355381231427179042587169/84107170199757789853378412544 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (neg.f64 -66192/54767))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 -3180012103195918782619561287304327173409/4381380864) (neg.f64 58064383720048912349034295968454127/66192))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 -138484082245775706295426708315306282360381535595355549535596104343260540623/290012362149888) (neg.f64 2528604492591810876904462693141970207613737024035560639355745327355169/4381380864))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888) (neg.f64 -823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 -54767/66192) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 -54767/66192 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 -164269470035663/290012362149888 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 -66192/54767 -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 -57401230688592101036607766958363175899011300511/4381380864 -66192/1048098867723119780828012616326678034199633))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 57401230688592101036607766958363175899011300511/4381380864 1048098867723119780828012616326678034199633/66192))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 -823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 -57401230688592101036607766958363175899011300511/4381380864 -1048098867723119780828012616326678034199633/66192))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 -164269470035663/290012362149888)))))

simplify221.0ms (7.2%)

Algorithm
1×egglog
Counts
162 → 181
Calls
Call 1
Inputs
-54767/66192
(fma.f64 1 -7917111779274712207494296632228773890 524049462893751750438462482680487001272113/66192)
(fma.f64 -7917111779274712207494296632228773890 1 524049462893751750438462482680487001272113/66192)
(fma.f64 (cbrt.f64 -7917111340668961361101134701524942850) (cbrt.f64 62680651980549078756438766167267563397336975316618976977629240695766122500) 524049433861559890414006308163339017072433/66192)
(fma.f64 (sqrt.f64 524049433861559890414006308163339017072433/66192) (sqrt.f64 524049433861559890414006308163339017072433/66192) -7917111340668961361101134701524942850)
(fma.f64 (cbrt.f64 524049433861559890414006308163339017072433/66192) (cbrt.f64 274627809130621433876289726873036725379597821523282625872433544312916559041968539489/4381380864) -7917111340668961361101134701524942850)
(fma.f64 1 -7917111340668961361101134701524942850 524049433861559890414006308163339017072433/66192)
(fma.f64 1 524049433861559890414006308163339017072433/66192 -7917111340668961361101134701524942850)
(fma.f64 (sqrt.f64 438605750846393161930703831040) (sqrt.f64 438605750846393161930703831040) -29032191860024456174517147984254447/66192)
(fma.f64 (cbrt.f64 438605750846393161930703831040) (cbrt.f64 192375004675528315883356988245399596883720655992532867481600) -29032191860024456174517147984254447/66192)
(fma.f64 1 438605750846393161930703831040 -29032191860024456174517147984254447/66192)
(fma.f64 (cbrt.f64 62680658925530399348651842681623303061242097389084458210685414452745732100) (cbrt.f64 -7917111779274712207494296632228773890) 524049462893751750438462482680487001272113/66192)
(fma.f64 (cbrt.f64 -7917111779274712207494296632228773890) (cbrt.f64 62680658925530399348651842681623303061242097389084458210685414452745732100) 524049462893751750438462482680487001272113/66192)
(fma.f64 -7917111340668961361101134701524942850 1 524049433861559890414006308163339017072433/66192)
(fma.f64 -496249783112017350686330597944794634574424501837913690344003355483433855195774843268693447253285307756706005000 1/62680662398021348207265394231274997928677026524712524408197490130536759300 524049433861559890414006308163339017072433/66192)
(fma.f64 -62680658925530206973647167153307419704253851989487574490029421919878250500 1/7917112217880463053887458562932604930 524049433861559890414006308163339017072433/66192)
(fma.f64 (cbrt.f64 62680651980549078756438766167267563397336975316618976977629240695766122500) (cbrt.f64 -7917111340668961361101134701524942850) 524049433861559890414006308163339017072433/66192)
(fma.f64 (cbrt.f64 274627809130621433876289726873036725379597821523282625872433544312916559041968539489/4381380864) (cbrt.f64 524049433861559890414006308163339017072433/66192) -7917111340668961361101134701524942850)
(fma.f64 524049433861559890414006308163339017072433/66192 1 -7917111340668961361101134701524942850)
(fma.f64 438605750846393161930703831040 1 -29032191860024456174517147984254447/66192)
(fma.f64 (cbrt.f64 192375004675528315883356988245399596883720655992532867481600) (cbrt.f64 438605750846393161930703831040) -29032191860024456174517147984254447/66192)
(fma.f64 1 -29032191860024456174517147984254447/66192 438605750846393161930703831040)
(fma.f64 -29032191860024456174517147984254447/66192 1 438605750846393161930703831040)
(fma.f64 (cbrt.f64 -29032191860024456174517147984254447/66192) (cbrt.f64 842868164197270292301487564382246741922843634069829993762234439275809/4381380864) 438605750846393161930703831040)
(if (!=.f64 -1048098867723119780828012616326678034199633/66192 0) -54767/66192 -54767/66192)
(if (!=.f64 -7917111340668961361101134701524942850 0) -54767/66192 -54767/66192)
(if (!=.f64 524049433861559890414006308163339017072433/66192 0) -54767/66192 -54767/66192)
(if (!=.f64 1048098867723119780828012616326678034199633/66192 0) -54767/66192 -54767/66192)
(if (!=.f64 58064383720048912349034295968454127/66192 0) -54767/66192 -54767/66192)
(if (!=.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 0) -54767/66192 -54767/66192)
(if (!=.f64 2528604492591810876904462693141970207613737024035560639355745327355169/4381380864 0) -54767/66192 -54767/66192)
(if (!=.f64 438605750846393161930703831040 0) -54767/66192 -54767/66192)
(if (!=.f64 -29032191860024456174517147984254447/66192 0) -54767/66192 -54767/66192)
(if (!=.f64 (cbrt.f64 (*.f64 57401230688592101036607766958363175899011300511/4381380864 57401230688592101036607766958363175899011300511/4381380864)) 0) (/.f64 (cbrt.f64 57401230688592101036607766958363175899011300511/4381380864) (/.f64 -1048098867723119780828012616326678034199633/66192 (cbrt.f64 (*.f64 57401230688592101036607766958363175899011300511/4381380864 57401230688592101036607766958363175899011300511/4381380864)))) -54767/66192)
(if (!=.f64 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864) 0) (/.f64 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864) (/.f64 -1048098867723119780828012616326678034199633/66192 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864))) -54767/66192)
(if (!=.f64 57401230688592101036607766958363175899011300511/4381380864 0) -54767/66192 -54767/66192)
(if (!=.f64 1 0) -54767/66192 -54767/66192)
(if (!=.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 0) -54767/66192 -54767/66192)
(if (!=.f64 -54767/66192 0) -54767/66192 -54767/66192)
(if (!=.f64 (cbrt.f64 (*.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888)) 0) (/.f64 (cbrt.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888) (/.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 (cbrt.f64 (*.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888)))) -54767/66192)
(if (!=.f64 226261300643655112214488825405796770816506872548714187756301549407408663448039470896602820301808539553251210396774071520600032726638749808478786250651007859649260273921/19196498275425386496 0) (*.f64 (/.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 186412935860435606219708131903129271181291770312706897182080905096022186150657423218882630403988930340949915386446652244665282986840898047813830038027859741330004051546550098918513513474224523396039081646460487874391404554766415879702322388606076675969/84107170199757789853378412544) 226261300643655112214488825405796770816506872548714187756301549407408663448039470896602820301808539553251210396774071520600032726638749808478786250651007859649260273921/19196498275425386496) -54767/66192)
(if (!=.f64 -274627809130621433876289726873036725350897206178986575354129660833734971090963177089/4381380864 0) -54767/66192 -54767/66192)
(if (!=.f64 (-.f64 524049462893751750438462482680487001272113/66192 -7917111779274712207494296632228773890) 0) (/.f64 (-.f64 (*.f64 524049462893751750438462482680487001272113/66192 524049462893751750438462482680487001272113/66192) 62680658925530399348651842681623303061242097389084458210685414452745732100) (-.f64 524049462893751750438462482680487001272113/66192 -7917111779274712207494296632228773890)) -54767/66192)
(if (!=.f64 (-.f64 -7917111779274712207494296632228773890 524049462893751750438462482680487001272113/66192) 0) (/.f64 (-.f64 62680658925530399348651842681623303061242097389084458210685414452745732100 (*.f64 524049462893751750438462482680487001272113/66192 524049462893751750438462482680487001272113/66192)) (-.f64 -7917111779274712207494296632228773890 524049462893751750438462482680487001272113/66192)) -54767/66192)
(if (!=.f64 (-.f64 -29032191860024456174517147984254447/66192 438605750846393161930703831040) 0) (/.f64 (-.f64 842868164197270292301487564382246741922843634069829993762234439275809/4381380864 192375004675528315883356988245399596883720655992532867481600) (-.f64 -29032191860024456174517147984254447/66192 438605750846393161930703831040)) -54767/66192)
(if (!=.f64 (+.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536) 0) (/.f64 (-.f64 (*.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633) (*.f64 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536)) (+.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536)) -54767/66192)
(if (!=.f64 (+.f64 (*.f64 524049462893751750438462482680487001272113/66192 524049462893751750438462482680487001272113/66192) (-.f64 62680658925530399348651842681623303061242097389084458210685414452745732100 (*.f64 524049462893751750438462482680487001272113/66192 -7917111779274712207494296632228773890))) 0) -54767/66192 -54767/66192)
(if (!=.f64 (+.f64 62680658925530399348651842681623303061242097389084458210685414452745732100 (-.f64 (*.f64 524049462893751750438462482680487001272113/66192 524049462893751750438462482680487001272113/66192) (*.f64 -7917111779274712207494296632228773890 524049462893751750438462482680487001272113/66192))) 0) -54767/66192 -54767/66192)
(if (!=.f64 (+.f64 842868164197270292301487564382246741922843634069829993762234439275809/4381380864 (-.f64 192375004675528315883356988245399596883720655992532867481600 -192375004675528315883356988245762497553840978906169845616640)) 0) -54767/66192 -54767/66192)
(if (!=.f64 524049462893751750438462482680487001272113/66192 0) -54767/66192 -54767/66192)
(if (!=.f64 -7917111779274712207494296632228773890 0) -54767/66192 -54767/66192)
(if (!=.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 0) -54767/66192 -54767/66192)
(if (!=.f64 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536 0) -54767/66192 -54767/66192)
(if (!=.f64 (+.f64 (*.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633) (+.f64 (*.f64 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536) (*.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536))) 0) -54767/66192 -54767/66192)
(if (!=.f64 274627809130621433876289726873036725408298436867578676390737427792098146992973901889/4381380864 0) -54767/66192 -54767/66192)
(+.f64 524049462893751750438462482680487001272113/66192 -7917111779274712207494296632228773890)
(+.f64 -7917111779274712207494296632228773890 524049462893751750438462482680487001272113/66192)
(+.f64 (*.f64 524049462893751750438462482680487001272113/66192 1) -7917111779274712207494296632228773890)
(+.f64 -7917111779274712207494296632228773890 (*.f64 524049462893751750438462482680487001272113/66192 1))
(+.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 (neg.f64 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536))
(+.f64 -7917111340668961361101134701524942850 524049433861559890414006308163339017072433/66192)
(+.f64 524049433861559890414006308163339017072433/66192 -7917111340668961361101134701524942850)
(+.f64 438605750846393161930703831040 -29032191860024456174517147984254447/66192)
(+.f64 -29032191860024456174517147984254447/66192 438605750846393161930703831040)
(-.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536)
(-.f64 (+.f64 524049433861559890414006308163339017072433/66192 19237500467552831588335698824539959688372065599253286748160/791711221788046305388745856293260493) 6268065892553039934865184268162330306124209738908445821068541445274573210/791711221788046305388745856293260493)
(-.f64 19237500467552831588335698824539959688372065599253286748160/791711221788046305388745856293260493 (-.f64 6268065892553039934865184268162330306124209738908445821068541445274573210/791711221788046305388745856293260493 524049433861559890414006308163339017072433/66192))
(-.f64 (/.f64 192375004675528315883356988245399596883720655992532867481600 58064383720048912349034295968454127/66192) (/.f64 842868164197270292301487564382246741922843634069829993762234439275809/4381380864 58064383720048912349034295968454127/66192))
(-.f64 (/.f64 274627809130621433876289726873036725379597821523282625872433544312916559041968539489/4381380864 1048098867723119780828012616326678034199633/66192) (/.f64 62680651980549078756438766167267563397336975316618976977629240695766122500 1048098867723119780828012616326678034199633/66192))
(*.f64 1 -54767/66192)
(*.f64 -54767/66192 1)
(*.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 4381380864/823883427391864301628869180619110176224895310602736029172212283376294440972922857089)
(*.f64 57401230688592101036607766958363175899011300511/4381380864 -66192/1048098867723119780828012616326678034199633)
(*.f64 4381380864/823883427391864301628869180619110176224895310602736029172212283376294440972922857089 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888)
(*.f64 -66192/1048098867723119780828012616326678034199633 57401230688592101036607766958363175899011300511/4381380864)
(*.f64 (*.f64 (cbrt.f64 2999424289/4381380864) (cbrt.f64 (cbrt.f64 -54767/66192))) (cbrt.f64 (cbrt.f64 2999424289/4381380864)))
(*.f64 (cbrt.f64 57401230688592101036607766958363175899011300511/4381380864) (*.f64 (cbrt.f64 (*.f64 57401230688592101036607766958363175899011300511/4381380864 57401230688592101036607766958363175899011300511/4381380864)) -66192/1048098867723119780828012616326678034199633))
(*.f64 -54767/66192 (*.f64 -1048098867723119780828012616326678034199633/66192 -66192/1048098867723119780828012616326678034199633))
(*.f64 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864) (*.f64 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864) -66192/1048098867723119780828012616326678034199633))
(*.f64 (cbrt.f64 (cbrt.f64 -54767/66192)) (*.f64 (cbrt.f64 (cbrt.f64 2999424289/4381380864)) (cbrt.f64 2999424289/4381380864)))
(*.f64 (cbrt.f64 (cbrt.f64 2999424289/4381380864)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 2999424289/4381380864)) 2) (cbrt.f64 -54767/66192)))
(*.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 (*.f64 4381380864/823883427391864301628869180619110176224895310602736029172212283376294440972922857089 1))
(*.f64 57401230688592101036607766958363175899011300511/4381380864 (*.f64 -66192/1048098867723119780828012616326678034199633 1))
(*.f64 (/.f64 57401230688592101036607766958363175899011300511/4381380864 57401230688592101036607766958363175899011300511/4381380864) -54767/66192)
(*.f64 (/.f64 57401230688592101036607766958363175899011300511/4381380864 -287837095795085380999466934181585831255439218647158730368223737898214008907643799268476952688371786859965887085055765181806737/290012362149888) 274627809130621433876289726873036725408298436867578676390737427792098146992973901889/4381380864)
(*.f64 (/.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 -226261300643655112214488825405796770792860911210600026164504841030924296614606472741135060364179847475099412151267406703613224541297064604836131839160798722322546033921/19196498275425386496) -274627809130621433876289726873036725350897206178986575354129660833734971090963177089/4381380864)
(*.f64 -3180012103195918782619561287304327173409/4381380864 (/.f64 1 58064383720048912349034295968454127/66192))
(*.f64 -57401230688592101036607766958363175899011300511/4381380864 (/.f64 1 1048098867723119780828012616326678034199633/66192))
(*.f64 -138484082245775706295426708315306282360381535595355549535596104343260540623/290012362149888 (/.f64 1 2528604492591810876904462693141970207613737024035560639355745327355169/4381380864))
(*.f64 45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 (/.f64 1 -823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))
(*.f64 (/.f64 1 (cbrt.f64 -1048098867723119780828012616326678034199633/66192)) (/.f64 57401230688592101036607766958363175899011300511/4381380864 (cbrt.f64 (*.f64 -1048098867723119780828012616326678034199633/66192 -1048098867723119780828012616326678034199633/66192))))
(*.f64 (/.f64 1 1) -54767/66192)
(*.f64 (/.f64 (cbrt.f64 57401230688592101036607766958363175899011300511/4381380864) 1) (/.f64 (cbrt.f64 (*.f64 57401230688592101036607766958363175899011300511/4381380864 57401230688592101036607766958363175899011300511/4381380864)) -1048098867723119780828012616326678034199633/66192))
(*.f64 (/.f64 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864) (cbrt.f64 -1048098867723119780828012616326678034199633/66192)) (/.f64 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864) (cbrt.f64 (*.f64 -1048098867723119780828012616326678034199633/66192 -1048098867723119780828012616326678034199633/66192))))
(*.f64 (/.f64 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864) 1) (/.f64 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864) -1048098867723119780828012616326678034199633/66192))
(*.f64 (/.f64 -54767/66192 (cbrt.f64 -1048098867723119780828012616326678034199633/66192)) (/.f64 -1048098867723119780828012616326678034199633/66192 (cbrt.f64 (*.f64 -1048098867723119780828012616326678034199633/66192 -1048098867723119780828012616326678034199633/66192))))
(*.f64 (/.f64 -54767/66192 1) (/.f64 -1048098867723119780828012616326678034199633/66192 -1048098867723119780828012616326678034199633/66192))
(*.f64 (/.f64 (cbrt.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888) 1) (/.f64 (cbrt.f64 (*.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888)) 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))
(*.f64 (/.f64 1 (cbrt.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864)) (/.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 (cbrt.f64 (*.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))))
(*.f64 (/.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 1) (/.f64 -54767/66192 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))
(*.f64 (/.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 (cbrt.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864)) (/.f64 -54767/66192 (cbrt.f64 (*.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))))
(*.f64 (cbrt.f64 -54767/66192) (cbrt.f64 2999424289/4381380864))
(*.f64 (+.f64 (cbrt.f64 274627809130621433876289726873036725379597821523282625872433544312916559041968539489/4381380864) (-.f64 (cbrt.f64 62680651980549078756438766167267563397336975316618976977629240695766122500) (cbrt.f64 -2074478857948252310523097405071887277981466316681613158619904427967867317727025/33096))) (+.f64 (cbrt.f64 524049433861559890414006308163339017072433/66192) (cbrt.f64 -7917111340668961361101134701524942850)))
(*.f64 (+.f64 (cbrt.f64 62680651980549078756438766167267563397336975316618976977629240695766122500) (-.f64 (cbrt.f64 274627809130621433876289726873036725379597821523282625872433544312916559041968539489/4381380864) (cbrt.f64 -2074478857948252310523097405071887277981466316681613158619904427967867317727025/33096))) (+.f64 (cbrt.f64 -7917111340668961361101134701524942850) (cbrt.f64 524049433861559890414006308163339017072433/66192)))
(*.f64 (cbrt.f64 2999424289/4381380864) (cbrt.f64 -54767/66192))
(*.f64 (*.f64 (cbrt.f64 -54767/66192) (cbrt.f64 (cbrt.f64 2999424289/4381380864))) (pow.f64 (cbrt.f64 (cbrt.f64 2999424289/4381380864)) 2))
(/.f64 57401230688592101036607766958363175899011300511/4381380864 -1048098867723119780828012616326678034199633/66192)
(/.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864)
(/.f64 -3180012103195918782619561287304327173409/4381380864 58064383720048912349034295968454127/66192)
(/.f64 -57401230688592101036607766958363175899011300511/4381380864 1048098867723119780828012616326678034199633/66192)
(/.f64 -138484082245775706295426708315306282360381535595355549535596104343260540623/290012362149888 2528604492591810876904462693141970207613737024035560639355745327355169/4381380864)
(/.f64 45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 -823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864)
(/.f64 1 -66192/54767)
(/.f64 (*.f64 (cbrt.f64 2999424289/4381380864) (cbrt.f64 57401230688592101036607766958363175899011300511/4381380864)) (cbrt.f64 -1048098867723119780828012616326678034199633/66192))
(/.f64 (*.f64 (cbrt.f64 2999424289/4381380864) (cbrt.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888)) (cbrt.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))
(/.f64 (*.f64 31527948450818882122395611168645822440733279375297884372153018906942973251517685263527499192705371887538537314499824277585847618879/19196498275425386496 -66192/1048098867723119780828012616326678034199633) 549255618261242867752579453746073450816596873735157352781474855584196293982948379489/4381380864)
(/.f64 (*.f64 12987677114147339530389729404372681103998753888817801859578902621045836143545022644582848540597168735122676472891295980745562490021796503168993201400593779943385164500832623600772490820501123158273285384941533412831/84107170199757789853378412544 -66192/1048098867723119780828012616326678034199633) 226261300643655112214488825405796770840152833886828349348098257783893030278177567767505612629707028319466359148593870597235591334578296815576463203243059794658254141121/19196498275425386496)
(/.f64 (*.f64 (cbrt.f64 57401230688592101036607766958363175899011300511/4381380864) (cbrt.f64 2999424289/4381380864)) (cbrt.f64 -1048098867723119780828012616326678034199633/66192))
(/.f64 (*.f64 (cbrt.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888) (cbrt.f64 2999424289/4381380864)) (cbrt.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))
(/.f64 (*.f64 -3180012103195918782619561287304327173409/4381380864 1) 58064383720048912349034295968454127/66192)
(/.f64 (*.f64 -57401230688592101036607766958363175899011300511/4381380864 1) 1048098867723119780828012616326678034199633/66192)
(/.f64 (*.f64 -138484082245775706295426708315306282360381535595355549535596104343260540623/290012362149888 1) 2528604492591810876904462693141970207613737024035560639355745327355169/4381380864)
(/.f64 (*.f64 45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 1) -823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864)
(/.f64 (*.f64 12987677114147339530389729404372681103998753888817801859578902621045836143545022644582848540597168735122676472891295980745562490021796503168993201400593779943385164500832623600772490820501123158273285384941533412831/84107170199757789853378412544 4381380864/823883427391864301628869180619110176224895310602736029172212283376294440972922857089) -287837095795085380999466934181585831255439218647158730368223737898214008907643799268476952688371786859965887085055765181806737/290012362149888)
(/.f64 (*.f64 -2803751446245349364254453937637629990590899219143473611707066271224575358010529259397693290445519519733501919839414551472771386272648106646920354810065683238599374531088570254896490756922822237708145350124045852118262178208876318497840698820601912505166362777992966032889609924505579342929193802620625800289649253020631839641627398790042447/24392119103374423990179202707239052427395072 4381380864/823883427391864301628869180619110176224895310602736029172212283376294440972922857089) 62137645286811868739902710634376423733591095327975968825888499734193735936343613931649639954653446178254321502348812703909948474422118201992795362144922516930736065300155264107405106882242169485198358376991348237450035414707873355381231427179042587169/84107170199757789853378412544)
(/.f64 (/.f64 57401230688592101036607766958363175899011300511/4381380864 (cbrt.f64 -1048098867723119780828012616326678034199633/66192)) (cbrt.f64 (*.f64 -1048098867723119780828012616326678034199633/66192 -1048098867723119780828012616326678034199633/66192)))
(/.f64 (/.f64 57401230688592101036607766958363175899011300511/4381380864 1) -1048098867723119780828012616326678034199633/66192)
(/.f64 (/.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 (cbrt.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864)) (cbrt.f64 (*.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864)))
(/.f64 (/.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 1) 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864)
(/.f64 -54767/66192 (/.f64 -1048098867723119780828012616326678034199633/66192 -1048098867723119780828012616326678034199633/66192))
(/.f64 1 (/.f64 -66192/54767 1))
(/.f64 1 (/.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888))
(/.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 (/.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 -54767/66192))
(/.f64 31527948450818882122395611168645822440733279375297884372153018906942973251517685263527499192705371887538537314499824277585847618879/19196498275425386496 (*.f64 -1048098867723119780828012616326678034199633/66192 549255618261242867752579453746073450816596873735157352781474855584196293982948379489/4381380864))
(/.f64 12987677114147339530389729404372681103998753888817801859578902621045836143545022644582848540597168735122676472891295980745562490021796503168993201400593779943385164500832623600772490820501123158273285384941533412831/84107170199757789853378412544 (*.f64 -1048098867723119780828012616326678034199633/66192 226261300643655112214488825405796770840152833886828349348098257783893030278177567767505612629707028319466359148593870597235591334578296815576463203243059794658254141121/19196498275425386496))
(/.f64 12987677114147339530389729404372681103998753888817801859578902621045836143545022644582848540597168735122676472891295980745562490021796503168993201400593779943385164500832623600772490820501123158273285384941533412831/84107170199757789853378412544 (*.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 -287837095795085380999466934181585831255439218647158730368223737898214008907643799268476952688371786859965887085055765181806737/290012362149888))
(/.f64 -2803751446245349364254453937637629990590899219143473611707066271224575358010529259397693290445519519733501919839414551472771386272648106646920354810065683238599374531088570254896490756922822237708145350124045852118262178208876318497840698820601912505166362777992966032889609924505579342929193802620625800289649253020631839641627398790042447/24392119103374423990179202707239052427395072 (*.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 62137645286811868739902710634376423733591095327975968825888499734193735936343613931649639954653446178254321502348812703909948474422118201992795362144922516930736065300155264107405106882242169485198358376991348237450035414707873355381231427179042587169/84107170199757789853378412544))
(/.f64 1 (/.f64 58064383720048912349034295968454127/66192 -3180012103195918782619561287304327173409/4381380864))
(/.f64 1 (/.f64 -823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888))
(/.f64 (+.f64 (pow.f64 524049462893751750438462482680487001272113/66192 3) -496249783112017350686414974728164423066542512886734178162545340683796439796458124993939025060021149513414869000) (+.f64 (*.f64 524049462893751750438462482680487001272113/66192 524049462893751750438462482680487001272113/66192) (-.f64 62680658925530399348651842681623303061242097389084458210685414452745732100 (*.f64 524049462893751750438462482680487001272113/66192 -7917111779274712207494296632228773890))))
(/.f64 (+.f64 -496249783112017350686414974728164423066542512886734178162545340683796439796458124993939025060021149513414869000 (pow.f64 524049462893751750438462482680487001272113/66192 3)) (+.f64 62680658925530399348651842681623303061242097389084458210685414452745732100 (-.f64 (*.f64 524049462893751750438462482680487001272113/66192 524049462893751750438462482680487001272113/66192) (*.f64 -7917111779274712207494296632228773890 524049462893751750438462482680487001272113/66192))))
(/.f64 -138484082245775706295426708315306282360381535595355549535596104343260540623/290012362149888 (+.f64 842868164197270292301487564382246741922843634069829993762234439275809/4381380864 (-.f64 192375004675528315883356988245399596883720655992532867481600 -192375004675528315883356988245762497553840978906169845616640)))
(/.f64 (-.f64 (pow.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 3) (pow.f64 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536 3)) (+.f64 (*.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633) (+.f64 (*.f64 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536) (*.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536))))
(/.f64 (-.f64 (*.f64 62680651980549078756438766167267563397336975316618976977629240695766122500 -1048098867723119780828012616326678034199633/66192) (*.f64 -1048098867723119780828012616326678034199633/66192 274627809130621433876289726873036725379597821523282625872433544312916559041968539489/4381380864)) (*.f64 -1048098867723119780828012616326678034199633/66192 -1048098867723119780828012616326678034199633/66192))
(/.f64 (*.f64 31527948450818882122395611168645822440733279375297884372153018906942973251517685263527499192705371887538537314499824277585847618879/19196498275425386496 1) (*.f64 549255618261242867752579453746073450816596873735157352781474855584196293982948379489/4381380864 -1048098867723119780828012616326678034199633/66192))
(/.f64 (*.f64 12987677114147339530389729404372681103998753888817801859578902621045836143545022644582848540597168735122676472891295980745562490021796503168993201400593779943385164500832623600772490820501123158273285384941533412831/84107170199757789853378412544 1) (*.f64 226261300643655112214488825405796770840152833886828349348098257783893030278177567767505612629707028319466359148593870597235591334578296815576463203243059794658254141121/19196498275425386496 -1048098867723119780828012616326678034199633/66192))
(/.f64 (*.f64 12987677114147339530389729404372681103998753888817801859578902621045836143545022644582848540597168735122676472891295980745562490021796503168993201400593779943385164500832623600772490820501123158273285384941533412831/84107170199757789853378412544 1) (*.f64 -287837095795085380999466934181585831255439218647158730368223737898214008907643799268476952688371786859965887085055765181806737/290012362149888 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))
(/.f64 (*.f64 -2803751446245349364254453937637629990590899219143473611707066271224575358010529259397693290445519519733501919839414551472771386272648106646920354810065683238599374531088570254896490756922822237708145350124045852118262178208876318497840698820601912505166362777992966032889609924505579342929193802620625800289649253020631839641627398790042447/24392119103374423990179202707239052427395072 1) (*.f64 62137645286811868739902710634376423733591095327975968825888499734193735936343613931649639954653446178254321502348812703909948474422118201992795362144922516930736065300155264107405106882242169485198358376991348237450035414707873355381231427179042587169/84107170199757789853378412544 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))
(/.f64 -1 (neg.f64 -66192/54767))
(/.f64 (neg.f64 -3180012103195918782619561287304327173409/4381380864) (neg.f64 58064383720048912349034295968454127/66192))
(/.f64 (neg.f64 -138484082245775706295426708315306282360381535595355549535596104343260540623/290012362149888) (neg.f64 2528604492591810876904462693141970207613737024035560639355745327355169/4381380864))
(/.f64 (neg.f64 45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888) (neg.f64 -823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))
(pow.f64 (cbrt.f64 -54767/66192) 3)
(pow.f64 -54767/66192 1)
(pow.f64 -164269470035663/290012362149888 1/3)
(pow.f64 -66192/54767 -1)
(neg.f64 (*.f64 -57401230688592101036607766958363175899011300511/4381380864 -66192/1048098867723119780828012616326678034199633))
(neg.f64 (/.f64 57401230688592101036607766958363175899011300511/4381380864 1048098867723119780828012616326678034199633/66192))
(neg.f64 (/.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 -823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))
(neg.f64 (/.f64 -57401230688592101036607766958363175899011300511/4381380864 -1048098867723119780828012616326678034199633/66192))
(neg.f64 (-.f64 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633))
(cbrt.f64 -164269470035663/290012362149888)
Outputs
-54767/66192
(fma.f64 1 -7917111779274712207494296632228773890 524049462893751750438462482680487001272113/66192)
-54767/66192
(fma.f64 -7917111779274712207494296632228773890 1 524049462893751750438462482680487001272113/66192)
-54767/66192
(fma.f64 (cbrt.f64 -7917111340668961361101134701524942850) (cbrt.f64 62680651980549078756438766167267563397336975316618976977629240695766122500) 524049433861559890414006308163339017072433/66192)
(fma.f64 (sqrt.f64 524049433861559890414006308163339017072433/66192) (sqrt.f64 524049433861559890414006308163339017072433/66192) -7917111340668961361101134701524942850)
-54767/66192
(fma.f64 (cbrt.f64 524049433861559890414006308163339017072433/66192) (cbrt.f64 274627809130621433876289726873036725379597821523282625872433544312916559041968539489/4381380864) -7917111340668961361101134701524942850)
(fma.f64 1 -7917111340668961361101134701524942850 524049433861559890414006308163339017072433/66192)
-54767/66192
(fma.f64 1 524049433861559890414006308163339017072433/66192 -7917111340668961361101134701524942850)
-54767/66192
(fma.f64 (sqrt.f64 438605750846393161930703831040) (sqrt.f64 438605750846393161930703831040) -29032191860024456174517147984254447/66192)
-54767/66192
(fma.f64 (cbrt.f64 438605750846393161930703831040) (cbrt.f64 192375004675528315883356988245399596883720655992532867481600) -29032191860024456174517147984254447/66192)
(fma.f64 1 438605750846393161930703831040 -29032191860024456174517147984254447/66192)
-54767/66192
(fma.f64 (cbrt.f64 62680658925530399348651842681623303061242097389084458210685414452745732100) (cbrt.f64 -7917111779274712207494296632228773890) 524049462893751750438462482680487001272113/66192)
(fma.f64 (cbrt.f64 -7917111779274712207494296632228773890) (cbrt.f64 62680658925530399348651842681623303061242097389084458210685414452745732100) 524049462893751750438462482680487001272113/66192)
(fma.f64 -7917111340668961361101134701524942850 1 524049433861559890414006308163339017072433/66192)
(fma.f64 -496249783112017350686330597944794634574424501837913690344003355483433855195774843268693447253285307756706005000 1/62680662398021348207265394231274997928677026524712524408197490130536759300 524049433861559890414006308163339017072433/66192)
(fma.f64 -62680658925530206973647167153307419704253851989487574490029421919878250500 1/7917112217880463053887458562932604930 524049433861559890414006308163339017072433/66192)
(fma.f64 (cbrt.f64 62680651980549078756438766167267563397336975316618976977629240695766122500) (cbrt.f64 -7917111340668961361101134701524942850) 524049433861559890414006308163339017072433/66192)
(fma.f64 (cbrt.f64 274627809130621433876289726873036725379597821523282625872433544312916559041968539489/4381380864) (cbrt.f64 524049433861559890414006308163339017072433/66192) -7917111340668961361101134701524942850)
(fma.f64 524049433861559890414006308163339017072433/66192 1 -7917111340668961361101134701524942850)
(fma.f64 438605750846393161930703831040 1 -29032191860024456174517147984254447/66192)
(fma.f64 (cbrt.f64 192375004675528315883356988245399596883720655992532867481600) (cbrt.f64 438605750846393161930703831040) -29032191860024456174517147984254447/66192)
(fma.f64 1 -29032191860024456174517147984254447/66192 438605750846393161930703831040)
-54767/66192
(fma.f64 -29032191860024456174517147984254447/66192 1 438605750846393161930703831040)
(fma.f64 (cbrt.f64 -29032191860024456174517147984254447/66192) (cbrt.f64 842868164197270292301487564382246741922843634069829993762234439275809/4381380864) 438605750846393161930703831040)
(if (!=.f64 -1048098867723119780828012616326678034199633/66192 0) -54767/66192 -54767/66192)
(if (!=.f64 -7917111340668961361101134701524942850 0) -54767/66192 -54767/66192)
(if (!=.f64 524049433861559890414006308163339017072433/66192 0) -54767/66192 -54767/66192)
(if (!=.f64 1048098867723119780828012616326678034199633/66192 0) -54767/66192 -54767/66192)
(if (!=.f64 58064383720048912349034295968454127/66192 0) -54767/66192 -54767/66192)
(if (!=.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 0) -54767/66192 -54767/66192)
(if (!=.f64 2528604492591810876904462693141970207613737024035560639355745327355169/4381380864 0) -54767/66192 -54767/66192)
(if (!=.f64 438605750846393161930703831040 0) -54767/66192 -54767/66192)
(if (!=.f64 -29032191860024456174517147984254447/66192 0) -54767/66192 -54767/66192)
(if (!=.f64 (cbrt.f64 (*.f64 57401230688592101036607766958363175899011300511/4381380864 57401230688592101036607766958363175899011300511/4381380864)) 0) (/.f64 (cbrt.f64 57401230688592101036607766958363175899011300511/4381380864) (/.f64 -1048098867723119780828012616326678034199633/66192 (cbrt.f64 (*.f64 57401230688592101036607766958363175899011300511/4381380864 57401230688592101036607766958363175899011300511/4381380864)))) -54767/66192)
(if (!=.f64 (cbrt.f64 3294901284564967609730203311936649493514695094805394234339394782164011297423483296479548861121/19196498275425386496) 0) (/.f64 (cbrt.f64 57401230688592101036607766958363175899011300511/4381380864) (/.f64 -1048098867723119780828012616326678034199633/66192 (cbrt.f64 3294901284564967609730203311936649493514695094805394234339394782164011297423483296479548861121/19196498275425386496))) -54767/66192)
(if (!=.f64 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864) 0) (/.f64 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864) (/.f64 -1048098867723119780828012616326678034199633/66192 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864))) -54767/66192)
(if (!=.f64 57401230688592101036607766958363175899011300511/4381380864 0) -54767/66192 -54767/66192)
(if (!=.f64 1 0) -54767/66192 -54767/66192)
(if (!=.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 0) -54767/66192 -54767/66192)
(if (!=.f64 -54767/66192 0) -54767/66192 -54767/66192)
(if (!=.f64 (cbrt.f64 (*.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888)) 0) (/.f64 (cbrt.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888) (/.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 (cbrt.f64 (*.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888)))) -54767/66192)
(if (!=.f64 (cbrt.f64 2035960922433931431945475081923681347567164039297005684625389691066776203967710459836227321425420704260158202265878160328931420920588999253900292604808840749269240414817314587169/84107170199757789853378412544) 0) (/.f64 (cbrt.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888) (/.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 (cbrt.f64 2035960922433931431945475081923681347567164039297005684625389691066776203967710459836227321425420704260158202265878160328931420920588999253900292604808840749269240414817314587169/84107170199757789853378412544))) -54767/66192)
(if (!=.f64 226261300643655112214488825405796770816506872548714187756301549407408663448039470896602820301808539553251210396774071520600032726638749808478786250651007859649260273921/19196498275425386496 0) (*.f64 (/.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 186412935860435606219708131903129271181291770312706897182080905096022186150657423218882630403988930340949915386446652244665282986840898047813830038027859741330004051546550098918513513474224523396039081646460487874391404554766415879702322388606076675969/84107170199757789853378412544) 226261300643655112214488825405796770816506872548714187756301549407408663448039470896602820301808539553251210396774071520600032726638749808478786250651007859649260273921/19196498275425386496) -54767/66192)
(if (!=.f64 226261300643655112214488825405796770816506872548714187756301549407408663448039470896602820301808539553251210396774071520600032726638749808478786250651007859649260273921/19196498275425386496 0) -54767/66192 -54767/66192)
(if (!=.f64 -274627809130621433876289726873036725350897206178986575354129660833734971090963177089/4381380864 0) -54767/66192 -54767/66192)
(if (!=.f64 (-.f64 524049462893751750438462482680487001272113/66192 -7917111779274712207494296632228773890) 0) (/.f64 (-.f64 (*.f64 524049462893751750438462482680487001272113/66192 524049462893751750438462482680487001272113/66192) 62680658925530399348651842681623303061242097389084458210685414452745732100) (-.f64 524049462893751750438462482680487001272113/66192 -7917111779274712207494296632228773890)) -54767/66192)
(if (!=.f64 1048098925787503500876924965360974002598993/66192 0) -54767/66192 -54767/66192)
(if (!=.f64 (-.f64 -7917111779274712207494296632228773890 524049462893751750438462482680487001272113/66192) 0) (/.f64 (-.f64 62680658925530399348651842681623303061242097389084458210685414452745732100 (*.f64 524049462893751750438462482680487001272113/66192 524049462893751750438462482680487001272113/66192)) (-.f64 -7917111779274712207494296632228773890 524049462893751750438462482680487001272113/66192)) -54767/66192)
(if (!=.f64 -1048098925787503500876924965360974002598993/66192 0) -54767/66192 -54767/66192)
(if (!=.f64 (-.f64 -29032191860024456174517147984254447/66192 438605750846393161930703831040) 0) (/.f64 (-.f64 842868164197270292301487564382246741922843634069829993762234439275809/4381380864 192375004675528315883356988245399596883720655992532867481600) (-.f64 -29032191860024456174517147984254447/66192 438605750846393161930703831040)) -54767/66192)
(if (!=.f64 -58064383720048912349034295968454127/66192 0) -54767/66192 -54767/66192)
(if (!=.f64 (+.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536) 0) (/.f64 (-.f64 (*.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633) (*.f64 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536)) (+.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536)) -54767/66192)
(if (!=.f64 -549255618261242867752579453746073450816596873735157352781474855584196293982948379489/69375760252328744532567811099895472439742107536 0) -54767/66192 -54767/66192)
(if (!=.f64 (+.f64 (*.f64 524049462893751750438462482680487001272113/66192 524049462893751750438462482680487001272113/66192) (-.f64 62680658925530399348651842681623303061242097389084458210685414452745732100 (*.f64 524049462893751750438462482680487001272113/66192 -7917111779274712207494296632228773890))) 0) -54767/66192 -54767/66192)
(if (!=.f64 823883518677689078269383743170808353380894385912370716703524441254620853839823316609/4381380864 0) -54767/66192 -54767/66192)
(if (!=.f64 (+.f64 62680658925530399348651842681623303061242097389084458210685414452745732100 (-.f64 (*.f64 524049462893751750438462482680487001272113/66192 524049462893751750438462482680487001272113/66192) (*.f64 -7917111779274712207494296632228773890 524049462893751750438462482680487001272113/66192))) 0) -54767/66192 -54767/66192)
(if (!=.f64 823883518677689078269383743170808353380894385912370716703524441254620853839823316609/4381380864 0) -54767/66192 -54767/66192)
(if (!=.f64 (+.f64 842868164197270292301487564382246741922843634069829993762234439275809/4381380864 (-.f64 192375004675528315883356988245399596883720655992532867481600 -192375004675528315883356988245762497553840978906169845616640)) 0) -54767/66192 -54767/66192)
(if (!=.f64 2528604492591810876904462693141970207613737024035560639355745327355169/4381380864 0) -54767/66192 -54767/66192)
(if (!=.f64 524049462893751750438462482680487001272113/66192 0) -54767/66192 -54767/66192)
(if (!=.f64 -7917111779274712207494296632228773890 0) -54767/66192 -54767/66192)
(if (!=.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 0) -54767/66192 -54767/66192)
(if (!=.f64 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536 0) -54767/66192 -54767/66192)
(if (!=.f64 (+.f64 (*.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633) (+.f64 (*.f64 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536) (*.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536))) 0) -54767/66192 -54767/66192)
(if (!=.f64 226261300643655112214488825405796770840152833886828349348098257783893030278177567767505612629707028319466359148593870597235591334578296815576463203243059794658254141121/4812996110588596907255268610565238665092565432370885259011302211907522366540075124202987991296 0) -54767/66192 -54767/66192)
(if (!=.f64 274627809130621433876289726873036725408298436867578676390737427792098146992973901889/4381380864 0) -54767/66192 -54767/66192)
(+.f64 524049462893751750438462482680487001272113/66192 -7917111779274712207494296632228773890)
-54767/66192
(+.f64 -7917111779274712207494296632228773890 524049462893751750438462482680487001272113/66192)
-54767/66192
(+.f64 (*.f64 524049462893751750438462482680487001272113/66192 1) -7917111779274712207494296632228773890)
-54767/66192
(+.f64 -7917111779274712207494296632228773890 (*.f64 524049462893751750438462482680487001272113/66192 1))
-54767/66192
(+.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 (neg.f64 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536))
-54767/66192
(+.f64 -7917111340668961361101134701524942850 524049433861559890414006308163339017072433/66192)
-54767/66192
(+.f64 524049433861559890414006308163339017072433/66192 -7917111340668961361101134701524942850)
-54767/66192
(+.f64 438605750846393161930703831040 -29032191860024456174517147984254447/66192)
-54767/66192
(+.f64 -29032191860024456174517147984254447/66192 438605750846393161930703831040)
-54767/66192
(-.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536)
-54767/66192
(-.f64 (+.f64 524049433861559890414006308163339017072433/66192 19237500467552831588335698824539959688372065599253286748160/791711221788046305388745856293260493) 6268065892553039934865184268162330306124209738908445821068541445274573210/791711221788046305388745856293260493)
-54767/66192
(-.f64 19237500467552831588335698824539959688372065599253286748160/791711221788046305388745856293260493 (-.f64 6268065892553039934865184268162330306124209738908445821068541445274573210/791711221788046305388745856293260493 524049433861559890414006308163339017072433/66192))
-54767/66192
(-.f64 (/.f64 192375004675528315883356988245399596883720655992532867481600 58064383720048912349034295968454127/66192) (/.f64 842868164197270292301487564382246741922843634069829993762234439275809/4381380864 58064383720048912349034295968454127/66192))
-54767/66192
(-.f64 (/.f64 274627809130621433876289726873036725379597821523282625872433544312916559041968539489/4381380864 1048098867723119780828012616326678034199633/66192) (/.f64 62680651980549078756438766167267563397336975316618976977629240695766122500 1048098867723119780828012616326678034199633/66192))
-54767/66192
(*.f64 1 -54767/66192)
-54767/66192
(*.f64 -54767/66192 1)
-54767/66192
(*.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 4381380864/823883427391864301628869180619110176224895310602736029172212283376294440972922857089)
-54767/66192
(*.f64 57401230688592101036607766958363175899011300511/4381380864 -66192/1048098867723119780828012616326678034199633)
-54767/66192
(*.f64 4381380864/823883427391864301628869180619110176224895310602736029172212283376294440972922857089 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888)
-54767/66192
(*.f64 -66192/1048098867723119780828012616326678034199633 57401230688592101036607766958363175899011300511/4381380864)
-54767/66192
(*.f64 (*.f64 (cbrt.f64 2999424289/4381380864) (cbrt.f64 (cbrt.f64 -54767/66192))) (cbrt.f64 (cbrt.f64 2999424289/4381380864)))
(*.f64 (cbrt.f64 (*.f64 2999424289/4381380864 (cbrt.f64 -54767/66192))) (cbrt.f64 (cbrt.f64 2999424289/4381380864)))
(*.f64 (cbrt.f64 57401230688592101036607766958363175899011300511/4381380864) (*.f64 (cbrt.f64 (*.f64 57401230688592101036607766958363175899011300511/4381380864 57401230688592101036607766958363175899011300511/4381380864)) -66192/1048098867723119780828012616326678034199633))
-54767/66192
(*.f64 -54767/66192 (*.f64 -1048098867723119780828012616326678034199633/66192 -66192/1048098867723119780828012616326678034199633))
-54767/66192
(*.f64 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864) (*.f64 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864) -66192/1048098867723119780828012616326678034199633))
-54767/66192
(*.f64 (cbrt.f64 (cbrt.f64 -54767/66192)) (*.f64 (cbrt.f64 (cbrt.f64 2999424289/4381380864)) (cbrt.f64 2999424289/4381380864)))
(*.f64 (cbrt.f64 (cbrt.f64 -54767/66192)) (cbrt.f64 (*.f64 (cbrt.f64 2999424289/4381380864) 2999424289/4381380864)))
(*.f64 (cbrt.f64 (cbrt.f64 2999424289/4381380864)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 2999424289/4381380864)) 2) (cbrt.f64 -54767/66192)))
(cbrt.f64 (*.f64 2999424289/4381380864 -54767/66192))
(*.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 (*.f64 4381380864/823883427391864301628869180619110176224895310602736029172212283376294440972922857089 1))
-54767/66192
(*.f64 57401230688592101036607766958363175899011300511/4381380864 (*.f64 -66192/1048098867723119780828012616326678034199633 1))
-54767/66192
(*.f64 (/.f64 57401230688592101036607766958363175899011300511/4381380864 57401230688592101036607766958363175899011300511/4381380864) -54767/66192)
-54767/66192
(*.f64 (/.f64 57401230688592101036607766958363175899011300511/4381380864 -287837095795085380999466934181585831255439218647158730368223737898214008907643799268476952688371786859965887085055765181806737/290012362149888) 274627809130621433876289726873036725408298436867578676390737427792098146992973901889/4381380864)
-54767/66192
(*.f64 (/.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 -226261300643655112214488825405796770792860911210600026164504841030924296614606472741135060364179847475099412151267406703613224541297064604836131839160798722322546033921/19196498275425386496) -274627809130621433876289726873036725350897206178986575354129660833734971090963177089/4381380864)
-54767/66192
(*.f64 -3180012103195918782619561287304327173409/4381380864 (/.f64 1 58064383720048912349034295968454127/66192))
-54767/66192
(*.f64 -57401230688592101036607766958363175899011300511/4381380864 (/.f64 1 1048098867723119780828012616326678034199633/66192))
-54767/66192
(*.f64 -138484082245775706295426708315306282360381535595355549535596104343260540623/290012362149888 (/.f64 1 2528604492591810876904462693141970207613737024035560639355745327355169/4381380864))
-54767/66192
(*.f64 45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 (/.f64 1 -823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))
-54767/66192
(*.f64 (/.f64 1 (cbrt.f64 -1048098867723119780828012616326678034199633/66192)) (/.f64 57401230688592101036607766958363175899011300511/4381380864 (cbrt.f64 (*.f64 -1048098867723119780828012616326678034199633/66192 -1048098867723119780828012616326678034199633/66192))))
-54767/66192
(*.f64 (/.f64 1 1) -54767/66192)
-54767/66192
(*.f64 (/.f64 (cbrt.f64 57401230688592101036607766958363175899011300511/4381380864) 1) (/.f64 (cbrt.f64 (*.f64 57401230688592101036607766958363175899011300511/4381380864 57401230688592101036607766958363175899011300511/4381380864)) -1048098867723119780828012616326678034199633/66192))
-54767/66192
(*.f64 (/.f64 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864) (cbrt.f64 -1048098867723119780828012616326678034199633/66192)) (/.f64 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864) (cbrt.f64 (*.f64 -1048098867723119780828012616326678034199633/66192 -1048098867723119780828012616326678034199633/66192))))
-54767/66192
(*.f64 (/.f64 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864) 1) (/.f64 (sqrt.f64 57401230688592101036607766958363175899011300511/4381380864) -1048098867723119780828012616326678034199633/66192))
-54767/66192
(*.f64 (/.f64 -54767/66192 (cbrt.f64 -1048098867723119780828012616326678034199633/66192)) (/.f64 -1048098867723119780828012616326678034199633/66192 (cbrt.f64 (*.f64 -1048098867723119780828012616326678034199633/66192 -1048098867723119780828012616326678034199633/66192))))
-54767/66192
(*.f64 (/.f64 -54767/66192 1) (/.f64 -1048098867723119780828012616326678034199633/66192 -1048098867723119780828012616326678034199633/66192))
-54767/66192
(*.f64 (/.f64 (cbrt.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888) 1) (/.f64 (cbrt.f64 (*.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888)) 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))
-54767/66192
(*.f64 (/.f64 1 (cbrt.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864)) (/.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 (cbrt.f64 (*.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))))
-54767/66192
(*.f64 (/.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 1) (/.f64 -54767/66192 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))
-54767/66192
(*.f64 (/.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 (cbrt.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864)) (/.f64 -54767/66192 (cbrt.f64 (*.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))))
-54767/66192
(*.f64 (cbrt.f64 -54767/66192) (cbrt.f64 2999424289/4381380864))
(cbrt.f64 (*.f64 2999424289/4381380864 -54767/66192))
(*.f64 (+.f64 (cbrt.f64 274627809130621433876289726873036725379597821523282625872433544312916559041968539489/4381380864) (-.f64 (cbrt.f64 62680651980549078756438766167267563397336975316618976977629240695766122500) (cbrt.f64 -2074478857948252310523097405071887277981466316681613158619904427967867317727025/33096))) (+.f64 (cbrt.f64 524049433861559890414006308163339017072433/66192) (cbrt.f64 -7917111340668961361101134701524942850)))
(*.f64 (-.f64 (+.f64 (cbrt.f64 274627809130621433876289726873036725379597821523282625872433544312916559041968539489/4381380864) (cbrt.f64 62680651980549078756438766167267563397336975316618976977629240695766122500)) (cbrt.f64 -2074478857948252310523097405071887277981466316681613158619904427967867317727025/33096)) (+.f64 (cbrt.f64 524049433861559890414006308163339017072433/66192) (cbrt.f64 -7917111340668961361101134701524942850)))
(*.f64 (+.f64 (cbrt.f64 62680651980549078756438766167267563397336975316618976977629240695766122500) (-.f64 (cbrt.f64 274627809130621433876289726873036725379597821523282625872433544312916559041968539489/4381380864) (cbrt.f64 -2074478857948252310523097405071887277981466316681613158619904427967867317727025/33096))) (+.f64 (cbrt.f64 -7917111340668961361101134701524942850) (cbrt.f64 524049433861559890414006308163339017072433/66192)))
(*.f64 (-.f64 (+.f64 (cbrt.f64 62680651980549078756438766167267563397336975316618976977629240695766122500) (cbrt.f64 274627809130621433876289726873036725379597821523282625872433544312916559041968539489/4381380864)) (cbrt.f64 -2074478857948252310523097405071887277981466316681613158619904427967867317727025/33096)) (+.f64 (cbrt.f64 524049433861559890414006308163339017072433/66192) (cbrt.f64 -7917111340668961361101134701524942850)))
(*.f64 (cbrt.f64 2999424289/4381380864) (cbrt.f64 -54767/66192))
(cbrt.f64 (*.f64 2999424289/4381380864 -54767/66192))
(*.f64 (*.f64 (cbrt.f64 -54767/66192) (cbrt.f64 (cbrt.f64 2999424289/4381380864))) (pow.f64 (cbrt.f64 (cbrt.f64 2999424289/4381380864)) 2))
(cbrt.f64 (*.f64 2999424289/4381380864 -54767/66192))
(/.f64 57401230688592101036607766958363175899011300511/4381380864 -1048098867723119780828012616326678034199633/66192)
-54767/66192
(/.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864)
-54767/66192
(/.f64 -3180012103195918782619561287304327173409/4381380864 58064383720048912349034295968454127/66192)
-54767/66192
(/.f64 -57401230688592101036607766958363175899011300511/4381380864 1048098867723119780828012616326678034199633/66192)
-54767/66192
(/.f64 -138484082245775706295426708315306282360381535595355549535596104343260540623/290012362149888 2528604492591810876904462693141970207613737024035560639355745327355169/4381380864)
-54767/66192
(/.f64 45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 -823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864)
-54767/66192
(/.f64 1 -66192/54767)
-54767/66192
(/.f64 (*.f64 (cbrt.f64 2999424289/4381380864) (cbrt.f64 57401230688592101036607766958363175899011300511/4381380864)) (cbrt.f64 -1048098867723119780828012616326678034199633/66192))
(/.f64 (cbrt.f64 (*.f64 2999424289/4381380864 57401230688592101036607766958363175899011300511/4381380864)) (cbrt.f64 -1048098867723119780828012616326678034199633/66192))
(/.f64 (*.f64 (cbrt.f64 2999424289/4381380864) (cbrt.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888)) (cbrt.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))
(/.f64 (cbrt.f64 (*.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 2999424289/4381380864)) (cbrt.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))
(/.f64 (*.f64 31527948450818882122395611168645822440733279375297884372153018906942973251517685263527499192705371887538537314499824277585847618879/19196498275425386496 -66192/1048098867723119780828012616326678034199633) 549255618261242867752579453746073450816596873735157352781474855584196293982948379489/4381380864)
-54767/66192
(/.f64 (*.f64 12987677114147339530389729404372681103998753888817801859578902621045836143545022644582848540597168735122676472891295980745562490021796503168993201400593779943385164500832623600772490820501123158273285384941533412831/84107170199757789853378412544 -66192/1048098867723119780828012616326678034199633) 226261300643655112214488825405796770840152833886828349348098257783893030278177567767505612629707028319466359148593870597235591334578296815576463203243059794658254141121/19196498275425386496)
-54767/66192
(/.f64 (*.f64 (cbrt.f64 57401230688592101036607766958363175899011300511/4381380864) (cbrt.f64 2999424289/4381380864)) (cbrt.f64 -1048098867723119780828012616326678034199633/66192))
(/.f64 (cbrt.f64 (*.f64 2999424289/4381380864 57401230688592101036607766958363175899011300511/4381380864)) (cbrt.f64 -1048098867723119780828012616326678034199633/66192))
(/.f64 (*.f64 (cbrt.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888) (cbrt.f64 2999424289/4381380864)) (cbrt.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))
(/.f64 (cbrt.f64 (*.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 2999424289/4381380864)) (cbrt.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))
(/.f64 (*.f64 -3180012103195918782619561287304327173409/4381380864 1) 58064383720048912349034295968454127/66192)
-54767/66192
(/.f64 (*.f64 -57401230688592101036607766958363175899011300511/4381380864 1) 1048098867723119780828012616326678034199633/66192)
-54767/66192
(/.f64 (*.f64 -138484082245775706295426708315306282360381535595355549535596104343260540623/290012362149888 1) 2528604492591810876904462693141970207613737024035560639355745327355169/4381380864)
-54767/66192
(/.f64 (*.f64 45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 1) -823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864)
-54767/66192
(/.f64 (*.f64 12987677114147339530389729404372681103998753888817801859578902621045836143545022644582848540597168735122676472891295980745562490021796503168993201400593779943385164500832623600772490820501123158273285384941533412831/84107170199757789853378412544 4381380864/823883427391864301628869180619110176224895310602736029172212283376294440972922857089) -287837095795085380999466934181585831255439218647158730368223737898214008907643799268476952688371786859965887085055765181806737/290012362149888)
-54767/66192
(/.f64 (*.f64 -2803751446245349364254453937637629990590899219143473611707066271224575358010529259397693290445519519733501919839414551472771386272648106646920354810065683238599374531088570254896490756922822237708145350124045852118262178208876318497840698820601912505166362777992966032889609924505579342929193802620625800289649253020631839641627398790042447/24392119103374423990179202707239052427395072 4381380864/823883427391864301628869180619110176224895310602736029172212283376294440972922857089) 62137645286811868739902710634376423733591095327975968825888499734193735936343613931649639954653446178254321502348812703909948474422118201992795362144922516930736065300155264107405106882242169485198358376991348237450035414707873355381231427179042587169/84107170199757789853378412544)
-54767/66192
(/.f64 (/.f64 57401230688592101036607766958363175899011300511/4381380864 (cbrt.f64 -1048098867723119780828012616326678034199633/66192)) (cbrt.f64 (*.f64 -1048098867723119780828012616326678034199633/66192 -1048098867723119780828012616326678034199633/66192)))
(/.f64 57401230688592101036607766958363175899011300511/4381380864 (*.f64 (cbrt.f64 1098511236522485735505158907492146901633193747470314705562949711168392587962897334689/4381380864) (cbrt.f64 -1048098867723119780828012616326678034199633/66192)))
(/.f64 (/.f64 57401230688592101036607766958363175899011300511/4381380864 1) -1048098867723119780828012616326678034199633/66192)
-54767/66192
(/.f64 (/.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 (cbrt.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864)) (cbrt.f64 (*.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864)))
(/.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 (*.f64 (cbrt.f64 678783901930965336643466476217390312520458501660485048044294773351679090829590351375669386474525779990494103205509569149498682652225798273483372663589456166222717553921/19196498275425386496) (cbrt.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864)))
(/.f64 (/.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 1) 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864)
-54767/66192
(/.f64 -54767/66192 (/.f64 -1048098867723119780828012616326678034199633/66192 -1048098867723119780828012616326678034199633/66192))
-54767/66192
(/.f64 1 (/.f64 -66192/54767 1))
-54767/66192
(/.f64 1 (/.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888))
-54767/66192
(/.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 (/.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 -54767/66192))
-54767/66192
(/.f64 31527948450818882122395611168645822440733279375297884372153018906942973251517685263527499192705371887538537314499824277585847618879/19196498275425386496 (*.f64 -1048098867723119780828012616326678034199633/66192 549255618261242867752579453746073450816596873735157352781474855584196293982948379489/4381380864))
-54767/66192
(/.f64 12987677114147339530389729404372681103998753888817801859578902621045836143545022644582848540597168735122676472891295980745562490021796503168993201400593779943385164500832623600772490820501123158273285384941533412831/84107170199757789853378412544 (*.f64 -1048098867723119780828012616326678034199633/66192 226261300643655112214488825405796770840152833886828349348098257783893030278177567767505612629707028319466359148593870597235591334578296815576463203243059794658254141121/19196498275425386496))
-54767/66192
(/.f64 12987677114147339530389729404372681103998753888817801859578902621045836143545022644582848540597168735122676472891295980745562490021796503168993201400593779943385164500832623600772490820501123158273285384941533412831/84107170199757789853378412544 (*.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 -287837095795085380999466934181585831255439218647158730368223737898214008907643799268476952688371786859965887085055765181806737/290012362149888))
-54767/66192
(/.f64 -2803751446245349364254453937637629990590899219143473611707066271224575358010529259397693290445519519733501919839414551472771386272648106646920354810065683238599374531088570254896490756922822237708145350124045852118262178208876318497840698820601912505166362777992966032889609924505579342929193802620625800289649253020631839641627398790042447/24392119103374423990179202707239052427395072 (*.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 62137645286811868739902710634376423733591095327975968825888499734193735936343613931649639954653446178254321502348812703909948474422118201992795362144922516930736065300155264107405106882242169485198358376991348237450035414707873355381231427179042587169/84107170199757789853378412544))
-54767/66192
(/.f64 1 (/.f64 58064383720048912349034295968454127/66192 -3180012103195918782619561287304327173409/4381380864))
-54767/66192
(/.f64 1 (/.f64 -823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888))
-54767/66192
(/.f64 (+.f64 (pow.f64 524049462893751750438462482680487001272113/66192 3) -496249783112017350686414974728164423066542512886734178162545340683796439796458124993939025060021149513414869000) (+.f64 (*.f64 524049462893751750438462482680487001272113/66192 524049462893751750438462482680487001272113/66192) (-.f64 62680658925530399348651842681623303061242097389084458210685414452745732100 (*.f64 524049462893751750438462482680487001272113/66192 -7917111779274712207494296632228773890))))
(/.f64 -45121628667420997749579339462235661089611442833262807041701923074191820302245603580725103/290012362149888 823883518677689078269383743170808353380894385912370716703524441254620853839823316609/4381380864)
(/.f64 (+.f64 -496249783112017350686414974728164423066542512886734178162545340683796439796458124993939025060021149513414869000 (pow.f64 524049462893751750438462482680487001272113/66192 3)) (+.f64 62680658925530399348651842681623303061242097389084458210685414452745732100 (-.f64 (*.f64 524049462893751750438462482680487001272113/66192 524049462893751750438462482680487001272113/66192) (*.f64 -7917111779274712207494296632228773890 524049462893751750438462482680487001272113/66192))))
(/.f64 -45121628667420997749579339462235661089611442833262807041701923074191820302245603580725103/290012362149888 823883518677689078269383743170808353380894385912370716703524441254620853839823316609/4381380864)
(/.f64 -138484082245775706295426708315306282360381535595355549535596104343260540623/290012362149888 (+.f64 842868164197270292301487564382246741922843634069829993762234439275809/4381380864 (-.f64 192375004675528315883356988245399596883720655992532867481600 -192375004675528315883356988245762497553840978906169845616640)))
-54767/66192
(/.f64 (-.f64 (pow.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 3) (pow.f64 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536 3)) (+.f64 (*.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633) (+.f64 (*.f64 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536) (*.f64 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536))))
-54767/66192
(/.f64 (-.f64 (*.f64 62680651980549078756438766167267563397336975316618976977629240695766122500 -1048098867723119780828012616326678034199633/66192) (*.f64 -1048098867723119780828012616326678034199633/66192 274627809130621433876289726873036725379597821523282625872433544312916559041968539489/4381380864)) (*.f64 -1048098867723119780828012616326678034199633/66192 -1048098867723119780828012616326678034199633/66192))
-54767/66192
(/.f64 (*.f64 31527948450818882122395611168645822440733279375297884372153018906942973251517685263527499192705371887538537314499824277585847618879/19196498275425386496 1) (*.f64 549255618261242867752579453746073450816596873735157352781474855584196293982948379489/4381380864 -1048098867723119780828012616326678034199633/66192))
-54767/66192
(/.f64 (*.f64 12987677114147339530389729404372681103998753888817801859578902621045836143545022644582848540597168735122676472891295980745562490021796503168993201400593779943385164500832623600772490820501123158273285384941533412831/84107170199757789853378412544 1) (*.f64 226261300643655112214488825405796770840152833886828349348098257783893030278177567767505612629707028319466359148593870597235591334578296815576463203243059794658254141121/19196498275425386496 -1048098867723119780828012616326678034199633/66192))
-54767/66192
(/.f64 (*.f64 12987677114147339530389729404372681103998753888817801859578902621045836143545022644582848540597168735122676472891295980745562490021796503168993201400593779943385164500832623600772490820501123158273285384941533412831/84107170199757789853378412544 1) (*.f64 -287837095795085380999466934181585831255439218647158730368223737898214008907643799268476952688371786859965887085055765181806737/290012362149888 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))
-54767/66192
(/.f64 (*.f64 -2803751446245349364254453937637629990590899219143473611707066271224575358010529259397693290445519519733501919839414551472771386272648106646920354810065683238599374531088570254896490756922822237708145350124045852118262178208876318497840698820601912505166362777992966032889609924505579342929193802620625800289649253020631839641627398790042447/24392119103374423990179202707239052427395072 1) (*.f64 62137645286811868739902710634376423733591095327975968825888499734193735936343613931649639954653446178254321502348812703909948474422118201992795362144922516930736065300155264107405106882242169485198358376991348237450035414707873355381231427179042587169/84107170199757789853378412544 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))
-54767/66192
(/.f64 -1 (neg.f64 -66192/54767))
-54767/66192
(/.f64 (neg.f64 -3180012103195918782619561287304327173409/4381380864) (neg.f64 58064383720048912349034295968454127/66192))
-54767/66192
(/.f64 (neg.f64 -138484082245775706295426708315306282360381535595355549535596104343260540623/290012362149888) (neg.f64 2528604492591810876904462693141970207613737024035560639355745327355169/4381380864))
-54767/66192
(/.f64 (neg.f64 45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888) (neg.f64 -823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))
-54767/66192
(pow.f64 (cbrt.f64 -54767/66192) 3)
-54767/66192
(pow.f64 -54767/66192 1)
-54767/66192
(pow.f64 -164269470035663/290012362149888 1/3)
(cbrt.f64 -164269470035663/290012362149888)
(pow.f64 -66192/54767 -1)
-54767/66192
(neg.f64 (*.f64 -57401230688592101036607766958363175899011300511/4381380864 -66192/1048098867723119780828012616326678034199633))
-54767/66192
(neg.f64 (/.f64 57401230688592101036607766958363175899011300511/4381380864 1048098867723119780828012616326678034199633/66192))
-54767/66192
(neg.f64 (/.f64 -45121623667970232207308278414966807021308841475780044109674550123669517648764066114193263/290012362149888 -823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864))
-54767/66192
(neg.f64 (/.f64 -57401230688592101036607766958363175899011300511/4381380864 -1048098867723119780828012616326678034199633/66192))
-54767/66192
(neg.f64 (-.f64 -274627809130621433876289726873036725379597821523282625872433544312916559041968539489/69375760252328744532567811099895472439742107536 -4148957715896504621046194810143774556396529070157643324103234700134151180520000/1048098867723119780828012616326678034199633))
-54767/66192
(cbrt.f64 -164269470035663/290012362149888)

localize189.0ms (6.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓1.0b
(+.f64 (*.f64 (*.f64 11 (*.f64 77617 77617)) (*.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))
✓1.0b
(*.f64 11/2 (pow.f64 33096 8))
✓1.0b
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 33096 6)) (*.f64 (*.f64 77617 77617) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 11 (*.f64 77617 77617)) (*.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (*.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (*.f64 2 33096)))
✓62.0b
(+.f64 (+.f64 (*.f64 1335/4 (pow.f64 33096 6)) (*.f64 (*.f64 77617 77617) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 11 (*.f64 77617 77617)) (*.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (*.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))
Compiler

Compiled 263 to 263 computations (0% saved)

series0.0ms (0%)

Counts
4 → 0
Compiler

Compiled 5 to 5 computations (0% saved)

rewrite130.0ms (4.2%)

Algorithm
1×batch-egg-rewrite
Rules
43×egg-rr
41×egg-rr
40×egg-rr
24×egg-rr
Counts
4 → 148
Calls
Call 1
Inputs
(+.f64 (+.f64 (*.f64 1335/4 (pow.f64 33096 6)) (*.f64 (*.f64 77617 77617) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 11 (*.f64 77617 77617)) (*.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (*.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 33096 6)) (*.f64 (*.f64 77617 77617) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 11 (*.f64 77617 77617)) (*.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (*.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (*.f64 2 33096)))
(*.f64 11/2 (pow.f64 33096 8))
(+.f64 (*.f64 (*.f64 11 (*.f64 77617 77617)) (*.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 438605750846393161930703831040) (cbrt.f64 192375004675528315883356988245399596883720655992532867481600) (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 438605750846393161930703831040 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 7917111340668961361101134701524942848 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 7917111340668961361101134701524942848) (cbrt.f64 62680651980549078756438766167267563365668529953943131533224701889666351104) (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890)) (cbrt.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2)) 7917111340668961361101134701524942848)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1314174534371215466459037696 1335/4 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1335/4 1314174534371215466459037696 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 11/2 1439474789212538429291115400277262336 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1439474789212538429291115400277262336 11/2 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 0) (/.f64 (-.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) 62680651980549078756438766167267563365668529953943131533224701889666351104) (-.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (*.f64 7917111340668961361101134701524942848 (-.f64 7917111340668961361101134701524942848 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890)))) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 7917111340668961361101134701524942848 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 7917111340668961361101134701524942848 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890)) 0) (/.f64 (-.f64 62680651980549078756438766167267563365668529953943131533224701889666351104 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2)) (-.f64 7917111340668961361101134701524942848 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 438605750846393161930703831040 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848)) 0) (/.f64 (-.f64 192375004675528315883356988245399596883720655992532867481600 (*.f64 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848) (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848))) (-.f64 438605750846393161930703831040 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848))) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 62680651980549078756438766167267563365668529953943131533224701889666351104 (-.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (*.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 192375004675528315883356988245399596883720655992532867481600 (-.f64 (*.f64 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848) (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848)) (*.f64 438605750846393161930703831040 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848)))) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 438605750846393161930703831040 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 7917111340668961361101134701524942848 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 438605750846393161930703831040 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848) 438605750846393161930703831040)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 7917111340668961361101134701524942848 438605750846393161930703831040) -7917111779274712207494296632228773890)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -7917111779274712207494296632228773890 (+.f64 438605750846393161930703831040 7917111340668961361101134701524942848))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 438605750846393161930703831040 (*.f64 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 3) 496249700635729505112769099920127476125943108467060990107100858219060996353442961518950815586576496022301704192) (/.f64 1 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (*.f64 7917111340668961361101134701524942848 (-.f64 7917111340668961361101134701524942848 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)) (cbrt.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2)) (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 3) 496249700635729505112769099920127476125943108467060990107100858219060996353442961518950815586576496022301704192) (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (*.f64 7917111340668961361101134701524942848 (-.f64 7917111340668961361101134701524942848 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 3) 496249700635729505112769099920127476125943108467060990107100858219060996353442961518950815586576496022301704192) (+.f64 62680651980549078756438766167267563365668529953943131533224701889666351104 (-.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (*.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 84376783369788492118011048820487818541985200362584600683281725245577806735841756708864000 (pow.f64 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848) 3)) (+.f64 192375004675528315883356988245399596883720655992532867481600 (-.f64 (*.f64 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848) (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848)) (*.f64 438605750846393161930703831040 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 3) 496249700635729505112769099920127476125943108467060990107100858219060996353442961518950815586576496022301704192)) (neg.f64 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (*.f64 7917111340668961361101134701524942848 (-.f64 7917111340668961361101134701524942848 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 3) (/.f64 1 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 3))))))
((#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 77617/66192)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 77617/66192) (cbrt.f64 6024398689/4381380864) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 77617 1/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 77617/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)) (cbrt.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2)) 77617/66192)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890)) (cbrt.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2)) 524049433861559890414006308163339017072433/66192)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 77617/66192) 0) (/.f64 (-.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2) 6024398689/4381380864) (-.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 77617/66192)) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2) (*.f64 77617/66192 (-.f64 77617/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)))) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 77617/66192 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) 0) (/.f64 (-.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (*.f64 524049433861559890414006308163339017072433/66192 524049433861559890414006308163339017072433/66192)) (-.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 77617/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)) 0) (/.f64 (-.f64 6024398689/4381380864 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2)) (-.f64 77617/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (-.f64 (*.f64 524049433861559890414006308163339017072433/66192 524049433861559890414006308163339017072433/66192) (*.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 6024398689/4381380864 (-.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2) (*.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 77617/66192))) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 524049433861559890414006308163339017072433/66192 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 77617/66192)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 77617/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 524049433861559890414006308163339017072433/66192 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 77617/66192 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890)) 7917111340668961361101134701524942848)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 77617/66192 438605750846393161930703831040) (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -7917111779274712207494296632228773890 (+.f64 438605750846393161930703831040 524049433861559890414006308163339017072433/66192))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 438605750846393161930703831040 (+.f64 -7917111779274712207494296632228773890 524049433861559890414006308163339017072433/66192))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 7917111340668961361101134701524942848 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 77617/66192))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 438605750846393161930703831040 (+.f64 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848) 77617/66192))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) (*.f64 524049433861559890414006308163339017072433/66192 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 3) 467595753044113/290012362149888) (/.f64 1 (+.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2) (*.f64 77617/66192 (-.f64 77617/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)) (pow.f64 (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)) 2) (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 3) 467595753044113/290012362149888) (+.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2) (*.f64 77617/66192 (-.f64 77617/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 3) (pow.f64 524049433861559890414006308163339017072433/66192 3)) (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (-.f64 (*.f64 524049433861559890414006308163339017072433/66192 524049433861559890414006308163339017072433/66192) (*.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 3) 467595753044113/290012362149888) (+.f64 6024398689/4381380864 (-.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2) (*.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 77617/66192))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 3) 467595753044113/290012362149888)) (neg.f64 (+.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2) (*.f64 77617/66192 (-.f64 77617/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) 3) (/.f64 1 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) 3))))))
((#(struct:change #<rule egg-rr> (2) ((x . 7917111340668961361101134701524942848)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 7917111340668961361101134701524942848)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 7917111340668961361101134701524942848) (cbrt.f64 62680651980549078756438766167267563365668529953943131533224701889666351104))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 7917111340668961361101134701524942848 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 62680651980549078756438766167267563365668529953943131533224701889666351104) (cbrt.f64 7917111340668961361101134701524942848))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1439474789212538429291115400277262336 (cbrt.f64 11/2)) (cbrt.f64 (*.f64 11/2 11/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1439474789212538429291115400277262336 (sqrt.f64 11/2)) (sqrt.f64 11/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 11/2) (*.f64 (cbrt.f64 (*.f64 11/2 11/2)) 1439474789212538429291115400277262336))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 11/2) (*.f64 (sqrt.f64 11/2) 1439474789212538429291115400277262336))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1199781142214086656 (sqrt.f64 11/2)) (*.f64 1199781142214086656 (sqrt.f64 11/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 11/2) 1199781142214086656) (*.f64 (sqrt.f64 11/2) 1199781142214086656))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 7917111340668961361101134701524942848 (/.f64 1 2)) (pow.f64 7917111340668961361101134701524942848 (/.f64 1 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 7917111340668961361101134701524942848) (sqrt.f64 7917111340668961361101134701524942848))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 11/2 1439474789212538429291115400277262336)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1439474789212538429291115400277262336 11/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 11/2 (cbrt.f64 1439474789212538429291115400277262336)) (cbrt.f64 (*.f64 1439474789212538429291115400277262336 1439474789212538429291115400277262336)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 11/2 1199781142214086656) 1199781142214086656)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 1439474789212538429291115400277262336) (*.f64 (cbrt.f64 (*.f64 1439474789212538429291115400277262336 1439474789212538429291115400277262336)) 11/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1199781142214086656 (*.f64 1199781142214086656 11/2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 7917111340668961361101134701524942848 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 7917111340668961361101134701524942848) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 496249700635729505112769099920127476125943108467060990107100858219060996353442961518950815586576496022301704192 (/.f64 1 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 496249700635729505112769099920127476125943108467060990107100858219060996353442961518950815586576496022301704192)))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 7917111340668961361101134701524942848) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x . -1314174461784456350457997632)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 -1314174534371215466459037696 72586759116001040064)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 2193218489122584 33096 -1314174534371215466459037696)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 72586759116001040064) (cbrt.f64 5268837598964360091206066447929733124096) -1314174534371215466459037696)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 11 6598796283272821824 -1314174534371215466459037696)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 72586759116001040064 -1314174534371215466459037696)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 66268385579 1095345216 -1314174534371215466459037696)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 -1314174534371215466459037696) 1199781142214086656 72586759116001040064)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -1 1314174534371215466459037696 72586759116001040064)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1095345216 66268385579 -1314174534371215466459037696)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 1314174606957974582460077760 0) -1314174461784456350457997632 -1314174461784456350457997632)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 1727054802181476613056443288975622459300120196664365056 0) -1314174461784456350457997632 -1314174461784456350457997632)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 72586759116001040064 0) -1314174461784456350457997632 -1314174461784456350457997632)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 -1314174534371215466459037696 0) -1314174461784456350457997632 -1314174461784456350457997632)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 -1314174534371215466459037696 72586759116001040064) 0) (/.f64 (-.f64 1727054706789800981432597910996868268675128278348988416 5268837598964360091206066447929733124096) (-.f64 -1314174534371215466459037696 72586759116001040064)) -1314174461784456350457997632)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 72586759116001040064 1314174534371215466459037696) 0) (/.f64 -1727054706789795712594998946636777062608680348615864320 (+.f64 72586759116001040064 1314174534371215466459037696)) -1314174461784456350457997632)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 1727054706789800981432597910996868268675128278348988416 (-.f64 5268837598964360091206066447929733124096 -95391670362786246413618662984558543988582252544)) 0) -1314174461784456350457997632 -1314174461784456350457997632)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 1314174534371215466459037696 0) -1314174461784456350457997632 -1314174461784456350457997632)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 5268837598964360091206066447929733124096 (+.f64 1727054706789800981432597910996868268675128278348988416 (*.f64 72586759116001040064 1314174534371215466459037696))) 0) -1314174461784456350457997632 -1314174461784456350457997632)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 72586759116001040064 -1314174534371215466459037696)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1314174534371215466459037696 72586759116001040064)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (-.f64 1314174534371215466459037696 72586759116001040064))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 5268837598964360091206066447929733124096 1314174606957974582460077760) (/.f64 1727054706789800981432597910996868268675128278348988416 1314174606957974582460077760))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 72586759116001040064 1314174534371215466459037696)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 72586759116001040064 0) 1314174534371215466459037696)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 -1314174461784456350457997632)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1314174461784456350457997632 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1727054706789795712594998946636777062608680348615864320 (/.f64 1 1314174606957974582460077760))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -2269651315129102759307797113088570457085273238780328581498116230284959094431547392 (/.f64 1 1727054802181476613056443288975622459300120196664365056))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 -1314174461784456350457997632) (cbrt.f64 1727054516006465524697704048119633505624488230917607424))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 1727054516006465524697704048119633505624488230917607424) (cbrt.f64 -1314174461784456350457997632))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1095345216 (-.f64 66268385579 1199781142214086656))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1727054706789795712594998946636777062608680348615864320 1314174606957974582460077760)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -2269651315129102759307797113088570457085273238780328581498116230284959094431547392 1727054802181476613056443288975622459300120196664365056)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -2269651315129102759307797113088570457085273238780328581498116230284959094431547392 (+.f64 1727054706789800981432597910996868268675128278348988416 (-.f64 5268837598964360091206066447929733124096 -95391670362786246413618662984558543988582252544)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 382447845617355296937767064441979195319216586849087979782144 2269651315129102759308179560934187812382211005844770560693435446871808182411329536) (+.f64 5268837598964360091206066447929733124096 (+.f64 1727054706789800981432597910996868268675128278348988416 (*.f64 72586759116001040064 1314174534371215466459037696))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 -1727054706789795712594998946636777062608680348615864320) (neg.f64 1314174606957974582460077760))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 -2269651315129102759307797113088570457085273238780328581498116230284959094431547392) (neg.f64 1727054802181476613056443288975622459300120196664365056))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 -1314174461784456350457997632 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 -1314174461784456350457997632) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 -2269650939045211586103122805946200503740940322302486978372256225536075787297619968 (/.f64 1 3))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 1314174534371215466459037696 72586759116001040064))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 -2269650939045211586103122805946200503740940322302486978372256225536075787297619968)))))

simplify192.0ms (6.2%)

Algorithm
1×egglog
Counts
148 → 175
Calls
Call 1
Inputs
(fma.f64 1 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)
(fma.f64 (cbrt.f64 438605750846393161930703831040) (cbrt.f64 192375004675528315883356988245399596883720655992532867481600) (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848))
(fma.f64 1 438605750846393161930703831040 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848))
(fma.f64 1 7917111340668961361101134701524942848 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))
(fma.f64 (cbrt.f64 7917111340668961361101134701524942848) (cbrt.f64 62680651980549078756438766167267563365668529953943131533224701889666351104) (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))
(fma.f64 (cbrt.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890)) (cbrt.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2)) 7917111340668961361101134701524942848)
(fma.f64 1314174534371215466459037696 1335/4 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848))
(fma.f64 1335/4 1314174534371215466459037696 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848))
(fma.f64 11/2 1439474789212538429291115400277262336 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))
(fma.f64 1439474789212538429291115400277262336 11/2 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))
(if (!=.f64 (-.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 0) (/.f64 (-.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) 62680651980549078756438766167267563365668529953943131533224701889666351104) (-.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(if (!=.f64 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (*.f64 7917111340668961361101134701524942848 (-.f64 7917111340668961361101134701524942848 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890)))) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(if (!=.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(if (!=.f64 7917111340668961361101134701524942848 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(if (!=.f64 (-.f64 7917111340668961361101134701524942848 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890)) 0) (/.f64 (-.f64 62680651980549078756438766167267563365668529953943131533224701889666351104 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2)) (-.f64 7917111340668961361101134701524942848 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(if (!=.f64 (-.f64 438605750846393161930703831040 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848)) 0) (/.f64 (-.f64 192375004675528315883356988245399596883720655992532867481600 (*.f64 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848) (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848))) (-.f64 438605750846393161930703831040 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848))) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(if (!=.f64 (+.f64 62680651980549078756438766167267563365668529953943131533224701889666351104 (-.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (*.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(if (!=.f64 (+.f64 192375004675528315883356988245399596883720655992532867481600 (-.f64 (*.f64 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848) (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848)) (*.f64 438605750846393161930703831040 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848)))) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(if (!=.f64 438605750846393161930703831040 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(if (!=.f64 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)
(+.f64 7917111340668961361101134701524942848 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))
(+.f64 438605750846393161930703831040 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848))
(+.f64 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848) 438605750846393161930703831040)
(+.f64 (+.f64 7917111340668961361101134701524942848 438605750846393161930703831040) -7917111779274712207494296632228773890)
(+.f64 -7917111779274712207494296632228773890 (+.f64 438605750846393161930703831040 7917111340668961361101134701524942848))
(+.f64 438605750846393161930703831040 (*.f64 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848) 1))
(*.f64 1 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(*.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 1)
(*.f64 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 3) 496249700635729505112769099920127476125943108467060990107100858219060996353442961518950815586576496022301704192) (/.f64 1 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (*.f64 7917111340668961361101134701524942848 (-.f64 7917111340668961361101134701524942848 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))))))
(*.f64 (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)) (cbrt.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2)))
(*.f64 (cbrt.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2)) (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)))
(/.f64 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 3) 496249700635729505112769099920127476125943108467060990107100858219060996353442961518950815586576496022301704192) (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (*.f64 7917111340668961361101134701524942848 (-.f64 7917111340668961361101134701524942848 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890)))))
(/.f64 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 3) 496249700635729505112769099920127476125943108467060990107100858219060996353442961518950815586576496022301704192) (+.f64 62680651980549078756438766167267563365668529953943131533224701889666351104 (-.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (*.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))))
(/.f64 (+.f64 84376783369788492118011048820487818541985200362584600683281725245577806735841756708864000 (pow.f64 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848) 3)) (+.f64 192375004675528315883356988245399596883720655992532867481600 (-.f64 (*.f64 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848) (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848)) (*.f64 438605750846393161930703831040 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 3) 496249700635729505112769099920127476125943108467060990107100858219060996353442961518950815586576496022301704192)) (neg.f64 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (*.f64 7917111340668961361101134701524942848 (-.f64 7917111340668961361101134701524942848 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))))))
(pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 1)
(pow.f64 (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)) 3)
(pow.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 3) (/.f64 1 3))
(cbrt.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 3))
(fma.f64 1 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 77617/66192)
(fma.f64 (cbrt.f64 77617/66192) (cbrt.f64 6024398689/4381380864) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(fma.f64 77617 1/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(fma.f64 1 77617/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(fma.f64 1 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)
(fma.f64 (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)) (cbrt.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2)) 77617/66192)
(fma.f64 (cbrt.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890)) (cbrt.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2)) 524049433861559890414006308163339017072433/66192)
(if (!=.f64 (-.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 77617/66192) 0) (/.f64 (-.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2) 6024398689/4381380864) (-.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 77617/66192)) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))
(if (!=.f64 (+.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2) (*.f64 77617/66192 (-.f64 77617/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)))) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))
(if (!=.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))
(if (!=.f64 77617/66192 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))
(if (!=.f64 (-.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) 0) (/.f64 (-.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (*.f64 524049433861559890414006308163339017072433/66192 524049433861559890414006308163339017072433/66192)) (-.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))
(if (!=.f64 (-.f64 77617/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)) 0) (/.f64 (-.f64 6024398689/4381380864 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2)) (-.f64 77617/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))
(if (!=.f64 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (-.f64 (*.f64 524049433861559890414006308163339017072433/66192 524049433861559890414006308163339017072433/66192) (*.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))
(if (!=.f64 (+.f64 6024398689/4381380864 (-.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2) (*.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 77617/66192))) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))
(if (!=.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))
(if (!=.f64 524049433861559890414006308163339017072433/66192 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))
(+.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 77617/66192)
(+.f64 77617/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)
(+.f64 524049433861559890414006308163339017072433/66192 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))
(+.f64 (+.f64 77617/66192 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890)) 7917111340668961361101134701524942848)
(+.f64 (+.f64 77617/66192 438605750846393161930703831040) (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848))
(+.f64 -7917111779274712207494296632228773890 (+.f64 438605750846393161930703831040 524049433861559890414006308163339017072433/66192))
(+.f64 438605750846393161930703831040 (+.f64 -7917111779274712207494296632228773890 524049433861559890414006308163339017072433/66192))
(+.f64 7917111340668961361101134701524942848 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 77617/66192))
(+.f64 438605750846393161930703831040 (+.f64 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848) 77617/66192))
(+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) (*.f64 524049433861559890414006308163339017072433/66192 1))
(*.f64 1 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))
(*.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) 1)
(*.f64 (+.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 3) 467595753044113/290012362149888) (/.f64 1 (+.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2) (*.f64 77617/66192 (-.f64 77617/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))))))
(*.f64 (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)) (pow.f64 (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)) 2))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)) 2) (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)))
(/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 3) 467595753044113/290012362149888) (+.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2) (*.f64 77617/66192 (-.f64 77617/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)))))
(/.f64 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 3) (pow.f64 524049433861559890414006308163339017072433/66192 3)) (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (-.f64 (*.f64 524049433861559890414006308163339017072433/66192 524049433861559890414006308163339017072433/66192) (*.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))))
(/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 3) 467595753044113/290012362149888) (+.f64 6024398689/4381380864 (-.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2) (*.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 77617/66192))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 3) 467595753044113/290012362149888)) (neg.f64 (+.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2) (*.f64 77617/66192 (-.f64 77617/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))))))
(pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) 1)
(pow.f64 (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)) 3)
(pow.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) 3) (/.f64 1 3))
(cbrt.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) 3))
7917111340668961361101134701524942848
(*.f64 1 7917111340668961361101134701524942848)
(*.f64 (cbrt.f64 7917111340668961361101134701524942848) (cbrt.f64 62680651980549078756438766167267563365668529953943131533224701889666351104))
(*.f64 7917111340668961361101134701524942848 1)
(*.f64 (cbrt.f64 62680651980549078756438766167267563365668529953943131533224701889666351104) (cbrt.f64 7917111340668961361101134701524942848))
(*.f64 (*.f64 1439474789212538429291115400277262336 (cbrt.f64 11/2)) (cbrt.f64 (*.f64 11/2 11/2)))
(*.f64 (*.f64 1439474789212538429291115400277262336 (sqrt.f64 11/2)) (sqrt.f64 11/2))
(*.f64 (cbrt.f64 11/2) (*.f64 (cbrt.f64 (*.f64 11/2 11/2)) 1439474789212538429291115400277262336))
(*.f64 (sqrt.f64 11/2) (*.f64 (sqrt.f64 11/2) 1439474789212538429291115400277262336))
(*.f64 (*.f64 1199781142214086656 (sqrt.f64 11/2)) (*.f64 1199781142214086656 (sqrt.f64 11/2)))
(*.f64 (*.f64 (sqrt.f64 11/2) 1199781142214086656) (*.f64 (sqrt.f64 11/2) 1199781142214086656))
(*.f64 (pow.f64 7917111340668961361101134701524942848 (/.f64 1 2)) (pow.f64 7917111340668961361101134701524942848 (/.f64 1 2)))
(*.f64 (sqrt.f64 7917111340668961361101134701524942848) (sqrt.f64 7917111340668961361101134701524942848))
(*.f64 11/2 1439474789212538429291115400277262336)
(*.f64 1439474789212538429291115400277262336 11/2)
(*.f64 (*.f64 11/2 (cbrt.f64 1439474789212538429291115400277262336)) (cbrt.f64 (*.f64 1439474789212538429291115400277262336 1439474789212538429291115400277262336)))
(*.f64 (*.f64 11/2 1199781142214086656) 1199781142214086656)
(*.f64 (cbrt.f64 1439474789212538429291115400277262336) (*.f64 (cbrt.f64 (*.f64 1439474789212538429291115400277262336 1439474789212538429291115400277262336)) 11/2))
(*.f64 1199781142214086656 (*.f64 1199781142214086656 11/2))
(pow.f64 7917111340668961361101134701524942848 1)
(pow.f64 (cbrt.f64 7917111340668961361101134701524942848) 3)
(pow.f64 496249700635729505112769099920127476125943108467060990107100858219060996353442961518950815586576496022301704192 (/.f64 1 3))
(cbrt.f64 496249700635729505112769099920127476125943108467060990107100858219060996353442961518950815586576496022301704192)
(exp.f64 (*.f64 (log.f64 7917111340668961361101134701524942848) 1))
-1314174461784456350457997632
(fma.f64 1 -1314174534371215466459037696 72586759116001040064)
(fma.f64 2193218489122584 33096 -1314174534371215466459037696)
(fma.f64 (cbrt.f64 72586759116001040064) (cbrt.f64 5268837598964360091206066447929733124096) -1314174534371215466459037696)
(fma.f64 11 6598796283272821824 -1314174534371215466459037696)
(fma.f64 1 72586759116001040064 -1314174534371215466459037696)
(fma.f64 66268385579 1095345216 -1314174534371215466459037696)
(fma.f64 (cbrt.f64 -1314174534371215466459037696) 1199781142214086656 72586759116001040064)
(fma.f64 -1 1314174534371215466459037696 72586759116001040064)
(fma.f64 1095345216 66268385579 -1314174534371215466459037696)
(if (!=.f64 1314174606957974582460077760 0) -1314174461784456350457997632 -1314174461784456350457997632)
(if (!=.f64 1727054802181476613056443288975622459300120196664365056 0) -1314174461784456350457997632 -1314174461784456350457997632)
(if (!=.f64 72586759116001040064 0) -1314174461784456350457997632 -1314174461784456350457997632)
(if (!=.f64 -1314174534371215466459037696 0) -1314174461784456350457997632 -1314174461784456350457997632)
(if (!=.f64 (-.f64 -1314174534371215466459037696 72586759116001040064) 0) (/.f64 (-.f64 1727054706789800981432597910996868268675128278348988416 5268837598964360091206066447929733124096) (-.f64 -1314174534371215466459037696 72586759116001040064)) -1314174461784456350457997632)
(if (!=.f64 (+.f64 72586759116001040064 1314174534371215466459037696) 0) (/.f64 -1727054706789795712594998946636777062608680348615864320 (+.f64 72586759116001040064 1314174534371215466459037696)) -1314174461784456350457997632)
(if (!=.f64 (+.f64 1727054706789800981432597910996868268675128278348988416 (-.f64 5268837598964360091206066447929733124096 -95391670362786246413618662984558543988582252544)) 0) -1314174461784456350457997632 -1314174461784456350457997632)
(if (!=.f64 1314174534371215466459037696 0) -1314174461784456350457997632 -1314174461784456350457997632)
(if (!=.f64 (+.f64 5268837598964360091206066447929733124096 (+.f64 1727054706789800981432597910996868268675128278348988416 (*.f64 72586759116001040064 1314174534371215466459037696))) 0) -1314174461784456350457997632 -1314174461784456350457997632)
(+.f64 72586759116001040064 -1314174534371215466459037696)
(+.f64 -1314174534371215466459037696 72586759116001040064)
(-.f64 0 (-.f64 1314174534371215466459037696 72586759116001040064))
(-.f64 (/.f64 5268837598964360091206066447929733124096 1314174606957974582460077760) (/.f64 1727054706789800981432597910996868268675128278348988416 1314174606957974582460077760))
(-.f64 72586759116001040064 1314174534371215466459037696)
(-.f64 (+.f64 72586759116001040064 0) 1314174534371215466459037696)
(*.f64 1 -1314174461784456350457997632)
(*.f64 -1314174461784456350457997632 1)
(*.f64 -1727054706789795712594998946636777062608680348615864320 (/.f64 1 1314174606957974582460077760))
(*.f64 -2269651315129102759307797113088570457085273238780328581498116230284959094431547392 (/.f64 1 1727054802181476613056443288975622459300120196664365056))
(*.f64 (cbrt.f64 -1314174461784456350457997632) (cbrt.f64 1727054516006465524697704048119633505624488230917607424))
(*.f64 (cbrt.f64 1727054516006465524697704048119633505624488230917607424) (cbrt.f64 -1314174461784456350457997632))
(*.f64 1095345216 (-.f64 66268385579 1199781142214086656))
(/.f64 -1727054706789795712594998946636777062608680348615864320 1314174606957974582460077760)
(/.f64 -2269651315129102759307797113088570457085273238780328581498116230284959094431547392 1727054802181476613056443288975622459300120196664365056)
(/.f64 -2269651315129102759307797113088570457085273238780328581498116230284959094431547392 (+.f64 1727054706789800981432597910996868268675128278348988416 (-.f64 5268837598964360091206066447929733124096 -95391670362786246413618662984558543988582252544)))
(/.f64 (-.f64 382447845617355296937767064441979195319216586849087979782144 2269651315129102759308179560934187812382211005844770560693435446871808182411329536) (+.f64 5268837598964360091206066447929733124096 (+.f64 1727054706789800981432597910996868268675128278348988416 (*.f64 72586759116001040064 1314174534371215466459037696))))
(/.f64 (neg.f64 -1727054706789795712594998946636777062608680348615864320) (neg.f64 1314174606957974582460077760))
(/.f64 (neg.f64 -2269651315129102759307797113088570457085273238780328581498116230284959094431547392) (neg.f64 1727054802181476613056443288975622459300120196664365056))
(pow.f64 -1314174461784456350457997632 1)
(pow.f64 (cbrt.f64 -1314174461784456350457997632) 3)
(pow.f64 -2269650939045211586103122805946200503740940322302486978372256225536075787297619968 (/.f64 1 3))
(neg.f64 (-.f64 1314174534371215466459037696 72586759116001040064))
(cbrt.f64 -2269650939045211586103122805946200503740940322302486978372256225536075787297619968)
Outputs
(fma.f64 1 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)
-2
(fma.f64 (cbrt.f64 438605750846393161930703831040) (cbrt.f64 192375004675528315883356988245399596883720655992532867481600) (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848))
(fma.f64 (cbrt.f64 438605750846393161930703831040) (cbrt.f64 192375004675528315883356988245399596883720655992532867481600) -438605750846393161930703831042)
(fma.f64 1 438605750846393161930703831040 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848))
-2
(fma.f64 1 7917111340668961361101134701524942848 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))
-2
(fma.f64 (cbrt.f64 7917111340668961361101134701524942848) (cbrt.f64 62680651980549078756438766167267563365668529953943131533224701889666351104) (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))
-2
(fma.f64 (cbrt.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890)) (cbrt.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2)) 7917111340668961361101134701524942848)
(fma.f64 (cbrt.f64 -7917111340668961361101134701524942850) (cbrt.f64 62680651980549078756438766167267563397336975316618976977629240695766122500) 7917111340668961361101134701524942848)
(fma.f64 1314174534371215466459037696 1335/4 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848))
-2
(fma.f64 1335/4 1314174534371215466459037696 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848))
-2
(fma.f64 11/2 1439474789212538429291115400277262336 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))
-2
(fma.f64 1439474789212538429291115400277262336 11/2 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))
-2
(if (!=.f64 (-.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 0) (/.f64 (-.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) 62680651980549078756438766167267563365668529953943131533224701889666351104) (-.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(if (!=.f64 -15834222681337922722202269403049885698 0) -2 -2)
(if (!=.f64 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (*.f64 7917111340668961361101134701524942848 (-.f64 7917111340668961361101134701524942848 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890)))) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(if (!=.f64 188041955941647236269316298501802690144508257905843162766280913878148710404 0) -2 -2)
(if (!=.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(if (!=.f64 -7917111340668961361101134701524942850 0) -2 -2)
(if (!=.f64 7917111340668961361101134701524942848 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(if (!=.f64 7917111340668961361101134701524942848 0) -2 -2)
(if (!=.f64 (-.f64 7917111340668961361101134701524942848 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890)) 0) (/.f64 (-.f64 62680651980549078756438766167267563365668529953943131533224701889666351104 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2)) (-.f64 7917111340668961361101134701524942848 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(if (!=.f64 15834222681337922722202269403049885698 0) -2 -2)
(if (!=.f64 (-.f64 438605750846393161930703831040 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848)) 0) (/.f64 (-.f64 192375004675528315883356988245399596883720655992532867481600 (*.f64 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848) (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848))) (-.f64 438605750846393161930703831040 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848))) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(if (!=.f64 877211501692786323861407662082 0) -2 -2)
(if (!=.f64 (+.f64 62680651980549078756438766167267563365668529953943131533224701889666351104 (-.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (*.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(if (!=.f64 188041955941647236269316298501802690144508257905843162766280913878148710404 0) -2 -2)
(if (!=.f64 (+.f64 192375004675528315883356988245399596883720655992532867481600 (-.f64 (*.f64 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848) (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848)) (*.f64 438605750846393161930703831040 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848)))) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(if (!=.f64 577125014026584947650070964738830425156240326949182825431044 0) -2 -2)
(if (!=.f64 438605750846393161930703831040 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(if (!=.f64 438605750846393161930703831040 0) -2 -2)
(if (!=.f64 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(if (!=.f64 -438605750846393161930703831042 0) -2 -2)
(+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)
-2
(+.f64 7917111340668961361101134701524942848 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))
-2
(+.f64 438605750846393161930703831040 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848))
-2
(+.f64 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848) 438605750846393161930703831040)
-2
(+.f64 (+.f64 7917111340668961361101134701524942848 438605750846393161930703831040) -7917111779274712207494296632228773890)
-2
(+.f64 -7917111779274712207494296632228773890 (+.f64 438605750846393161930703831040 7917111340668961361101134701524942848))
-2
(+.f64 438605750846393161930703831040 (*.f64 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848) 1))
-2
(*.f64 1 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
-2
(*.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 1)
-2
(*.f64 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 3) 496249700635729505112769099920127476125943108467060990107100858219060996353442961518950815586576496022301704192) (/.f64 1 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (*.f64 7917111340668961361101134701524942848 (-.f64 7917111340668961361101134701524942848 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))))))
-2
(*.f64 (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)) (cbrt.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2)))
-2
(*.f64 (cbrt.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2)) (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)))
-2
(/.f64 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 3) 496249700635729505112769099920127476125943108467060990107100858219060996353442961518950815586576496022301704192) (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (*.f64 7917111340668961361101134701524942848 (-.f64 7917111340668961361101134701524942848 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890)))))
-2
(/.f64 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 3) 496249700635729505112769099920127476125943108467060990107100858219060996353442961518950815586576496022301704192) (+.f64 62680651980549078756438766167267563365668529953943131533224701889666351104 (-.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (*.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))))
-2
(/.f64 (+.f64 84376783369788492118011048820487818541985200362584600683281725245577806735841756708864000 (pow.f64 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848) 3)) (+.f64 192375004675528315883356988245399596883720655992532867481600 (-.f64 (*.f64 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848) (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848)) (*.f64 438605750846393161930703831040 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848)))))
-2
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 3) 496249700635729505112769099920127476125943108467060990107100858219060996353442961518950815586576496022301704192)) (neg.f64 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (*.f64 7917111340668961361101134701524942848 (-.f64 7917111340668961361101134701524942848 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))))))
-2
(pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 1)
-2
(pow.f64 (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)) 3)
-2
(pow.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 3) (/.f64 1 3))
-2
(cbrt.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 3))
-2
(fma.f64 1 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 77617/66192)
-54767/66192
(fma.f64 (cbrt.f64 77617/66192) (cbrt.f64 6024398689/4381380864) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
(fma.f64 (cbrt.f64 77617/66192) (cbrt.f64 6024398689/4381380864) -2)
(fma.f64 77617 1/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
-54767/66192
(fma.f64 1 77617/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
-54767/66192
(fma.f64 1 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)
-54767/66192
(fma.f64 (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)) (cbrt.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2)) 77617/66192)
-54767/66192
(fma.f64 (cbrt.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890)) (cbrt.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2)) 524049433861559890414006308163339017072433/66192)
(fma.f64 (cbrt.f64 -7917111340668961361101134701524942850) (cbrt.f64 62680651980549078756438766167267563397336975316618976977629240695766122500) 524049433861559890414006308163339017072433/66192)
(if (!=.f64 (-.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 77617/66192) 0) (/.f64 (-.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2) 6024398689/4381380864) (-.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 77617/66192)) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))
(if (!=.f64 -210001/66192 0) (-.f64 -264768/210001 -6024398689/13900386192) -54767/66192)
(if (!=.f64 (+.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2) (*.f64 77617/66192 (-.f64 77617/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)))) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))
(if (!=.f64 (+.f64 4 16299647617/4381380864) 0) -54767/66192 -54767/66192)
(if (!=.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))
(if (!=.f64 -2 0) -54767/66192 -54767/66192)
(if (!=.f64 77617/66192 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))
(if (!=.f64 77617/66192 0) -54767/66192 -54767/66192)
(if (!=.f64 (-.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) 0) (/.f64 (-.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (*.f64 524049433861559890414006308163339017072433/66192 524049433861559890414006308163339017072433/66192)) (-.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))
(if (!=.f64 -1048098867723119780828012616326678034199633/66192 0) -54767/66192 -54767/66192)
(if (!=.f64 (-.f64 77617/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)) 0) (/.f64 (-.f64 6024398689/4381380864 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2)) (-.f64 77617/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))
(if (!=.f64 210001/66192 0) (-.f64 -264768/210001 -6024398689/13900386192) -54767/66192)
(if (!=.f64 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (-.f64 (*.f64 524049433861559890414006308163339017072433/66192 524049433861559890414006308163339017072433/66192) (*.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))
(if (!=.f64 823883427391864301628869180619110176224895310602736029172212283376294440972922857089/4381380864 0) -54767/66192 -54767/66192)
(if (!=.f64 (+.f64 6024398689/4381380864 (-.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2) (*.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 77617/66192))) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))
(if (!=.f64 (+.f64 6024398689/4381380864 210001/33096) 0) -54767/66192 -54767/66192)
(if (!=.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))
(if (!=.f64 -7917111340668961361101134701524942850 0) -54767/66192 -54767/66192)
(if (!=.f64 524049433861559890414006308163339017072433/66192 0) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))
(if (!=.f64 524049433861559890414006308163339017072433/66192 0) -54767/66192 -54767/66192)
(+.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 77617/66192)
-54767/66192
(+.f64 77617/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))
-54767/66192
(+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)
-54767/66192
(+.f64 524049433861559890414006308163339017072433/66192 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890))
-54767/66192
(+.f64 (+.f64 77617/66192 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890)) 7917111340668961361101134701524942848)
-54767/66192
(+.f64 (+.f64 77617/66192 438605750846393161930703831040) (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848))
-54767/66192
(+.f64 -7917111779274712207494296632228773890 (+.f64 438605750846393161930703831040 524049433861559890414006308163339017072433/66192))
-54767/66192
(+.f64 438605750846393161930703831040 (+.f64 -7917111779274712207494296632228773890 524049433861559890414006308163339017072433/66192))
-54767/66192
(+.f64 7917111340668961361101134701524942848 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 77617/66192))
-54767/66192
(+.f64 438605750846393161930703831040 (+.f64 (+.f64 -7917111779274712207494296632228773890 7917111340668961361101134701524942848) 77617/66192))
-54767/66192
(+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) (*.f64 524049433861559890414006308163339017072433/66192 1))
-54767/66192
(*.f64 1 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))
-54767/66192
(*.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) 1)
-54767/66192
(*.f64 (+.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 3) 467595753044113/290012362149888) (/.f64 1 (+.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2) (*.f64 77617/66192 (-.f64 77617/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))))))
(/.f64 -1852503144154991/290012362149888 (+.f64 4 16299647617/4381380864))
(*.f64 (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)) (pow.f64 (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)) 2))
-54767/66192
(*.f64 (pow.f64 (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)) 2) (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)))
-54767/66192
(/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 3) 467595753044113/290012362149888) (+.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2) (*.f64 77617/66192 (-.f64 77617/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848)))))
(/.f64 -1852503144154991/290012362149888 (+.f64 4 16299647617/4381380864))
(/.f64 (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 3) (pow.f64 524049433861559890414006308163339017072433/66192 3)) (+.f64 (pow.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 2) (-.f64 (*.f64 524049433861559890414006308163339017072433/66192 524049433861559890414006308163339017072433/66192) (*.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192))))
-54767/66192
(/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 3) 467595753044113/290012362149888) (+.f64 6024398689/4381380864 (-.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2) (*.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 77617/66192))))
-54767/66192
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 3) 467595753044113/290012362149888)) (neg.f64 (+.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848) 2) (*.f64 77617/66192 (-.f64 77617/66192 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 7917111340668961361101134701524942848))))))
(/.f64 -1852503144154991/290012362149888 (+.f64 4 16299647617/4381380864))
(pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) 1)
-54767/66192
(pow.f64 (cbrt.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192)) 3)
-54767/66192
(pow.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) 3) (/.f64 1 3))
-54767/66192
(cbrt.f64 (pow.f64 (+.f64 (+.f64 438605750846393161930703831040 -7917111779274712207494296632228773890) 524049433861559890414006308163339017072433/66192) 3))
-54767/66192
7917111340668961361101134701524942848
(*.f64 1 7917111340668961361101134701524942848)
7917111340668961361101134701524942848
(*.f64 (cbrt.f64 7917111340668961361101134701524942848) (cbrt.f64 62680651980549078756438766167267563365668529953943131533224701889666351104))
7917111340668961361101134701524942848
(*.f64 7917111340668961361101134701524942848 1)
7917111340668961361101134701524942848
(*.f64 (cbrt.f64 62680651980549078756438766167267563365668529953943131533224701889666351104) (cbrt.f64 7917111340668961361101134701524942848))
7917111340668961361101134701524942848
(*.f64 (*.f64 1439474789212538429291115400277262336 (cbrt.f64 11/2)) (cbrt.f64 (*.f64 11/2 11/2)))
7917111340668961361101134701524942848
(*.f64 (*.f64 1439474789212538429291115400277262336 (sqrt.f64 11/2)) (sqrt.f64 11/2))
7917111340668961361101134701524942848
(*.f64 (cbrt.f64 11/2) (*.f64 (cbrt.f64 (*.f64 11/2 11/2)) 1439474789212538429291115400277262336))
7917111340668961361101134701524942848
(*.f64 (sqrt.f64 11/2) (*.f64 (sqrt.f64 11/2) 1439474789212538429291115400277262336))
7917111340668961361101134701524942848
(*.f64 (*.f64 1199781142214086656 (sqrt.f64 11/2)) (*.f64 1199781142214086656 (sqrt.f64 11/2)))
7917111340668961361101134701524942848
(*.f64 (*.f64 (sqrt.f64 11/2) 1199781142214086656) (*.f64 (sqrt.f64 11/2) 1199781142214086656))
7917111340668961361101134701524942848
(*.f64 (pow.f64 7917111340668961361101134701524942848 (/.f64 1 2)) (pow.f64 7917111340668961361101134701524942848 (/.f64 1 2)))
7917111340668961361101134701524942848
(*.f64 (sqrt.f64 7917111340668961361101134701524942848) (sqrt.f64 7917111340668961361101134701524942848))
7917111340668961361101134701524942848
(*.f64 11/2 1439474789212538429291115400277262336)
7917111340668961361101134701524942848
(*.f64 1439474789212538429291115400277262336 11/2)
7917111340668961361101134701524942848
(*.f64 (*.f64 11/2 (cbrt.f64 1439474789212538429291115400277262336)) (cbrt.f64 (*.f64 1439474789212538429291115400277262336 1439474789212538429291115400277262336)))
7917111340668961361101134701524942848
(*.f64 (*.f64 11/2 1199781142214086656) 1199781142214086656)
7917111340668961361101134701524942848
(*.f64 (cbrt.f64 1439474789212538429291115400277262336) (*.f64 (cbrt.f64 (*.f64 1439474789212538429291115400277262336 1439474789212538429291115400277262336)) 11/2))
7917111340668961361101134701524942848
(*.f64 1199781142214086656 (*.f64 1199781142214086656 11/2))
7917111340668961361101134701524942848
(pow.f64 7917111340668961361101134701524942848 1)
7917111340668961361101134701524942848
(pow.f64 (cbrt.f64 7917111340668961361101134701524942848) 3)
7917111340668961361101134701524942848
(pow.f64 496249700635729505112769099920127476125943108467060990107100858219060996353442961518950815586576496022301704192 (/.f64 1 3))
7917111340668961361101134701524942848
(cbrt.f64 496249700635729505112769099920127476125943108467060990107100858219060996353442961518950815586576496022301704192)
7917111340668961361101134701524942848
(exp.f64 (*.f64 (log.f64 7917111340668961361101134701524942848) 1))
7917111340668961361101134701524942848
-1314174461784456350457997632
(fma.f64 1 -1314174534371215466459037696 72586759116001040064)
-1314174461784456350457997632
(fma.f64 2193218489122584 33096 -1314174534371215466459037696)
-1314174461784456350457997632
(fma.f64 (cbrt.f64 72586759116001040064) (cbrt.f64 5268837598964360091206066447929733124096) -1314174534371215466459037696)
(fma.f64 11 6598796283272821824 -1314174534371215466459037696)
-1314174461784456350457997632
(fma.f64 1 72586759116001040064 -1314174534371215466459037696)
-1314174461784456350457997632
(fma.f64 66268385579 1095345216 -1314174534371215466459037696)
-1314174461784456350457997632
(fma.f64 (cbrt.f64 -1314174534371215466459037696) 1199781142214086656 72586759116001040064)
(fma.f64 -1 1314174534371215466459037696 72586759116001040064)
-1314174461784456350457997632
(fma.f64 1095345216 66268385579 -1314174534371215466459037696)
-1314174461784456350457997632
(if (!=.f64 1314174606957974582460077760 0) -1314174461784456350457997632 -1314174461784456350457997632)
(if (!=.f64 1727054802181476613056443288975622459300120196664365056 0) -1314174461784456350457997632 -1314174461784456350457997632)
(if (!=.f64 72586759116001040064 0) -1314174461784456350457997632 -1314174461784456350457997632)
(if (!=.f64 -1314174534371215466459037696 0) -1314174461784456350457997632 -1314174461784456350457997632)
(if (!=.f64 (-.f64 -1314174534371215466459037696 72586759116001040064) 0) (/.f64 (-.f64 1727054706789800981432597910996868268675128278348988416 5268837598964360091206066447929733124096) (-.f64 -1314174534371215466459037696 72586759116001040064)) -1314174461784456350457997632)
(if (!=.f64 -1314174606957974582460077760 0) -1314174461784456350457997632 -1314174461784456350457997632)
(if (!=.f64 (+.f64 72586759116001040064 1314174534371215466459037696) 0) (/.f64 -1727054706789795712594998946636777062608680348615864320 (+.f64 72586759116001040064 1314174534371215466459037696)) -1314174461784456350457997632)
(if (!=.f64 1314174606957974582460077760 0) -1314174461784456350457997632 -1314174461784456350457997632)
(if (!=.f64 (+.f64 1727054706789800981432597910996868268675128278348988416 (-.f64 5268837598964360091206066447929733124096 -95391670362786246413618662984558543988582252544)) 0) -1314174461784456350457997632 -1314174461784456350457997632)
(if (!=.f64 1727054802181476613056443288975622459300120196664365056 0) -1314174461784456350457997632 -1314174461784456350457997632)
(if (!=.f64 1314174534371215466459037696 0) -1314174461784456350457997632 -1314174461784456350457997632)
(if (!=.f64 (+.f64 5268837598964360091206066447929733124096 (+.f64 1727054706789800981432597910996868268675128278348988416 (*.f64 72586759116001040064 1314174534371215466459037696))) 0) -1314174461784456350457997632 -1314174461784456350457997632)
(if (!=.f64 1727054802181476613056443288975622459300120196664365056 0) -1314174461784456350457997632 -1314174461784456350457997632)
(+.f64 72586759116001040064 -1314174534371215466459037696)
-1314174461784456350457997632
(+.f64 -1314174534371215466459037696 72586759116001040064)
-1314174461784456350457997632
(-.f64 0 (-.f64 1314174534371215466459037696 72586759116001040064))
-1314174461784456350457997632
(-.f64 (/.f64 5268837598964360091206066447929733124096 1314174606957974582460077760) (/.f64 1727054706789800981432597910996868268675128278348988416 1314174606957974582460077760))
-1314174461784456350457997632
(-.f64 72586759116001040064 1314174534371215466459037696)
-1314174461784456350457997632
(-.f64 (+.f64 72586759116001040064 0) 1314174534371215466459037696)
-1314174461784456350457997632
(*.f64 1 -1314174461784456350457997632)
-1314174461784456350457997632
(*.f64 -1314174461784456350457997632 1)
-1314174461784456350457997632
(*.f64 -1727054706789795712594998946636777062608680348615864320 (/.f64 1 1314174606957974582460077760))
-1314174461784456350457997632
(*.f64 -2269651315129102759307797113088570457085273238780328581498116230284959094431547392 (/.f64 1 1727054802181476613056443288975622459300120196664365056))
-1314174461784456350457997632
(*.f64 (cbrt.f64 -1314174461784456350457997632) (cbrt.f64 1727054516006465524697704048119633505624488230917607424))
-1314174461784456350457997632
(*.f64 (cbrt.f64 1727054516006465524697704048119633505624488230917607424) (cbrt.f64 -1314174461784456350457997632))
-1314174461784456350457997632
(*.f64 1095345216 (-.f64 66268385579 1199781142214086656))
-1314174461784456350457997632
(/.f64 -1727054706789795712594998946636777062608680348615864320 1314174606957974582460077760)
-1314174461784456350457997632
(/.f64 -2269651315129102759307797113088570457085273238780328581498116230284959094431547392 1727054802181476613056443288975622459300120196664365056)
-1314174461784456350457997632
(/.f64 -2269651315129102759307797113088570457085273238780328581498116230284959094431547392 (+.f64 1727054706789800981432597910996868268675128278348988416 (-.f64 5268837598964360091206066447929733124096 -95391670362786246413618662984558543988582252544)))
-1314174461784456350457997632
(/.f64 (-.f64 382447845617355296937767064441979195319216586849087979782144 2269651315129102759308179560934187812382211005844770560693435446871808182411329536) (+.f64 5268837598964360091206066447929733124096 (+.f64 1727054706789800981432597910996868268675128278348988416 (*.f64 72586759116001040064 1314174534371215466459037696))))
-1314174461784456350457997632
(/.f64 (neg.f64 -1727054706789795712594998946636777062608680348615864320) (neg.f64 1314174606957974582460077760))
-1314174461784456350457997632
(/.f64 (neg.f64 -2269651315129102759307797113088570457085273238780328581498116230284959094431547392) (neg.f64 1727054802181476613056443288975622459300120196664365056))
-1314174461784456350457997632
(pow.f64 -1314174461784456350457997632 1)
-1314174461784456350457997632
(pow.f64 (cbrt.f64 -1314174461784456350457997632) 3)
-1314174461784456350457997632
(pow.f64 -2269650939045211586103122805946200503740940322302486978372256225536075787297619968 (/.f64 1 3))
-1314174461784456350457997632
(neg.f64 (-.f64 1314174534371215466459037696 72586759116001040064))
-1314174461784456350457997632
(cbrt.f64 -2269650939045211586103122805946200503740940322302486978372256225536075787297619968)
-1314174461784456350457997632

eval340.0ms (11%)

Compiler

Compiled 5405 to 5405 computations (0% saved)

prune65.0ms (2.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New3551356
Fresh000
Picked101
Done101
Total3571358
Error
0b
Counts
358 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
0b
-54767/66192
Compiler

Compiled 1 to 1 computations (0% saved)

eval0.0ms (0%)

Compiler

Compiled 0 to 0 computations (0% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done000
Total011
Error
0b
Counts
1 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
0b
-54767/66192
Compiler

Compiled 1 to 1 computations (0% saved)

eval0.0ms (0%)

Compiler

Compiled 0 to 0 computations (0% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done000
Total011
Error
0b
Counts
1 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
0b
-54767/66192
Compiler

Compiled 1 to 1 computations (0% saved)

eval0.0ms (0%)

Compiler

Compiled 0 to 0 computations (0% saved)

prune8.0ms (0.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done000
Total011
Error
0b
Counts
1 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
0b
-54767/66192
Compiler

Compiled 51 to 51 computations (0% saved)

simplify0.0ms (0%)

Stop Event
1×fuel
Compiler

Compiled 1 to 1 computations (0% saved)

soundness0.0ms (0%)

Compiler

Compiled 0 to 0 computations (0% saved)

end17.0ms (0.5%)

Compiler

Compiled 1 to 1 computations (0% saved)

Profiling

Loading profile data...