Herbie run

Date:Monday, March 25th, 2024
Commit:daf05fd5 on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024085
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: 6.2min)

sample2.7min (44.1%)

Results
30.5s141835×0precondition
39.8s115883×1valid
9.4s56884×0valid
39.9s43508×2valid
25.4s7003×5exit
653.0ms4131×0unsamplable
568.0ms4130×0invalid
762.0ms4105×0infinite
2.8s2071×3valid
331.0ms452×1infinite
10.0ms9×2infinite
Precisions
Click to see histograms. Total time spent on operations: 1.9min
Operation ival-pow, time spent: 23.2s, 21.0% of total-time
Operation ival-exp, time spent: 11.8s, 11.0% of total-time
Operation ival-tan, time spent: 11.6s, 10.0% of total-time
Operation backward-pass, time spent: 8.9s, 8.0% of total-time
Operation ival-mult, time spent: 8.4s, 8.0% of total-time
Operation ival-sub, time spent: 7.4s, 7.0% of total-time
Operation ival-log, time spent: 5.4s, 5.0% of total-time
Operation ival-add, time spent: 4.8s, 4.0% of total-time
Operation ival-div, time spent: 4.5s, 4.0% of total-time
Operation ival-<=, time spent: 4.3s, 4.0% of total-time
Operation ival-fabs, time spent: 4.2s, 4.0% of total-time
Operation ival-cos, time spent: 3.7s, 3.0% of total-time
Operation ival-sin, time spent: 3.4s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.0s, 2.0% of total-time
Operation ival-<, time spent: 2.0s, 2.0% of total-time
Operation const, time spent: 1.3s, 1.0% of total-time
Operation ival-and, time spent: 954.0ms, 1.0% of total-time
Operation ival->, time spent: 918.0ms, 1.0% of total-time
Operation ival-fmin, time spent: 893.0ms, 1.0% of total-time
Operation ival-atan, time spent: 662.0ms, 1.0% of total-time
Operation ival-neg, time spent: 509.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 305.0ms, 0.0% of total-time
Bogosity

localize1.0min (16.5%)

Compiler

Compiled 15162 to 8779 computations (42.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 44.6s
Operation ival-pow, time spent: 18.8s, 42.0% of total-time
Operation ival-mult, time spent: 5.3s, 12.0% of total-time
Operation ival-div, time spent: 4.0s, 9.0% of total-time
Operation composed, time spent: 2.9s, 7.0% of total-time
Operation ival-add, time spent: 2.8s, 6.0% of total-time
Operation ival-log, time spent: 1.6s, 4.0% of total-time
Operation ival-sub, time spent: 1.5s, 3.0% of total-time
Operation ival-exp, time spent: 1.4s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.3s, 3.0% of total-time
Operation ival-cos, time spent: 1.0s, 2.0% of total-time
Operation ival-cbrt, time spent: 927.0ms, 2.0% of total-time
Operation ival-sin, time spent: 860.0ms, 2.0% of total-time
Operation const, time spent: 822.0ms, 2.0% of total-time
Operation ival-tan, time spent: 720.0ms, 2.0% of total-time
Operation ival-neg, time spent: 456.0ms, 1.0% of total-time
Operation ival-cosh, time spent: 90.0ms, 0.0% of total-time
Operation ival-atan, time spent: 54.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 38.0ms, 0.0% of total-time
Operation ival-e, time spent: 14.0ms, 0.0% of total-time

eval35.0s (9.4%)

Compiler

Compiled 1559675 to 996107 computations (36.1% saved)

simplify24.5s (6.6%)

Algorithm
119×egg-herbie
Rules
31695×fma-define
26866×fma-neg
26190×distribute-lft-in
25293×*-commutative
24552×distribute-rgt-in
Stop Event
27×saturated
92×node limit
18×fuel
9×done
Counts
37593 → 40820
Compiler

Compiled 2926 to 2084 computations (28.8% saved)

soundness20.0s (5.4%)

Rules
27214×fma-define
25032×log1p-expm1-u
22748×fma-neg
18890×expm1-log1p-u
17681×associate-*r*
Stop Event
7×saturated
92×node limit
Compiler

Compiled 15975 to 10104 computations (36.8% saved)

rewrite18.6s (5%)

Algorithm
92×batch-egg-rewrite
Rules
58153×log1p-expm1-u
47409×expm1-log1p-u
18099×pow1
17480×add-exp-log
17367×add-log-exp
Stop Event
92×node limit
Counts
718 → 24916

preprocess14.5s (3.9%)

Algorithm
27×egg-herbie
Rules
8225×fma-neg
6464×fma-define
4232×div-sub
2644×sub-neg
2574×times-frac
Stop Event
22×saturated
5×node limit
Compiler

Compiled 10789 to 6794 computations (37% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.0s
Operation ival-exp, time spent: 679.0ms, 14.0% of total-time
Operation ival-log, time spent: 618.0ms, 12.0% of total-time
Operation ival-tan, time spent: 608.0ms, 12.0% of total-time
Operation ival-mult, time spent: 516.0ms, 10.0% of total-time
Operation ival-sub, time spent: 496.0ms, 10.0% of total-time
Operation ival-add, time spent: 408.0ms, 8.0% of total-time
Operation ival-div, time spent: 407.0ms, 8.0% of total-time
Operation ival-pow, time spent: 385.0ms, 8.0% of total-time
Operation ival-cos, time spent: 297.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 201.0ms, 4.0% of total-time
Operation ival-sin, time spent: 159.0ms, 3.0% of total-time
Operation const, time spent: 101.0ms, 2.0% of total-time
Operation ival-atan, time spent: 36.0ms, 1.0% of total-time
Operation ival-neg, time spent: 28.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 28.0ms, 1.0% of total-time

prune13.6s (3.6%)

Counts
56980 → 1827
Compiler

Compiled 60354 to 43254 computations (28.3% saved)

regimes9.1s (2.4%)

Counts
3130 → 265
Calls

42 calls:

2.1s
x
1.3s
(/.f64 #s(literal 1 binary64) n)
1.1s
n
857.0ms
b
798.0ms
c
Compiler

Compiled 1446 to 1008 computations (30.3% saved)

series5.9s (1.6%)

Counts
718 → 12677
Calls

3321 calls:

TimeVariablePointExpression
300.0ms
x
@0
(pow (pow (* (* (cbrt (pow (cbrt (- (exp (* x a)) 1)) 2)) (cbrt (cbrt (pow (cbrt (- (exp (* x a)) 1)) 2)))) (cbrt (cbrt (cbrt (- (exp (* x a)) 1))))) 2) 4/3)
161.0ms
eps
@0
(* eps (+ 1/6 (+ (* -1 (/ (* (pow (sin x) 2) (- 1 (neg (/ (pow (sin x) 2) (pow (cos x) 2))))) (pow (cos x) 2))) (+ (* -1/2 (- 1 (neg (/ (pow (sin x) 2) (pow (cos x) 2))))) (* 1/6 (/ (pow (sin x) 2) (pow (cos x) 2)))))))
140.0ms
a
@inf
(* (pow a 2) x)
129.0ms
eps
@0
(- (pow (cbrt (tan (+ x eps))) 3) (tan x))
118.0ms
a
@inf
(sqrt (- (* b b) (* 4 (* a c))))

analyze3.2s (0.9%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
17.8%10.2%47.3%38.9%0%3.6%0%1
26.3%15.1%42.4%38.9%0%3.6%0%2
41.4%22.7%32.1%41.6%0%3.6%0%3
49.4%27%27.7%41.7%0%3.6%0%4
56.9%30.7%23.3%42.4%0%3.6%0%5
59%31.5%21.9%43.1%0%3.6%0%6
63.1%32.5%19%44%0%4.3%0.1%7
66.3%33.8%17.2%44.5%0%4.4%0.1%8
68.9%34.5%15.6%44.9%0%4.8%0.3%9
71%34.9%14.3%45.2%0%5.3%0.3%10
73.8%35.9%12.8%45.4%0%5.5%0.4%11
75%36.2%12.1%45.6%0%5.8%0.4%12
Compiler

Compiled 505 to 355 computations (29.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8s
Operation ival-mult, time spent: 398.0ms, 22.0% of total-time
Operation ival-<=, time spent: 231.0ms, 13.0% of total-time
Operation ival-log, time spent: 207.0ms, 11.0% of total-time
Operation ival-sub, time spent: 186.0ms, 10.0% of total-time
Operation ival-div, time spent: 169.0ms, 9.0% of total-time
Operation ival-pow, time spent: 164.0ms, 9.0% of total-time
Operation ival-sqrt, time spent: 76.0ms, 4.0% of total-time
Operation ival-exp, time spent: 71.0ms, 4.0% of total-time
Operation ival-add, time spent: 61.0ms, 3.0% of total-time
Operation ival-fabs, time spent: 44.0ms, 2.0% of total-time
Operation ival-sin, time spent: 44.0ms, 2.0% of total-time
Operation ival-tan, time spent: 40.0ms, 2.0% of total-time
Operation const, time spent: 32.0ms, 2.0% of total-time
Operation ival-neg, time spent: 29.0ms, 2.0% of total-time
Operation ival-cos, time spent: 27.0ms, 1.0% of total-time
Operation ival->, time spent: 13.0ms, 1.0% of total-time
Operation ival-and, time spent: 12.0ms, 1.0% of total-time
Operation ival-<, time spent: 9.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 7.0ms, 0.0% of total-time
Operation ival-atan, time spent: 0.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 0.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:188:8, time spent: 0.0ms, 0.0% of total-time

bsearch2.8s (0.7%)

Algorithm
79×binary-search
20×left-value
Stop Event
2×predicate-same
77×narrow-enough
Results
793.0ms5061×0valid
870.0ms2297×1valid
137.0ms1284×0invalid
393.0ms674×2valid
117.0ms540×0infinite
43.0ms213×0unsamplable
78.0ms132×1infinite
Compiler

Compiled 13489 to 10113 computations (25% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
Operation ival-pow, time spent: 607.0ms, 43.0% of total-time
Operation ival-div, time spent: 165.0ms, 12.0% of total-time
Operation ival-mult, time spent: 139.0ms, 10.0% of total-time
Operation backward-pass, time spent: 128.0ms, 9.0% of total-time
Operation ival-sub, time spent: 98.0ms, 7.0% of total-time
Operation ival-add, time spent: 76.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 55.0ms, 4.0% of total-time
Operation ival-exp, time spent: 41.0ms, 3.0% of total-time
Operation ival-neg, time spent: 40.0ms, 3.0% of total-time
Operation const, time spent: 27.0ms, 2.0% of total-time
Operation ival-cos, time spent: 12.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 9.0ms, 1.0% of total-time

end4.0ms (0%)

Profiling

Loading profile data...