Date:Tuesday, January 10th, 2023
Commit:020cb5bb on oflatt-egglog-ctx
Hostname:nightly with Racket 8.6
Seed:2023010
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplify
default

Details

Time bar (total: 18.7min)

simplify6.1min (32.7%)

Algorithm
531×egglog
Stop Event
16×done
31×fuel
Counts
116107 → 136869
Compiler

Compiled 10977 to 6995 computations (36.3% saved)

eval4.0min (21.5%)

Results
Compiler

Compiled 10068212 to 6402435 computations (36.4% saved)

sample2.8min (15.1%)

Results
1.3min438028×body256valid
57.2s8011×body8192exit
11.4s19175×body1024valid
8.4s14682×body1024infinite
5.4s29498×body256infinite
3.4s10105×body512valid
2.7s6563×body512infinite
1.4s2221×body2048valid
888.0ms4665×body256invalid
759.0ms4147×body256unsamplable
617.0ms1063×body4096valid
225.0ms205×body2048infinite
Bogosity

rewrite1.5min (8.1%)

Algorithm
483×batch-egg-rewrite
Rules
97669×egg-rr
Counts
1108 → 97669

series1.3min (7%)

Counts
1111 → 18472
Calls

6060 calls:

TimeVariablePointExpression
9.1s
x
@0
(pow.f64 (pow.f64 (/.f64 (+.f64 (neg.f64 (pow.f64 (/.f64 (+.f64 (/.f64 (+.f64 8890523/31250000 (/.f64 (+.f64 -1421413741/1000000000 (/.f64 (+.f64 1453152027/1000000000 (/.f64 -1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) -31853699/125000000) (*.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) (exp.f64 (*.f64 x x)))) 3)) -1) (-.f64 (+.f64 -1 (/.f64 (+.f64 (/.f64 (+.f64 8890523/31250000 (/.f64 (+.f64 -1421413741/1000000000 (/.f64 (+.f64 1453152027/1000000000 (/.f64 -1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) -31853699/125000000) (*.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) (exp.f64 (*.f64 x x))))) (pow.f64 (/.f64 (+.f64 (/.f64 (+.f64 8890523/31250000 (/.f64 (+.f64 -1421413741/1000000000 (/.f64 (+.f64 1453152027/1000000000 (/.f64 -1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) -31853699/125000000) (*.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) (exp.f64 (*.f64 x x)))) 2))) 3) 1/3)
339.0ms
u1
@0
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 (*.f64 -2 (log.f64 u1))) 1/6)) 2)
282.0ms
re
@-inf
(*.f64 1/2 (sqrt.f64 (*.f64 im (/.f64 im re))))
279.0ms
x
@0
(-.f64 (pow.f64 (+.f64 1 (fma.f64 (exp.f64 (neg.f64 (*.f64 x x))) (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (pow.f64 (/.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (exp.f64 (*.f64 x x))) 2))) 2) (*.f64 (*.f64 (neg.f64 (pow.f64 (/.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (exp.f64 (*.f64 x x))) 3)) (+.f64 1 (fma.f64 (exp.f64 (neg.f64 (*.f64 x x))) (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (pow.f64 (/.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (exp.f64 (*.f64 x x))) 2)))) (*.f64 (neg.f64 (pow.f64 (/.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (exp.f64 (*.f64 x x))) 3)) (+.f64 1 (fma.f64 (exp.f64 (neg.f64 (*.f64 x x))) (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (pow.f64 (/.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1))) (fma.f64 (fabs.f64 x) 3275911/10000000 1)) (exp.f64 (*.f64 x x))) 2))))))
119.0ms
y.re
@0
(*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re)
Compiler

Compiled 5062200 to 3858525 computations (23.8% saved)

prune1.2min (6.2%)

Counts
171966 → 3176
Compiler

Compiled 198027 to 146804 computations (25.9% saved)

regimes35.8s (3.2%)

Counts
6503 → 629
Calls

111 calls:

3.6s
x.re
3.5s
alpha
3.5s
x.im
2.9s
y.im
2.7s
y.re
Compiler

Compiled 186003 to 127096 computations (31.7% saved)

localize35.4s (3.2%)

Compiler

Compiled 69373 to 43608 computations (37.1% saved)

bsearch11.2s (1%)

Algorithm
349×binary-search
11×left-value
Results
7.9s40805×body256valid
502.0ms595×body1024infinite
304.0ms870×body512valid
300.0ms546×body2048valid
295.0ms577×body4096valid
287.0ms518×body512infinite
283.0ms1308×body256infinite
260.0ms642×body1024valid
75.0ms50×body2048infinite
Compiler

Compiled 83157 to 57273 computations (31.1% saved)

preprocess9.8s (0.9%)

Algorithm
107×egglog
Compiler

Compiled 1506 to 975 computations (35.3% saved)

analyze8.5s (0.8%)

Algorithm
57×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.1%13.9%0%0%0%0
7.1%6.1%79.9%13.9%0%0%0%1
13.4%11.2%72.9%13.9%0%1.8%0.2%2
23.9%19.5%62.2%13.9%0.5%3.5%0.3%3
29%23.2%56.8%13.9%2%3.7%0.4%4
41%32.6%46.8%13.9%2.5%3.8%0.4%5
46.3%36.1%41.9%13.9%3.6%4.1%0.4%6
54.4%41%34.4%13.9%5.3%5%0.4%7
58.2%43.5%31.2%13.9%5.8%5.1%0.4%8
63.3%46.6%27%13.9%6.8%5.1%0.4%9
67.1%48.8%23.9%13.9%7.3%5.6%0.4%10
70.4%50.6%21.3%13.9%8.1%5.6%0.4%11
73%52.2%19.3%13.9%8.5%5.7%0.4%12
Compiler

Compiled 1543 to 980 computations (36.5% saved)

end5.3s (0.5%)

Compiler

Compiled 10371 to 5695 computations (45.1% saved)

soundness9.0ms (0%)

Compiler

Compiled 124 to 124 computations (0% saved)

Profiling

Loading profile data...