Herbie run

Date:Saturday, January 6th, 2024
Commit:b16ab614 on platforms
Hostname:nightly with Racket 8.6
Seed:2024006
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:simplifygenerate:proofs
default

Time bar (total: 1.2min)

localize17.8s (24.2%)

Compiler

Compiled 6368 to 3521 computations (44.7% saved)

eval11.9s (16.2%)

Compiler

Compiled 597647 to 389211 computations (34.9% saved)

sample11.3s (15.4%)

Results
8.5s62932×body256valid
1.3s4113×body2048valid
913.0ms7259×body256infinite
397.0ms2012×body256invalid
Bogosity

soundness10.9s (14.8%)

Rules
14107×associate-*r*
13975×associate-/r*
11781×*-commutative
11501×associate-/l*
10922×associate-*l*
Stop Event
2×saturated
39×node limit
Compiler

Compiled 4033 to 2339 computations (42% saved)

simplify5.5s (7.5%)

Algorithm
28×egg-herbie
Rules
8036×associate-/r*
7870×associate-*r*
6830×associate-/l*
6623×*-commutative
6506×+-commutative
Stop Event
9×saturated
4×done
5×fuel
19×node limit
Counts
9513 → 8142
Compiler

Compiled 1234 to 811 computations (34.3% saved)

prune4.5s (6.1%)

Counts
14692 → 332
Compiler

Compiled 28584 to 19645 computations (31.3% saved)

rewrite4.2s (5.7%)

Algorithm
19×batch-egg-rewrite
Rules
4155×*-un-lft-identity
3857×associate-*r*
3740×add-sqr-sqrt
3229×distribute-lft-in
3209×add-exp-log
Stop Event
19×node limit
Counts
142 → 6422

preprocess2.6s (3.5%)

Algorithm
9×egg-herbie
Rules
2001×associate-/r*
1891×fma-def
1465×distribute-lft-in
1361×associate-/l*
1285×*-commutative
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3432 to 1954 computations (43.1% saved)

regimes2.3s (3.1%)

Counts
496 → 93
Calls

26 calls:

387.0ms
c
379.0ms
b
317.0ms
a
194.0ms
x
130.0ms
z
Compiler

Compiled 10291 to 6064 computations (41.1% saved)

series1.1s (1.5%)

Counts
142 → 3091
Calls

864 calls:

TimeVariablePointExpression
164.0ms
x
@0
(*.f64 (/.f64 x y) z)
53.0ms
c
@0
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 -4 c)) (*.f64 -1 (log.f64 (/.f64 1 a))))))
45.0ms
c
@0
(log.f64 (*.f64 c (*.f64 a -4)))
30.0ms
c
@0
(pow.f64 (*.f64 c (*.f64 a -4)) 1/4)
26.0ms
n
@-inf
(pow.f64 (cbrt.f64 (-.f64 n f)) 2)

bsearch895.0ms (1.2%)

Algorithm
50×binary-search
Stop Event
44×narrow-enough
6×predicate-same
Results
664.0ms5055×body256valid
130.0ms769×body256infinite
18.0ms114×body256invalid
Compiler

Compiled 10723 to 7721 computations (28% saved)

analyze454.0ms (0.6%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

end1.0ms (0%)

Profiling

Loading profile data...