Date:Thursday, February 23rd, 2023
Commit:f090ba30 on fix-report-link
Hostname:nightly with Racket 8.6
Seed:2023054
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.4min)

eval1.4min (21.1%)

Compiler

Compiled 3828004 to 2352786 computations (38.5% saved)

sample1.1min (17.8%)

Results
1.1min206400×body256valid
2.0s8359×body256invalid
1.2s2061×body256precondition
Bogosity

simplify57.3s (14.9%)

Algorithm
462×egg-herbie
Rules
284760×associate-*r*
252486×associate-/l*
250132×associate-*l*
239086×*-commutative
235158×associate-/r*
Stop Event
3×unsound
36×saturated
25×fuel
423×node limit
Counts
73778 → 92721
Compiler

Compiled 5046 to 3661 computations (27.4% saved)

prune42.0s (10.9%)

Counts
117220 → 3512
Compiler

Compiled 116753 to 87920 computations (24.7% saved)

rewrite41.7s (10.8%)

Algorithm
412×batch-egg-rewrite
8×egg-rewrite
2×egg-rewrite-iter-limit
Rules
234478×add-sqr-sqrt
229592×*-un-lft-identity
215666×add-cube-cbrt
211082×add-cbrt-cube
159764×associate-*r/
Stop Event
2×unsound
2×iter limit
418×node limit
Counts
1123 → 50972

localize40.0s (10.4%)

Compiler

Compiled 37516 to 20480 computations (45.4% saved)

regimes32.8s (8.5%)

Counts
7848 → 299
Calls

124 calls:

1.9s
cosTheta_i
1.1s
u1
1.1s
s
958.0ms
sinTheta_O
911.0ms
u2
Compiler

Compiled 123394 to 73000 computations (40.8% saved)

series7.3s (1.9%)

Counts
1123 → 22781
Calls

6270 calls:

TimeVariablePointExpression
304.0ms
cosTheta_i
@0
(/.f32 (*.f32 (/.f32 cosTheta_i v) (/.f32 cosTheta_O v)) (+.f32 (/.f32 2 v) (/.f32 1/3 (pow.f32 v 3))))
289.0ms
s
@0
(*.f32 3 (*.f32 s (neg.f32 (log1p.f32 (/.f32 (neg.f32 (+.f32 u -1/4)) 3/4)))))
285.0ms
x
@0
(pow.f32 (pow.f32 (+.f32 1 (exp.f32 (neg.f32 (/.f32 x s)))) -1/2) 2)
215.0ms
x
@-inf
(log1p.f32 (exp.f32 (/.f32 (neg.f32 x) s)))
134.0ms
x
@inf
(log1p.f32 (exp.f32 (/.f32 (neg.f32 x) s)))

analyze6.1s (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.6s (0.9%)

Algorithm
29×egg-herbie
Rules
19448×fma-def
15284×associate-*r*
15276×+-commutative
14676×associate-+r+
14534×*-commutative
Stop Event
5×saturated
24×node limit
Compiler

Compiled 4595 to 2891 computations (37.1% saved)

end2.4s (0.6%)

Compiler

Compiled 4550 to 2655 computations (41.6% saved)

preprocess2.2s (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)

bsearch23.0ms (0%)

Algorithm
19×binary-search
37×left-value
Compiler

Compiled 1277 to 967 computations (24.3% saved)

Profiling

Loading profile data...