Date:Tuesday, March 7th, 2023
Commit:0a0aee13 on main
Hostname:nightly with Racket 8.6
Seed:2023066
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.3min (20.9%)

Compiler

Compiled 3689303 to 2254716 computations (38.9% saved)

sample1.2min (18.6%)

Results
1.1min206400×body256valid
2.2s8551×body256invalid
1.1s2046×body256precondition
Bogosity

simplify55.8s (14.6%)

Algorithm
457×egg-herbie
Rules
280068×associate-*r*
246912×associate-/l*
239836×associate-*l*
230176×*-commutative
219580×distribute-lft-in
Stop Event
1×unsound
35×saturated
25×fuel
421×node limit
Counts
72891 → 91369
Compiler

Compiled 5196 to 3787 computations (27.1% saved)

prune44.0s (11.5%)

Counts
114493 → 3774
Compiler

Compiled 130819 to 97082 computations (25.8% saved)

rewrite41.5s (10.9%)

Algorithm
407×batch-egg-rewrite
3×egg-rewrite-iter-limit
3×egg-rewrite
Rules
230084×add-sqr-sqrt
225418×*-un-lft-identity
211664×add-cube-cbrt
208740×add-cbrt-cube
161852×associate-*r/
Stop Event
4×unsound
3×iter limit
406×node limit
Counts
1112 → 50493

localize37.5s (9.8%)

Compiler

Compiled 35655 to 19469 computations (45.4% saved)

regimes30.9s (8.1%)

Counts
8192 → 299
Calls

124 calls:

1.6s
s
1.2s
cosTheta_i
1.0s
u1
946.0ms
u2
939.0ms
x
Compiler

Compiled 137223 to 78881 computations (42.5% saved)

analyze6.6s (1.7%)

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)

series5.6s (1.5%)

Counts
1112 → 22373
Calls

6132 calls:

TimeVariablePointExpression
109.0ms
s
@0
(*.f32 -3 (*.f32 s (log1p.f32 (*.f32 u -4/3))))
91.0ms
u1
@0
(pow.f32 (pow.f32 (log1p.f32 u1) 1/4) 2)
68.0ms
r
@inf
(pow.f32 (exp.f32 r) (/.f32 -1/3 s))
64.0ms
x
@inf
(/.f32 1 (+.f32 1 (-.f32 (-.f32 1 (/.f32 x s)) (/.f32 (*.f32 x x) (/.f32 (*.f32 s s) -1/2)))))
59.0ms
v
@0
(log.f32 (cbrt.f32 (fma.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u) u)))

soundness4.1s (1.1%)

Algorithm
34×egg-herbie
Rules
21792×associate-*r*
18586×associate-/l*
17920×associate-*l*
16468×+-commutative
15900×*-commutative
Stop Event
4×saturated
30×node limit
Compiler

Compiled 5594 to 3435 computations (38.6% saved)

end2.4s (0.6%)

Compiler

Compiled 4765 to 2782 computations (41.6% saved)

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

bsearch19.0ms (0%)

Algorithm
30×binary-search
20×left-value
Compiler

Compiled 1092 to 772 computations (29.3% saved)

Profiling

Loading profile data...