Date:Tuesday, August 18th, 2020
Commit:e43305aa on cleanup
Hostname:warfa with Racket 7.5
Seed:2020231
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:doubleprecision:fallback
default

Details

Time bar (total: 5.0s)

sample2.4s (48.2%)

Algorithm
intervals
Results
740.0ms7542×body1280valid
416.0ms2936×body2560valid
315.0ms4341×body640valid
123.0ms7312×body80valid
94.0ms1820×body320valid
29.0ms817×body160valid
Compiler

Compiled 102 to 100 computations (2% saved)

simplify2.1s (42.4%)

Algorithm
10×egg-herbie

analyze348.0ms (6.9%)

Algorithm
search
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)

prune57.0ms (1.1%)

Compiler

Compiled 430 to 282 computations (34.4% saved)

series21.0ms (0.4%)

Calls

2 calls:

14.0ms
(*.f64 x (+.f64 x 2))
6.0ms
(+.f64 (*.f64 x x) (+.f64 x x))

rewrite20.0ms (0.4%)

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity_binary64
add-log-exp_binary64
add-sqr-sqrt_binary64
pow1_binary64 associate-*r*_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 distribute-rgt-out_binary64 add-cube-cbrt_binary64
sum-log_binary64 associate-*l*_binary64
flip3-+_binary64 distribute-lft-out_binary64 associate-*r/_binary64 flip-+_binary64
pow-prod-down_binary64 count-2_binary64 distribute-rgt1-in_binary64 prod-exp_binary64 associate-+r+_binary64 distribute-lft1-in_binary64 unswap-sqr_binary64 distribute-rgt-in_binary64 cbrt-unprod_binary64 +-commutative_binary64 distribute-lft-in_binary64 *-commutative_binary64
Calls

2 calls:

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

regimes15.0ms (0.3%)

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize12.0ms (0.2%)

bsearch0.0ms (0%)

end0.0ms (0%)

Profiling

Loading profile data...