Date:Monday, May 1st, 2023
Commit:e093b807 on main
Hostname:nightly with Racket 8.6
Seed:2023121
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: 44.4min)

regimes11.4min (25.7%)

Counts
42904 → 7313
Calls

495 calls:

1.8min
y
1.7min
x
1.6min
z
1.3min
t
1.1min
a
Results
Compiler

Compiled 539716 to 286132 computations (47% saved)

sample7.8min (17.7%)

Results
4.9min2132971×body256valid
1.3min337664×body256infinite
29.9s50503×body1024valid
28.6s136035×body256invalid
14.3s35012×body512valid
7.6s10280×body2048valid
4.0s9186×body1024infinite
2.4s1491×body8192exit
1.7s5523×body512infinite
602.0ms354×body4096valid
299.0ms723×body1024invalid
206.0ms607×body512invalid
1.0ms1×body2048infinite
Bogosity

simplify6.1min (13.7%)

Algorithm
3359×egg-herbie
Rules
1797806×associate-*r*
1691174×associate-/l*
1597742×*-commutative
1578394×associate-*l*
1500934×distribute-lft-in
Stop Event
62×done
6×unsound
437×saturated
207×fuel
2916×node limit
Counts
503427 → 560504
Compiler

Compiled 83160 to 48410 computations (41.8% saved)

eval5.0min (11.2%)

Compiler

Compiled 16804496 to 7929593 computations (52.8% saved)

rewrite4.3min (9.8%)

Algorithm
2820×batch-egg-rewrite
3×egg-rewrite-iter-limit
2×egg-rewrite
Rules
2147202×add-sqr-sqrt
2115678×*-un-lft-identity
1980952×add-cube-cbrt
1950880×add-cbrt-cube
1113342×add-exp-log
Stop Event
3×unsound
3×iter limit
2819×node limit
Counts
5967 → 341346

prune3.6min (8.1%)

Counts
640161 → 15698
Compiler

Compiled 405562 to 286831 computations (29.3% saved)

bsearch2.0min (4.5%)

Algorithm
4822×binary-search
456×left-value
Stop Event
4722×narrow-enough
4×predicate-failed
96×predicate-same
Results
1.6min582188×body256valid
5.5s30431×body256infinite
3.5s5741×body1024valid
2.7s7199×body512valid
1.8s13268×body256invalid
153.0ms322×body2048valid
5.0ms15×body512infinite
3.0ms14×body512invalid
2.0ms3×body1024infinite
0.0ms1×body1024invalid
Compiler

Compiled 1100089 to 802249 computations (27.1% saved)

analyze1.1min (2.5%)

Algorithm
270×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.7%0.1%0%0.2%0%2
5.7%5.6%93.3%0.1%0.2%0.7%0%3
8.5%8.3%89.2%0.1%1.2%1.2%0%4
16.6%16.1%80.8%0.1%1.6%1.4%0%5
21.4%20.4%74.8%0.1%2.7%2%0%6
30.2%28.1%64.9%0.1%4%2.8%0%7
35.6%32.7%59.4%0.1%4.5%3.3%0%8
41.9%38%52.7%0.1%5.4%3.7%0%9
47.4%42.3%46.9%0.1%6.4%4.3%0%10
52.3%46.1%42%0.1%7.1%4.6%0%11
56.4%49.2%38.1%0.1%7.7%4.9%0%12
Compiler

Compiled 4021 to 2770 computations (31.1% saved)

localize57.7s (2.2%)

Compiler

Compiled 127872 to 58031 computations (54.6% saved)

soundness46.0s (1.7%)

Algorithm
360×egg-herbie
Rules
188936×fma-def
160552×*-commutative
159066×associate-*r*
148778×associate-/l*
148772×+-commutative
Stop Event
117×saturated
1×unsound
242×node limit
Compiler

Compiled 35140 to 18408 computations (47.6% saved)

end33.0s (1.2%)

Compiler

Compiled 80893 to 37101 computations (54.1% saved)

series28.6s (1.1%)

Counts
5967 → 161811
Calls

41670 calls:

TimeVariablePointExpression
318.0ms
y
@-inf
(/.f64 y (/.f64 a (-.f64 t x)))
287.0ms
z
@0
(/.f64 a (+.f64 1 (-.f64 t z)))
244.0ms
x
@0
(*.f64 x (log.f64 y))
227.0ms
a
@0
(/.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 z 15234687407/1000000000) z 314690115749/10000000000) z 119400905721/10000000000) z 607771387771/1000000000000) (fma.f64 (fma.f64 (fma.f64 (fma.f64 z 313060547623/100000000000 55833770631/5000000000) z t) z a) z b))
189.0ms
y
@inf
(log.f64 (pow.f64 (cbrt.f64 (/.f64 x y)) 2))

preprocess18.4s (0.7%)

Algorithm
540×egg-herbie
Rules
183176×fma-def
105626×*-commutative
101564×+-commutative
95266×distribute-lft-in
86488×associate-+l-
Stop Event
59×unsound
353×saturated
128×node limit
Compiler

Compiled 4571 to 3320 computations (27.4% saved)

Profiling

Loading profile data...