Date:Thursday, February 2nd, 2023
Commit:26c408a1 on oflatt-egglog-ctx
Hostname:nightly with Racket 8.6
Seed:2023033
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: 1.1hr)

simplify40.3min (58.5%)

Algorithm
573×egglog
Stop Event
19×done
31×fuel
Counts
107941 → 123673
Results
Compiler

Compiled 12678 to 8572 computations (32.4% saved)

rewrite15.7min (22.8%)

Algorithm
517×batch-egg-rewrite
Rules
89414×egg-rr
Counts
1209 → 89396
Results

preprocess3.3min (4.7%)

Algorithm
114×egglog
Compiler

Compiled 1591 to 1038 computations (34.8% saved)

eval3.0min (4.3%)

Results
Compiler

Compiled 8971218 to 5912304 computations (34.1% saved)

sample2.6min (3.8%)

Results
1.2min437843×body256valid
51.1s7891×body8192exit
10.0s19092×body1024valid
7.9s14424×body1024infinite
5.6s29518×body256infinite
3.1s10467×body512valid
2.4s6805×body512infinite
1.1s2102×body2048valid
933.0ms4723×body256invalid
611.0ms4218×body256unsamplable
513.0ms1088×body4096valid
299.0ms217×body2048infinite
Bogosity

series1.5min (2.2%)

Counts
1210 → 19680
Calls

6345 calls:

TimeVariablePointExpression
1.0s
x.im
@0
(cos.f64 (fma.f64 (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (log.f64 (hypot.f64 x.re x.im)) 2))) (cbrt.f64 (*.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (log.f64 (hypot.f64 x.re x.im))))) (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 (log.f64 (hypot.f64 x.re x.im)) (cbrt.f64 (log.f64 (hypot.f64 x.re x.im))))) 2))))) (*.f64 (cbrt.f64 (pow.f64 (log.f64 (hypot.f64 x.re x.im)) 2)) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))
441.0ms
x.re
@0
(cos.f64 (fma.f64 (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (log.f64 (hypot.f64 x.re x.im)) 2))) (cbrt.f64 (*.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (log.f64 (hypot.f64 x.re x.im))))) (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 (log.f64 (hypot.f64 x.re x.im)) (cbrt.f64 (log.f64 (hypot.f64 x.re x.im))))) 2))))) (*.f64 (cbrt.f64 (pow.f64 (log.f64 (hypot.f64 x.re x.im)) 2)) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))
201.0ms
x
@0
(-.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.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))) (*.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) (exp.f64 (pow.f64 x 2)))) 2) (+.f64 1 (/.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))) (*.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) (exp.f64 (pow.f64 x 2)))))) 2)) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.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))) (*.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) (exp.f64 (pow.f64 x 2)))) 2) (+.f64 1 (/.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))) (*.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) (exp.f64 (pow.f64 x 2)))))) 2)) (pow.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))) (*.f64 (fma.f64 (fabs.f64 x) 3275911/10000000 1) (exp.f64 (pow.f64 x 2)))) 3)))
173.0ms
y.re
@0
(cos.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 (atan2.f64 x.im x.re) y.re)))) 3) 3))
143.0ms
x.im
@0
(cos.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 (atan2.f64 x.im x.re) y.re)))) 3) 3))
Compiler

Compiled 6964650 to 5395490 computations (22.5% saved)

prune59.4s (1.4%)

Counts
154880 → 3213
Compiler

Compiled 193875 to 147792 computations (23.8% saved)

regimes36.7s (0.9%)

Counts
7351 → 648
Calls

114 calls:

2.9s
x.im
2.8s
x.re
2.4s
y.im
1.9s
y.re
1.9s
z
Compiler

Compiled 255310 to 183029 computations (28.3% saved)

localize30.8s (0.7%)

Compiler

Compiled 64293 to 40310 computations (37.3% saved)

bsearch8.5s (0.2%)

Algorithm
317×binary-search
46×left-value
Results
5.9s33358×body256valid
402.0ms563×body2048valid
389.0ms758×body1024valid
381.0ms1373×body512valid
269.0ms316×body4096valid
122.0ms565×body256infinite
92.0ms123×body1024infinite
70.0ms173×body512infinite
5.0ms3×body2048infinite
Compiler

Compiled 66058 to 47221 computations (28.5% saved)

analyze8.4s (0.2%)

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.6s (0.1%)

Compiler

Compiled 12066 to 7306 computations (39.4% saved)

soundness2.0ms (0%)

Profiling

Loading profile data...