Date:Thursday, October 15th, 2020
Commit:881b0b5c on simplicity-baseline
Hostname:warfa with Racket 7.8
Seed:2020289
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: 23.1s)

sample7.0s (30.3%)

Algorithm
18×intervals
Results
3.3s70224×body128valid
758.0ms4080×body2048valid
122.0ms1457×body128nan
118.0ms2045×body128invalid
Compiler

Compiled 1697 to 1246 computations (26.6% saved)

series6.9s (30%)

Calls

63 calls:

329.0ms
(exp.f64 (log.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))) b)))
217.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))))))
174.0ms
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
173.0ms
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
172.0ms
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

simplify3.4s (14.7%)

Algorithm
44×egg-herbie

prune2.3s (10%)

Compiler

Compiled 50387 to 27631 computations (45.2% saved)

analyze2.0s (8.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)

rewrite522.0ms (2.3%)

Algorithm
26×rewrite-expression-head
Rules
409×*-un-lft-identity_binary64
343×add-sqr-sqrt_binary64
290×times-frac_binary64
199×add-cube-cbrt_binary64
98×add-sqr-sqrt_binary64_98
87×*-un-lft-identity_binary64_77
76×add-cube-cbrt_binary64_109
72×add-exp-log_binary64
64×pow1_binary64 sqrt-prod_binary64
60×add-cbrt-cube_binary64
56×difference-of-squares_binary64 exp-prod_binary64
52×distribute-lft-out_binary64
51×distribute-lft-out--_binary64
46×associate-*r*_binary64
45×associate-/r*_binary64
41×times-frac_binary64_83
40×add-cbrt-cube_binary64_110 add-log-exp_binary64 add-exp-log_binary64_112
39×pow1_binary64_135
36×add-log-exp_binary64_113
30×add-sqr-sqrt_binary64_435 *-un-lft-identity_binary64_414 sqrt-div_binary64
28×log-pow_binary64 associate-*l*_binary64
27×sqrt-prod_binary64_92
26×associate-*l*_binary64_20
25×flip3--_binary64 flip--_binary64
24×cbrt-prod_binary64_105
23×associate-/r/_binary64
22×exp-prod_binary64_463
21×flip--_binary64_52 flip3--_binary64_81
19×associate-/l*_binary64
18×add-cube-cbrt_binary64_446 sqrt-div_binary64_93
15×add-log-exp_binary64_450 sqrt-pow1_binary64
14×pow1/2_binary64 div-exp_binary64
12×flip3-+_binary64 div-inv_binary64 flip-+_binary64
11×pow-unpow_binary64_488 unpow-prod-down_binary64_490 rem-sqrt-square_binary64
10×pow-prod-down_binary64 prod-exp_binary64 unswap-sqr_binary64 associate-*l/_binary64
9×sqrt-pow1_binary64_94 log-prod_binary64 rem-sqrt-square_binary64_90 associate-*r*_binary64_19 pow1/2_binary64_154 cbrt-prod_binary64 pow-pow_binary64_483
8×pow1_binary64_472 cbrt-div_binary64_106 associate-*l*_binary64_357 cbrt-undiv_binary64 cbrt-unprod_binary64 add-cbrt-cube_binary64_447 pow1/3_binary64_156
7×sub-neg_binary64_70 associate-/l*_binary64_24 add-exp-log_binary64_449
6×associate-/r*_binary64_23 associate-/l/_binary64 exp-sum_binary64 rem-exp-log_binary64_451
5×frac-add_binary64_85 clear-num_binary64 difference-of-squares_binary64_383 associate-*r/_binary64 associate-*l/_binary64_22 frac-2neg_binary64 exp-sum_binary64_457 *-commutative_binary64
4×unswap-sqr_binary64_45 cbrt-unprod_binary64_107 cbrt-undiv_binary64_108 rec-exp_binary64 div-exp_binary64_125 associate-*r*_binary64_356 1-exp_binary64 frac-times_binary64_87 sub-neg_binary64_407 prod-exp_binary64_123 associate-*r/_binary64_21 associate-/l/_binary64_26 div-inv_binary64_74 sqr-pow_binary64_386 distribute-lft-out_binary64_30
3×sub-neg_binary64 flip-+_binary64_51 exp-diff_binary64_459 diff-log_binary64_166 unswap-sqr_binary64_382 difference-of-sqr-1_binary64 prod-exp_binary64_460 sum-log_binary64 pow-to-exp_binary64_480 distribute-lft-out_binary64_367 +-commutative_binary64 unpow-prod-up_binary64_489 flip3-+_binary64_80 pow-exp_binary64_479
2×+-commutative_binary64_9 distribute-lft-out--_binary64_368 *-commutative_binary64_10 diff-log_binary64_503 pow1/3_binary64 distribute-rgt-in_binary64_29 frac-2neg_binary64_88 sum-log_binary64_165 pow-flip_binary64 rem-exp-log_binary64 exp-diff_binary64 distribute-lft-in_binary64_28 inv-pow_binary64 difference-of-squares_binary64_46 pow-prod-down_binary64_145 difference-of-sqr-1_binary64_384 clear-num_binary64_76 log-div_binary64 associate-+r+_binary64_11 frac-times_binary64
1×sqrt-unprod_binary64 diff-log_binary64 *-commutative_binary64_347 rem-log-exp_binary64 distribute-lft-out--_binary64_31 sub-div_binary64_84 div-sub_binary64 distribute-rgt-in_binary64 pow-sub_binary64_487 frac-sub_binary64_86 div-sub_binary64_82 un-div-inv_binary64 sum-log_binary64_502 associate-*r/_binary64_358 distribute-lft-in_binary64 cbrt-unprod_binary64_444
Calls

63 calls:

19.0ms
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
15.0ms
(/.f64 1 (/.f64 (-.f64 n f) (+.f64 f n)))
15.0ms
(*.f64 (+.f64 f n) (/.f64 1 (-.f64 n f)))
12.0ms
(*.f64 (*.f64 (sqrt.f64 (-.f64 x 1)) (fabs.f64 (cbrt.f64 x))) (sqrt.f64 (cbrt.f64 x)))
12.0ms
(log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))

regimes403.0ms (1.7%)

Compiler

Compiled 2652 to 1909 computations (28% saved)

localize364.0ms (1.6%)

Compiler

Compiled 6120 to 10200 computations (-66.7% saved)

bsearch189.0ms (0.8%)

Compiler

Compiled 2 to 6 computations (-200% saved)

end0.0ms (0%)

Profiling

Loading profile data...