Date:Saturday, February 13th, 2021
Commit:f81940a2 on master
Hostname:warfa with Racket 7.9
Seed:2021044
Parameters:256 points for 4 iterations
Flags:
setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:fallback
default

Details

Time bar (total: 4.9s)

sample2.4s (49%)

Algorithm
intervals
Results
588.0ms7521×body1024valid
551.0ms4744×body2048valid
174.0ms3226×body512valid
154.0ms7924×body128valid
47.0ms1338×body256valid
2.0ms15×body4096valid
0.0msbody128invalid
Compiler

Compiled 172 to 153 computations (11% saved)

analyze1.6s (32.4%)

Algorithm
search
egg-herbie
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
41.6%58.3%0.1%3
45.8%45.8%8.4%4
52.1%39.5%8.4%5
56.2%35.4%8.4%6
61.4%30.2%8.4%7
65.1%26.5%8.4%8
69.2%22.4%8.4%9
74.6%17%8.4%10
77%14.6%8.4%11
79.6%12%8.4%12
82.6%9%8.4%13
84.8%6.8%8.4%14
Compiler

Compiled 28 to 23 computations (17.9% saved)

simplify651.0ms (13.4%)

Algorithm
10×egg-herbie
Counts
32 → 32
Compiler

Compiled 22 to 16 computations (27.3% saved)

regimes117.0ms (2.4%)

Compiler

Compiled 356 to 312 computations (12.4% saved)

series47.0ms (1%)

Counts
1 → 6
Calls

1 calls:

41.0ms
(*.f64 x (+.f64 x 2))
Compiler

Compiled 81 to 67 computations (17.3% saved)

prune42.0ms (0.9%)

Counts
40 → 8
Compiler

Compiled 274 to 183 computations (33.2% saved)

rewrite36.0ms (0.7%)

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt_binary64 *-un-lft-identity_binary64
associate-*r*_binary64
pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-cube-cbrt_binary64 associate-*l*_binary64
associate-*r/_binary64
pow-prod-down_binary64 prod-exp_binary64 add-log-exp_binary64 cbrt-unprod_binary64 unswap-sqr_binary64 distribute-rgt-in_binary64 distribute-lft-in_binary64 flip3-+_binary64 flip-+_binary64 distribute-lft-out_binary64 *-commutative_binary64
Counts
1 → 23
Calls

1 calls:

8.0ms
(*.f64 x (+.f64 x 2))
Compiler

Compiled 249 to 166 computations (33.3% saved)

localize11.0ms (0.2%)

bsearch0.0ms (0%)

end0.0ms (0%)

Profiling

Loading profile data...