Date:Saturday, November 26th, 2022
Commit:ce9ba413 on main
Hostname:nightly with Racket 8.6
Seed:2022330
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.6hr)

sample25.5min (27.3%)

Results
9.8min3812791×body256valid
3.8min29923×body8192exit
3.3min287044×body1024valid
1.9min99001×body2048valid
1.7min445874×body256infinite
1.2min16388×body4096valid
59.4s152892×body512valid
52.4s267078×body256invalid
32.1s2794×body8192valid
25.8s35566×body1024infinite
9.9s1846×body4096infinite
9.5s15327×body1024invalid
8.8s18799×body512infinite
8.6s2467×body2048infinite
6.5s23337×body256unsamplable
3.2s8156×body512invalid
1.2s1246×body2048invalid
1.1s3057×body256precondition
435.0ms29×body8192infinite
232.0ms303×body2048unsamplable
211.0ms444×body1024unsamplable
67.0ms234×body512unsamplable
3.0ms2×body4096invalid
Bogosity

regimes17.7min (19%)

Counts
108029 → 11608
Calls

1150 calls:

1.8min
x
1.5min
y
1.4min
a
1.3min
z
1.3min
t
Results
Compiler

Compiled 1897182 to 1046780 computations (44.8% saved)

eval12.2min (13.1%)

Compiler

Compiled 39293749 to 21377735 computations (45.6% saved)

simplify9.2min (9.9%)

Algorithm
6930×egg-herbie
Rules
2048338×fma-def_binary64
1610784×fma-neg_binary64
1543619×log-prod_binary64
1313163×unswap-sqr_binary64
1198638×times-frac_binary64
Stop Event
61×unsound
811×saturated
121×done
406×fuel
6058×node limit
Counts
900343 → 980360
Compiler

Compiled 161614 to 95430 computations (41% saved)

prune6.8min (7.4%)

Counts
1219955 → 42865
Compiler

Compiled 1527371 to 1084126 computations (29% saved)

rewrite6.5min (6.9%)

Algorithm
5874×batch-egg-rewrite
32×egg-rewrite-iter-limit
34×egg-rewrite
Rules
2139992×pow1_binary64
2003344×expm1-log1p-u_binary64
2003194×log1p-expm1-u_binary64
2002754×add-log-exp_binary64
1814319×add-exp-log_binary64
Stop Event
40×unsound
32×iter limit
5868×node limit
Counts
13556 → 579730

bsearch4.5min (4.8%)

Algorithm
6917×binary-search
732×left-value
Results
2.1min761467×body256valid
40.6s38231×body1024valid
25.7s6064×body4096valid
19.0s10357×body2048valid
12.5s22782×body512valid
8.0s41011×body256infinite
5.9s826×body8192valid
5.4s30213×body256invalid
1.9s261×body4096infinite
1.7s378×body2048infinite
1.5s1399×body1024infinite
679.0ms1345×body512infinite
387.0ms349×body512invalid
330.0ms21×body8192infinite
301.0ms764×body1024invalid
201.0ms986×body256unsamplable
146.0ms202×body8192exit
Compiler

Compiled 1665472 to 1203740 computations (27.7% saved)

localize3.2min (3.4%)

Compiler

Compiled 418253 to 211767 computations (49.4% saved)

analyze2.7min (2.9%)

Algorithm
532×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%87%13%0%0%0%0
2.2%1.9%85.1%13%0%0%0%1
3.3%2.9%83.5%13%0%0.6%0%2
11.3%9.6%75.3%13.1%0.3%1.7%0%3
15.7%13%70.2%13.1%1.2%2.3%0.2%4
23.7%19.6%63%13.1%1.6%2.6%0.2%5
28.4%23%58.1%13.1%2.5%3%0.3%6
35.8%28.3%50.9%13.1%3.6%3.8%0.3%7
40.3%31.5%46.8%13.1%4.1%4.1%0.4%8
45.8%35.3%41.9%13.1%4.8%4.5%0.4%9
50.3%38.3%37.8%13.1%5.5%4.9%0.4%10
54.5%41%34.3%13.1%6%5.2%0.4%11
58%43.2%31.4%13.1%6.4%5.4%0.5%12
Compiler

Compiled 11769 to 8153 computations (30.7% saved)

series1.7min (1.8%)

Counts
13556 → 320084
Calls

85878 calls:

TimeVariablePointExpression
336.0ms
y
@-inf
(log1p.f64 (*.f64 1/3 (acos.f64 (*.f64 (*.f64 (sqrt.f64 t) 1/18) (/.f64 x (*.f64 y z))))))
288.0ms
s
@0
(*.f32 3 (*.f32 s (neg.f32 (-.f32 (log1p.f32 (neg.f32 (*.f32 (pow.f32 (+.f32 u -1/4) 2) 16/9))) (log1p.f32 (*.f32 (+.f32 u -1/4) 4/3))))))
287.0ms
cosTheta_O
@0
(*.f32 (/.f32 (/.f32 1/2 (pow.f32 (exp.f32 sinTheta_O) (/.f32 sinTheta_i v))) (sinh.f32 (/.f32 1 v))) (*.f32 (/.f32 cosTheta_i (*.f32 v v)) cosTheta_O))
281.0ms
y
@-inf
(-.f64 (log.f64 (+.f64 -1 x)) (log.f64 y))
274.0ms
angle
@0
(*.f64 (*.f64 y-scale x-scale) (/.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (*.f64 (/.f64 2 y-scale) (-.f64 (*.f64 b b) (*.f64 a a))) (*.f64 (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) x-scale) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))))) (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))))))

soundness1.6min (1.7%)

Algorithm
852×egg-herbie
Rules
315336×fma-def_binary64
249375×fma-neg_binary64
171206×times-frac_binary64
163167×associate-/l*_binary64
162831×distribute-rgt-in_binary64
Stop Event
1×unsound
171×saturated
680×node limit
Compiler

Compiled 333090 to 229482 computations (31.1% saved)

end1.0min (1.1%)

Compiler

Compiled 158316 to 75469 computations (52.3% saved)

preprocess33.0s (0.6%)

Algorithm
1058×egg-herbie
Rules
180323×fma-def_binary64
153313×fma-neg_binary64
80928×distribute-rgt-in_binary64
77503×div-sub_binary64
75263×sub-neg_binary64
Stop Event
669×saturated
102×unsound
287×node limit
Compiler

Compiled 11204 to 8032 computations (28.3% saved)

Profiling

Loading profile data...