Date:Monday, May 1st, 2023
Commit:e093b807 on main
Hostname:nightly with Racket 8.6
Seed:2023121
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.9hr)

sample27.2min (24.5%)

Results
10.5min3844121×body256valid
3.8min29617×body8192exit
3.6min301820×body1024valid
2.0min100969×body2048valid
1.8min445515×body256infinite
1.3min16391×body4096valid
1.1min162516×body512valid
56.1s267974×body256invalid
35.0s2871×body8192valid
28.1s35026×body1024infinite
11.1s1879×body4096infinite
10.0s15129×body1024invalid
8.9s18809×body512infinite
8.5s2387×body2048infinite
6.5s22780×body256unsamplable
3.0s8203×body512invalid
1.2s1208×body2048invalid
1.1s3030×body256precondition
525.0ms31×body8192infinite
258.0ms293×body2048unsamplable
255.0ms456×body1024unsamplable
67.0ms229×body512unsamplable
3.0ms1×body8192invalid
1.0ms1×body4096invalid
Bogosity

regimes20.3min (18.2%)

Counts
117349 → 11855
Calls

1164 calls:

2.0min
x
1.8min
y
1.6min
z
1.6min
a
1.4min
t
Results
Compiler

Compiled 1988853 to 1068195 computations (46.3% saved)

eval15.8min (14.2%)

Compiler

Compiled 49541832 to 26609072 computations (46.3% saved)

simplify13.6min (12.2%)

Algorithm
7061×egg-herbie
Rules
3885404×associate-*r*
3602824×associate-/l*
3480740×*-commutative
3372018×associate-*l*
3205664×distribute-lft-in
Stop Event
32×unsound
825×saturated
112×done
422×fuel
6204×node limit
Counts
1065728 → 1252811
Compiler

Compiled 159414 to 97117 computations (39.1% saved)

rewrite9.6min (8.6%)

Algorithm
5991×batch-egg-rewrite
53×egg-rewrite
37×egg-rewrite-iter-limit
Rules
4222454×add-sqr-sqrt
4148124×*-un-lft-identity
3895420×add-cube-cbrt
3839086×add-cbrt-cube
2380940×add-exp-log
Stop Event
38×unsound
37×iter limit
6006×node limit
Counts
13883 → 736780

prune9.2min (8.3%)

Counts
1525566 → 43650
Compiler

Compiled 1564859 to 1109189 computations (29.1% saved)

bsearch4.3min (3.8%)

Algorithm
6972×binary-search
823×left-value
Stop Event
6774×narrow-enough
15×predicate-failed
183×predicate-same
Results
2.3min774169×body256valid
33.8s35009×body1024valid
16.6s9843×body2048valid
14.3s3983×body4096valid
12.2s22961×body512valid
7.9s40561×body256infinite
7.3s39747×body256invalid
2.3s706×body8192valid
1.5s1141×body1024infinite
1.1s224×body4096infinite
843.0ms285×body2048infinite
494.0ms743×body512infinite
379.0ms1916×body256unsamplable
314.0ms476×body1024invalid
171.0ms395×body512invalid
125.0ms9×body8192infinite
86.0ms114×body8192exit
5.0ms6×body2048invalid
Compiler

Compiled 1697739 to 1231492 computations (27.5% saved)

localize3.5min (3.2%)

Compiler

Compiled 421897 to 214642 computations (49.1% saved)

analyze2.9min (2.6%)

Algorithm
539×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.7%13.3%0%0%0%0
2.4%2.1%84.7%13.3%0%0%0%1
3.6%3.1%83%13.3%0%0.6%0%2
11.5%9.8%74.8%13.3%0.3%1.8%0%3
15.9%13.2%69.8%13.3%1.2%2.3%0.2%4
23.9%19.7%62.6%13.3%1.6%2.7%0.2%5
28.6%23.1%57.7%13.3%2.5%3.1%0.3%6
36%28.4%50.5%13.3%3.5%3.9%0.3%7
40.5%31.6%46.4%13.3%4%4.2%0.4%8
46%35.4%41.5%13.3%4.7%4.6%0.4%9
50.6%38.3%37.4%13.3%5.4%5%0.4%10
54.8%41.1%33.9%13.3%5.9%5.3%0.4%11
58.2%43.3%31%13.3%6.4%5.6%0.5%12
Compiler

Compiled 11861 to 8220 computations (30.7% saved)

soundness1.9min (1.7%)

Algorithm
899×egg-herbie
Rules
480030×associate-*r*
456824×*-commutative
453958×fma-def
405232×+-commutative
399698×associate-/l*
Stop Event
1×unsound
177×saturated
721×node limit
Compiler

Compiled 111921 to 63212 computations (43.5% saved)

series1.3min (1.1%)

Counts
13883 → 328412
Calls

87234 calls:

TimeVariablePointExpression
624.0ms
base
@-inf
(/.f64 1 (*.f64 (/.f64 1 (atan2.f64 im re)) (*.f64 3 (log.f64 (cbrt.f64 base)))))
333.0ms
phi1
@inf
(/.f64 (*.f64 (+.f64 (pow.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) 3) (pow.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (*.f64 (sin.f64 phi1) (cos.f64 phi2))) (+.f64 (*.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (-.f64 (*.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (*.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
318.0ms
y
@-inf
(/.f64 y (/.f64 a (-.f64 t x)))
287.0ms
z
@0
(/.f64 a (+.f64 1 (-.f64 t z)))
259.0ms
y.im
@-inf
(log.f64 (pow.f64 (hypot.f64 x.im x.re) y.im))

end1.1min (1%)

Compiler

Compiled 154462 to 75469 computations (51.1% saved)

preprocess38.1s (0.6%)

Algorithm
1072×egg-herbie
Rules
321884×fma-def
215744×*-commutative
191086×distribute-lft-in
189794×+-commutative
168944×associate-*r*
Stop Event
684×saturated
99×unsound
289×node limit
Compiler

Compiled 11280 to 8090 computations (28.3% saved)

Profiling

Loading profile data...