Date:Monday, May 30th, 2022
Commit:7412e954 on taylor-nroot
Hostname:warfa with Racket 8.1
Seed:2022150
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: 18.6min)

sample9.5min (51.1%)

Results
2.5min16460×body8192exit
1.8min69795×body1024valid
1.3min8787×body4096valid
47.8s14784×body2048valid
47.3s257208×body128valid
34.4s1593×body8192valid
27.8s34777×body512valid
24.8s12683×body1024invalid
14.3s37320×body256valid
10.4s43192×body128invalid
8.2s6731×body512invalid
7.8s2392×body2048invalid
7.4s860×body4096invalid
2.6s3479×body256invalid
482.0ms25×body8192invalid
Compiler

Compiled 5436 to 3769 computations (30.7% saved)

series4.0min (21.4%)

Counts
507 → 10232
Calls

428 calls:

34.2s
(/.f64 (-.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)) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (/.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)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 2 y-scale) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a))) (/.f64 x-scale (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))))))))) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) y-scale))
17.3s
(-.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)) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (/.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)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 2 y-scale) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a))) (/.f64 x-scale (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))))))
4.6s
(sqrt.f64 (*.f64 2 (*.f64 (*.f64 (fma.f64 B B (*.f64 A (*.f64 C -4))) F) (+.f64 C (+.f64 A (hypot.f64 B (-.f64 A C)))))))
4.5s
(sqrt.f64 (*.f64 (*.f64 (fma.f64 B B (*.f64 C (*.f64 A -4))) F) (*.f64 2 (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C)))))))
3.9s
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 (fma.f64 B B (*.f64 A (*.f64 C -4))) F) (+.f64 C (+.f64 A (hypot.f64 B (-.f64 A C)))))))) (fma.f64 B B (*.f64 A (*.f64 C -4))))

analyze2.3min (12.5%)

Algorithm
53×search
Search
TrueOtherFalseIter
0%79.4%20.6%0
1.9%77.5%20.6%1
4.9%74.1%21%2
12.1%64.8%23%3
17.2%57.5%25.3%4
21.8%51.6%26.6%5
25.1%46.7%28.2%6
27%43.6%29.4%7
28.3%41.5%30.2%8
30.8%37.8%31.3%9
31.6%36.7%31.7%10
33%34.8%32.2%11
34.5%32.8%32.7%12
35.6%31.4%33.1%13
36.3%30.4%33.3%14
Compiler

Compiled 1919 to 1338 computations (30.3% saved)

prune1.1min (6.1%)

Counts
30859 → 2313
Compiler

Compiled 2060304 to 1254994 computations (39.1% saved)

regimes55.3s (5%)

Counts
4933 → 75
Compiler

Compiled 1375024 to 946795 computations (31.1% saved)

simplify14.6s (1.3%)

Algorithm
273×egg-herbie
Rules
69980×fma-def_binary64
61923×fma-neg_binary64
42444×associate-*l*_binary64
38777×times-frac_binary64
37936×cancel-sign-sub-inv_binary64
Stop Event
186×node limit
87×saturated
Counts
26359 → 22242

end14.3s (1.3%)

Compiler

Compiled 26031 to 17985 computations (30.9% saved)

rewrite9.0s (0.8%)

Algorithm
174×batch-egg-rewrite
11×egg-rewrite
Rules
51709×expm1-log1p-u_binary64
51693×log1p-expm1-u_binary64
34462×prod-diff_binary64
23512×add-log-exp_binary64
23050×pow1_binary64
Stop Event
8×unsound
171×node limit
6×iter limit
Counts
507 → 16076
Calls

428 calls:

240.0ms
(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))
222.0ms
(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
222.0ms
(cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
210.0ms
(*.f64 (pow.f64 c 4) (pow.f64 a 4))
207.0ms
(*.f64 (pow.f64 c 2) (pow.f64 a 2))

localize3.1s (0.3%)

bsearch3.0s (0.3%)

Compiler

Compiled 143 to 107 computations (25.2% saved)

Profiling

Loading profile data...