Date:Tuesday, October 6th, 2020
Commit:6ae26da3 on simplicity-regimes-only
Hostname:warfa with Racket 7.8
Seed:2020280
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: 25.6s)

series7.5s (29.4%)

Calls

71 calls:

349.0ms
(/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
235.0ms
(-.f64 (neg.f64 b) (*.f64 (fabs.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (sqrt.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
214.0ms
(pow.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 3)
195.0ms
(exp.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3)))
193.0ms
(+.f64 b (*.f64 (fabs.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (sqrt.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))

sample7.2s (27.9%)

Algorithm
18×intervals
Results
3.3s70195×body128valid
751.0ms4109×body2048valid
112.0ms1384×body128nan
110.0ms2073×body128invalid
Compiler

Compiled 1859 to 1337 computations (28.1% saved)

prune3.8s (14.9%)

Compiler

Compiled 85086 to 47844 computations (43.8% saved)

simplify3.6s (14.1%)

Algorithm
43×egg-herbie

analyze1.8s (7%)

Algorithm
9×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
11.1%88.8%0.1%1
11.1%83.3%5.6%2
19.4%69.4%11.2%3
31.9%51.3%16.8%4
35.4%45.1%19.5%5
45.1%34%20.9%6
50.7%26.4%23%7
53.3%23.4%23.3%8
57.6%18.3%24.1%9
59.6%15.1%25.4%10
61.3%12.9%25.8%11
63.2%10%26.8%12
64.2%8.2%27.6%13
64.9%6.9%28.2%14
Compiler

Compiled 144 to 110 computations (23.6% saved)

rewrite752.0ms (2.9%)

Algorithm
25×rewrite-expression-head
Rules
552×*-un-lft-identity_binary64
438×add-sqr-sqrt_binary64
315×times-frac_binary64
285×times-frac_binary64_429
221×add-cube-cbrt_binary64
169×*-un-lft-identity_binary64_423 add-sqr-sqrt_binary64_445
168×add-cube-cbrt_binary64_458
165×exp-prod_binary64
148×cbrt-prod_binary64
144×sqrt-prod_binary64_439
134×add-exp-log_binary64_117
129×add-sqr-sqrt_binary64_101
116×*-un-lft-identity_binary64_79
98×add-cube-cbrt_binary64_114
96×difference-of-squares_binary64
92×unpow-prod-down_binary64 cube-prod_binary64
90×add-cbrt-cube_binary64_115
79×distribute-lft-out--_binary64
76×distribute-lft-out_binary64
73×add-exp-log_binary64
72×add-cbrt-cube_binary64
71×times-frac_binary64_85
64×add-log-exp_binary64 pow1_binary64_140
54×pow1_binary64 prod-exp_binary64_128
50×associate-*l*_binary64_20
49×add-log-exp_binary64_118
43×sqrt-prod_binary64
41×cbrt-unprod_binary64_112
36×associate-*r*_binary64_19
33×flip3--_binary64 log-pow_binary64 flip--_binary64
31×associate-/r*_binary64 log-prod_binary64 cbrt-prod_binary64_110
30×associate-/r/_binary64
29×pow-pow_binary64
28×associate-/l*_binary64_368
27×sqrt-prod_binary64_95
26×cancel-sign-sub-inv_binary64
25×div-exp_binary64_130
21×div-inv_binary64
19×associate-/l*_binary64
18×sqrt-div_binary64_96
17×cbrt-undiv_binary64_113
15×flip--_binary64_54 pow-prod-down_binary64_150 add-cbrt-cube_binary64_459 flip3--_binary64_83 associate-/r*_binary64_367
13×add-log-exp_binary64_462 cbrt-undiv_binary64 difference-of-sqr-1_binary64 div-exp_binary64
12×add-exp-log_binary64_461 sqrt-div_binary64
11×diff-log_binary64 associate-*l/_binary64_22
10×associate-/l/_binary64 associate-*l*_binary64 div-inv_binary64_420
9×pow-unpow_binary64 rem-sqrt-square_binary64_92 sqrt-pow1_binary64_97 unswap-sqr_binary64_47 pow1/2_binary64_159 distribute-lft-out_binary64_30
8×div-inv_binary64_76 exp-prod_binary64_475
7×sub-neg_binary64 prod-exp_binary64 pow1/2_binary64 clear-num_binary64 unpow3_binary64 cube-mult_binary64 sqrt-pow1_binary64 cbrt-unprod_binary64 frac-2neg_binary64 sqr-pow_binary64
6×*-commutative_binary64_10 flip-+_binary64_53 associate-*r*_binary64 1-exp_binary64_123 div-exp_binary64_474 pow1_binary64_484 distribute-rgt-neg-in_binary64 pow1/3_binary64_161 cancel-sign-sub-inv_binary64_45 flip3-+_binary64_82
5×flip3-+_binary64 neg-sub0_binary64 pow1/3_binary64 sum-log_binary64_170 cbrt-div_binary64 neg-log_binary64 rem-sqrt-square_binary64 diff-log_binary64_171 flip-+_binary64 cbrt-undiv_binary64_457
4×+-commutative_binary64_9 associate--l-_binary64 frac-sub_binary64_88 exp-sum_binary64_469 pow-exp_binary64 rem-exp-log_binary64_463 associate-/l*_binary64_24 unswap-sqr_binary64 cbrt-div_binary64_111 rem-cube-cbrt_binary64 associate-*r/_binary64_21 log-div_binary64 sub-neg_binary64_72
3×pow-prod-down_binary64 associate-/r*_binary64_23 pow-to-exp_binary64 rem-cbrt-cube_binary64 rem-log-exp_binary64 rem-exp-log_binary64 clear-num_binary64_422 frac-2neg_binary64_434 cancel-sign-sub-inv_binary64_389
2×frac-add_binary64_87 exp-to-pow_binary64_485 associate-*r/_binary64 sum-log_binary64 cube-div_binary64 difference-of-squares_binary64_392 associate-/l/_binary64_26 associate-*l/_binary64
1×sqrt-unprod_binary64 sub-neg_binary64_416 associate-/l/_binary64_370 associate-+l-_binary64 difference-of-squares_binary64_48 associate--l+_binary64_16 diff-log_binary64_515 distribute-rgt-out_binary64_32 frac-2neg_binary64_90 frac-times_binary64_89 e-exp-1_binary64_468 difference-of-sqr-1_binary64_393 clear-num_binary64_78 +-commutative_binary64 exp-diff_binary64_471 *-commutative_binary64 sub-div_binary64_86
Calls

71 calls:

20.0ms
(exp.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3)))
20.0ms
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
19.0ms
(-.f64 (+.f64 (/.f64 x y) (/.f64 4 y)) (*.f64 (/.f64 x y) z))
18.0ms
(-.f64 (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) b)
17.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))

regimes572.0ms (2.2%)

Compiler

Compiled 3652 to 2651 computations (27.4% saved)

localize328.0ms (1.3%)

Compiler

Compiled 6120 to 10200 computations (-66.7% saved)

bsearch75.0ms (0.3%)

Compiler

Compiled 39 to 29 computations (25.6% saved)

end0.0ms (0%)

Profiling

Loading profile data...