Date:Thursday, March 30th, 2023
Commit:9a5a3e08 on main
Hostname:nightly with Racket 8.6
Seed:2023089
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: 6.9min)

eval1.5min (21.8%)

Compiler

Compiled 4226758 to 2611731 computations (38.2% saved)

sample1.2min (17.2%)

Results
1.1min206400×body256valid
2.5s8529×body256invalid
1.0s2070×body256precondition
Bogosity

simplify1.0min (14.7%)

Algorithm
469×egg-herbie
Rules
291408×associate-*r*
256670×associate-/l*
249340×associate-*l*
243088×*-commutative
225946×associate-/r*
Stop Event
5×unsound
36×saturated
25×fuel
428×node limit
Counts
75539 → 96101
Compiler

Compiled 6080 to 4422 computations (27.3% saved)

prune46.5s (11.2%)

Counts
121025 → 3646
Compiler

Compiled 126116 to 93866 computations (25.6% saved)

rewrite43.3s (10.4%)

Algorithm
419×batch-egg-rewrite
2×egg-rewrite-iter-limit
6×egg-rewrite
Rules
226534×add-sqr-sqrt
221728×*-un-lft-identity
208296×add-cube-cbrt
207066×add-cbrt-cube
172656×associate-*r/
Stop Event
2×unsound
2×iter limit
423×node limit
Counts
1144 → 52658

localize41.2s (9.9%)

Compiler

Compiled 39944 to 21905 computations (45.2% saved)

regimes38.0s (9.2%)

Counts
8995 → 338
Calls

124 calls:

1.7s
s
1.5s
cosTheta_i
1.2s
u1
1.1s
u2
1.0s
maxCos
Compiler

Compiled 147378 to 87471 computations (40.6% saved)

series7.3s (1.7%)

Counts
1144 → 22856
Calls

6285 calls:

TimeVariablePointExpression
441.0ms
h
@0
(-.f32 (exp.f32 (log1p.f32 (/.f32 h (fma.f32 -1/2 (*.f32 sinTheta_O (/.f32 sinTheta_O eta)) eta)))) 1)
128.0ms
alphay
@-inf
(pow.f32 (pow.f32 (cbrt.f32 (hypot.f32 (/.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2)))))) alphay) (/.f32 (/.f32 1 (hypot.f32 1 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (fma.f32 2 u1 1/2) (PI.f32)))))) alphax))) 2) 3)
124.0ms
u1
@0
(pow.f32 (pow.f32 (cbrt.f32 (hypot.f32 (/.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2)))))) alphay) (/.f32 (/.f32 1 (hypot.f32 1 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (fma.f32 2 u1 1/2) (PI.f32)))))) alphax))) 2) 3)
86.0ms
x
@-inf
(/.f32 (*.f32 (sin.f32 (*.f32 (PI.f32) (*.f32 x tau))) (sin.f32 (*.f32 (PI.f32) x))) (*.f32 (PI.f32) (*.f32 (PI.f32) (*.f32 x tau))))
80.0ms
s
@0
(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (-.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (+.f32 u -1) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)))

analyze6.7s (1.6%)

Algorithm
25×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%3.2%96.8%0%0%0%0
0.2%0%3.2%96.8%0%0%0%1
9.3%0.3%2.9%96.8%0%0%0%2
43.2%1.4%1.8%96.8%0%0%0%3
48.1%1.5%1.6%96.8%0%0%0%4
65.1%2.1%1.1%96.8%0%0%0%5
70.3%2.2%0.9%96.8%0%0.1%0%6
79.1%2.4%0.6%96.8%0%0.1%0%7
81.1%2.5%0.6%96.8%0%0.1%0%8
86.1%2.6%0.4%96.8%0%0.1%0%9
87.6%2.7%0.4%96.9%0%0.1%0%10
91.7%2.8%0.3%96.9%0%0.1%0%11
92.4%2.8%0.2%96.9%0%0.1%0%12
Compiler

Compiled 1220 to 881 computations (27.8% saved)

soundness3.9s (0.9%)

Algorithm
33×egg-herbie
Rules
21030×fma-def
20666×associate-*r*
18708×associate-+r+
17402×+-commutative
14868×associate-*l*
Stop Event
7×saturated
26×node limit
Compiler

Compiled 4588 to 2826 computations (38.4% saved)

end2.6s (0.6%)

Compiler

Compiled 5552 to 3252 computations (41.4% saved)

preprocess2.4s (0.6%)

Algorithm
50×egg-herbie
Rules
17954×fma-def
14184×*-commutative
12786×+-commutative
12666×associate-+l+
12516×associate-+r+
Stop Event
2×unsound
29×saturated
19×node limit
Compiler

Compiled 738 to 544 computations (26.3% saved)

bsearch25.0ms (0%)

Algorithm
31×binary-search
31×left-value
Stop Event
31×narrow-enough
Compiler

Compiled 1561 to 1127 computations (27.8% saved)

Profiling

Loading profile data...