Date:Wednesday, March 9th, 2022
Commit:31c460f2 on inf-ordinary
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: 25.0min)

sample11.7min (46.9%)

Results
2.7min14468×body8192exit
2.6min68898×body1024valid
1.8min7767×body4096valid
1.2min13622×body2048valid
1.1min258333×body128valid
42.3s34300×body512valid
40.6s1175×body8192valid
22.2s37045×body256valid
11.1s7049×body1024invalid
8.5s33024×body128invalid
4.5s5343×body2048invalid
4.1s3945×body512invalid
1.3s2020×body256invalid
6.0ms12×body4096invalid
Compiler

Compiled 5248 to 3645 computations (30.5% saved)

series4.0min (16%)

Counts
453 → 9851
Calls

396 calls:

15.9s
(sqrt.f64 (*.f64 (fma.f64 A (*.f64 C -4) (*.f64 B B)) (*.f64 2 (*.f64 F (+.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))
14.2s
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (fma.f64 A (*.f64 C -4) (*.f64 B B)) (*.f64 2 (*.f64 F (+.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (fma.f64 A (*.f64 C -4) (*.f64 B B)))
12.8s
(sqrt.f64 (*.f64 (fma.f64 A (*.f64 C -4) (*.f64 B B)) (*.f64 2 (*.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))
9.9s
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (fma.f64 A (*.f64 C -4) (*.f64 B B)) (*.f64 2 (*.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (fma.f64 A (*.f64 C -4) (*.f64 B B)))
5.1s
(-.f64 (*.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale)) (*.f64 (*.f64 4 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale)) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)))

analyze3.0min (12%)

Algorithm
53×search
Search
TrueOtherFalseIter
0%79.4%20.6%0
15.5%63.8%20.6%1
21.4%57.6%21%2
28.5%48.4%23%3
32.2%43.6%24.2%4
35.4%39.5%25.1%5
37.3%36.8%25.9%6
39.5%33.8%26.7%7
40.6%32.3%27.2%8
42.3%29.8%27.9%9
43.3%28.5%28.2%10
44.8%26.6%28.6%11
45.7%25.3%29%12
46.8%24%29.2%13
47.2%23.4%29.4%14
Compiler

Compiled 1919 to 1338 computations (30.3% saved)

regimes2.4min (9.7%)

Counts
6840 → 76
Compiler

Compiled 1897933 to 1227600 computations (35.3% saved)

prune2.2min (8.7%)

Counts
39976 → 2001
Compiler

Compiled 2021741 to 1130184 computations (44.1% saved)

simplify1.0min (4%)

Algorithm
263×egg-herbie
Rules
93177×fma-neg_binary64
88565×fma-def_binary64
42732×times-frac_binary64
42352×associate-*l*_binary64
41359×associate-*r*_binary64
Counts
29765 → 27510

end24.2s (1.6%)

Compiler

Compiled 27572 to 17796 computations (35.5% saved)

rewrite10.1s (0.7%)

Algorithm
165×rewrite-expression-head
Rules
14457×*-un-lft-identity_binary64
11540×times-frac_binary64
10877×add-sqr-sqrt_binary64
7356×add-cube-cbrt_binary64
5118×prod-diff_binary64
Counts
453 → 19864
Calls

396 calls:

368.0ms
(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))
275.0ms
(/.f64 (-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 3) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 3)) (+.f64 (*.f64 (/.f64 x (+.f64 x 1)) (/.f64 x (+.f64 x 1))) (+.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))) (*.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))))
198.0ms
(-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 3) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 3))
139.0ms
(*.f64 (sqrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))) (sqrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))))
111.0ms
(sqrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))

localize4.5s (0.3%)

bsearch1.4s (0.1%)

Compiler

Compiled 103 to 77 computations (25.2% saved)

Profiling

Loading profile data...