Date:Thursday, July 6th, 2023
Commit:b6e17b25 on asinh-taylor-bug
Hostname:nightly with Racket 8.6
Seed:2023187
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: 1.1min)

eval15.8s (23.3%)

Compiler

Compiled 885946 to 515584 computations (41.8% saved)

sample12.9s (19%)

Results
9.9s70184×body256valid
2.2s4120×body2048valid
376.0ms2119×body256invalid
367.0ms2753×body256infinite
Bogosity

prune10.3s (15.1%)

Counts
20519 → 391
Compiler

Compiled 14636 to 9860 computations (32.6% saved)

simplify8.1s (12%)

Algorithm
82×egg-herbie
Rules
45602×associate-*r*
41884×associate-/l*
40854×*-commutative
39258×associate-*l*
39048×associate-+r+
Stop Event
15×saturated
4×done
5×fuel
67×node limit
Counts
9997 → 12921
Compiler

Compiled 2815 to 1715 computations (39.1% saved)

rewrite6.4s (9.4%)

Algorithm
64×batch-egg-rewrite
Rules
44388×add-sqr-sqrt
43604×*-un-lft-identity
40978×add-cube-cbrt
40626×add-cbrt-cube
27288×add-exp-log
Stop Event
64×node limit
Counts
124 → 7432

regimes4.4s (6.5%)

Counts
672 → 119
Calls

23 calls:

891.0ms
c
886.0ms
a
622.0ms
b
412.0ms
x
258.0ms
z
Compiler

Compiled 14022 to 7580 computations (45.9% saved)

soundness2.6s (3.8%)

Algorithm
15×egg-herbie
Rules
11096×associate-*r*
10742×associate-/r*
9500×associate-*l*
8484×associate-+r+
8058×*-commutative
Stop Event
3×saturated
12×node limit
Compiler

Compiled 1557 to 932 computations (40.1% saved)

localize2.5s (3.7%)

Compiler

Compiled 5786 to 3115 computations (46.2% saved)

analyze1.4s (2.1%)

Algorithm
9×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%94.4%0.1%0%5.6%0%2
6.3%5.6%83.2%0.1%0%11.1%0%3
18.3%15.3%68%0.1%2.8%13.9%0%4
26.7%21.5%59%0.1%4.2%15.3%0%5
33.8%26.7%52.4%0.1%4.9%16%0%6
46.4%35.7%41.3%0.1%5.2%17.7%0%7
52.1%39.9%36.8%0.1%5.4%17.9%0%8
59.4%45.1%30.8%0.1%5.6%18.5%0%9
67.1%50.1%24.6%0.1%5.7%19.6%0%10
72.1%53.5%20.7%0.1%5.9%19.8%0%11
76.6%56.1%17.2%0.1%6.4%20.3%0%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

bsearch1.2s (1.7%)

Algorithm
56×binary-search
18×left-value
Results
940.0ms6928×body256valid
97.0ms658×body256invalid
21.0ms193×body256infinite
Compiler

Compiled 15870 to 11127 computations (29.9% saved)

end981.0ms (1.4%)

Compiler

Compiled 2731 to 1523 computations (44.2% saved)

series773.0ms (1.1%)

Counts
124 → 2556
Calls

825 calls:

TimeVariablePointExpression
56.0ms
x
@0
(expm1.f64 (neg.f64 (log.f64 x)))
54.0ms
x
@-inf
(log.f64 (expm1.f64 (neg.f64 (log.f64 x))))
48.0ms
a
@inf
(*.f64 c (/.f64 -2 (+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 c (*.f64 a -4)))))))
24.0ms
y
@inf
(*.f64 (/.f64 x y) z)
22.0ms
c
@inf
(pow.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))) 1/4)

preprocess623.0ms (0.9%)

Algorithm
18×egg-herbie
Rules
4834×associate-/r*
4092×associate-/l*
3528×fma-def
3160×associate-*l*
2760×*-commutative
Stop Event
1×unsound
13×saturated
4×node limit
Compiler

Compiled 169 to 118 computations (30.2% saved)

Profiling

Loading profile data...