Date:Wednesday, March 9th, 2022
Commit:888bede2 on demo-preconditions
Hostname:warfa with Racket 8.1
Seed:2022068
Parameters:256 points for 4 iterations
Flags:
precision:fallbackreduce: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: 9.0min)

sample2.6min (29.1%)

Results
58.7s374724×body128valid
54.1s8014×body8192exit
12.4s19319×body1024valid
10.7s14694×body1024invalid
4.0s10336×body512valid
3.3s21076×body128invalid
2.9s6565×body512invalid
1.6s2157×body2048valid
1.4s5229×body256valid
934.0ms3091×body256invalid
695.0ms1035×body4096valid
324.0ms223×body2048invalid
Compiler

Compiled 4243 to 2621 computations (38.2% saved)

series2.0min (22.8%)

Counts
355 → 7652
Calls

342 calls:

1.0min
(-.f64 1 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3))
10.9s
(log.f64 (/.f64 (exp.f64 1) (exp.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3))))
2.9s
(/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta))) (*.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))
2.9s
(*.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 i 2 (+.f64 alpha beta))) (/.f64 (/.f64 (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1)))
2.7s
(*.f64 (*.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 i 2 (+.f64 alpha beta))) (/.f64 (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))) (/.f64 1 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1)))

prune1.8min (20.6%)

Counts
32235 → 1004
Compiler

Compiled 7008868 to 5137958 computations (26.7% saved)

simplify56.1s (10.4%)

Algorithm
241×egg-herbie
Rules
67202×fma-def_binary64
57857×fma-neg_binary64
37189×times-frac_binary64
36824×associate-*l*_binary64
35378×distribute-rgt-in_binary64
Counts
30849 → 32718

regimes37.9s (7.1%)

Counts
4746 → 62
Compiler

Compiled 764677 to 514104 computations (32.8% saved)

analyze25.6s (4.8%)

Algorithm
51×search
Search
TrueOtherFalseIter
0%87.4%12.6%0
2%85.4%12.6%1
8.7%76.5%14.8%2
21.2%63.5%15.3%3
25.4%57.5%17.1%4
34.9%47.4%17.7%5
38.3%42.2%19.5%6
42.7%34.6%22.7%7
46.2%30.4%23.4%8
49.4%26.2%24.5%9
51.9%22.6%25.6%10
54%19.6%26.4%11
55.9%17.2%26.9%12
57.8%14.4%27.8%13
58.9%13.1%28.1%14
Compiler

Compiled 1515 to 960 computations (36.6% saved)

rewrite18.7s (3.5%)

Algorithm
142×rewrite-expression-head
Rules
20162×*-un-lft-identity_binary64
13062×frac-times_binary64
12093×distribute-lft-in_binary64
12093×distribute-rgt-in_binary64
10758×times-frac_binary64
Counts
355 → 23147
Calls

342 calls:

2.0s
(*.f64 (*.f64 2 1789971/10000000000) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))
524.0ms
(*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))))))
412.0ms
(*.f64 (*.f64 (sqrt.f64 (+.f64 (-.f64 1 z) 13/2)) (exp.f64 (+.f64 (-.f64 1 z) 13/2))) (*.f64 (+.f64 (-.f64 1 z) 7) (*.f64 (+.f64 (-.f64 1 z) 6) (*.f64 (+.f64 (-.f64 1 z) 5) (*.f64 (+.f64 (-.f64 1 z) 4) (-.f64 (+.f64 (+.f64 479507597606835099/10000000000000000 (fma.f64 z 904338909853211/2500000000000 (*.f64 (*.f64 z z) 2076511864126339/4000000000000))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))) (/.f64 -883075145810703/5000000000000 (+.f64 (-.f64 1 z) 3))))))))
146.0ms
(*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (+.f64 (-.f64 (-.f64 1 z) 1) 1/2))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 479507597606835099/10000000000000000 (fma.f64 z 904338909853211/2500000000000 (*.f64 2076511864126339/4000000000000 (*.f64 z z)))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 3))) (/.f64 -883075145810703/5000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 4))) (/.f64 2501468655737381/200000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 5))) (/.f64 -3464277381643003/25000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 6))) (/.f64 2496092394504893/250000000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 7))) (/.f64 3764081837873279/25000000000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 8))))
94.0ms
(*.f64 (/.f64 2496092394504893/250000000000000000000 (+.f64 (-.f64 1 z) 6)) (-.f64 (/.f64 2496092394504893/250000000000000000000 (+.f64 (-.f64 1 z) 6)) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 479507597606835099/10000000000000000 (fma.f64 z 904338909853211/2500000000000 (*.f64 (*.f64 z z) 2076511864126339/4000000000000))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 1 z) 2))) (/.f64 -883075145810703/5000000000000 (+.f64 (-.f64 1 z) 3))) (/.f64 2501468655737381/200000000000000 (+.f64 (-.f64 1 z) 4))) (/.f64 -3464277381643003/25000000000000000 (+.f64 (-.f64 1 z) 5)))))

end7.3s (1.4%)

Compiler

Compiled 11102 to 7099 computations (36.1% saved)

localize2.0s (0.4%)

bsearch249.0ms (0%)

Compiler

Compiled 82 to 52 computations (36.6% saved)

Profiling

Loading profile data...