Date:Friday, July 29th, 2022
Commit:f364f272 on change-defaults
Hostname:warfa with Racket 8.5
Seed:2022210
Parameters:256 points for 4 iterations
Flags:
reduce: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: 14.9min)

sample10.5min (70.5%)

Results
2.7min16857×body8192exit
2.0min69978×body1024valid
1.4min8872×body4096valid
54.2s14608×body2048valid
41.2s218412×body64valid
36.3s34838×body512valid
36.2s1643×body8192valid
20.7s37162×body256valid
19.7s7914×body1024invalid
12.6s48251×body64invalid
11.9s38908×body128valid
9.1s2421×body2048invalid
7.8s4527×body512invalid
7.7s847×body4096invalid
2.6s2228×body256invalid
2.6s9222×body128invalid
460.0ms27×body8192invalid

prune2.1min (14.2%)

Counts
34387 → 2429
Compiler

Compiled 1812857 to 1068293 computations (41.1% saved)

analyze42.5s (4.7%)

Algorithm
53×search
Search
TrueOtherFalseIter
0%79.4%20.6%0
1.9%77.5%20.6%1
4%75%21%2
9.8%67.2%23%3
15.3%59.4%25.3%4
19.7%53.7%26.6%5
23.1%48.7%28.2%6
24.7%45.9%29.4%7
26.3%43.5%30.2%8
28.6%40.1%31.4%9
29.4%38.8%31.8%10
31%36.7%32.2%11
32.6%34.7%32.7%12
Compiler

Compiled 1919 to 1338 computations (30.3% saved)

bsearch35.3s (3.9%)

Algorithm
46×binary-search
8×left-value
Calls

11 calls:

15.9s
x-scale
10.7s
B
5.7s
y-scale
2.3s
b
309.0ms
A
Compiler

Compiled 7294 to 5247 computations (28.1% saved)

simplify21.7s (2.4%)

Algorithm
282×egg-herbie
Rules
101010×fma-def_binary64
58827×associate-*l*_binary64
57251×fma-neg_binary64
53998×unswap-sqr_binary64
50440×associate-*r*_binary64
Stop Event
88×saturated
194×node limit
Counts
28827 → 24709

rewrite13.1s (1.5%)

Algorithm
180×batch-egg-rewrite
4×egg-rewrite-iter-limit
2×egg-rewrite
Rules
59524×pow1_binary64
58349×log-prod_binary64
56001×add-log-exp_binary64
55970×expm1-log1p-u_binary64
55957×log1p-expm1-u_binary64
Stop Event
5×unsound
4×iter limit
177×node limit
Counts
499 → 18749

regimes10.2s (1.1%)

Counts
1203 → 105
Compiler

Compiled 52192 to 30088 computations (42.4% saved)

series6.2s (0.7%)

Counts
499 → 10027
Calls

2817 calls:

TimeVariablePointExpression
590.0ms
b
@0
(*.f64 (/.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 a (*.f64 (neg.f64 a) (*.f64 b b)))) (/.f64 (sqrt.f64 (*.f64 (/.f64 (*.f64 8 (*.f64 (*.f64 b (*.f64 a (*.f64 b a))) (*.f64 b (*.f64 a (*.f64 b a))))) (pow.f64 (*.f64 x-scale y-scale) 2)) (+.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 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 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 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 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 (/.f64 x-scale (-.f64 (*.f64 b b) (*.f64 a a)))) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (/.f64 y-scale (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))))))))))) -4))
110.0ms
c
@0
(-.f64 (exp.f64 (log1p.f64 (*.f64 (*.f64 (pow.f64 c 4) (pow.f64 b -6)) 81/64))) 1)
101.0ms
C
@0
(log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (/.f64 180 (PI.f64))) (atan.f64 (/.f64 (-.f64 C (+.f64 A (hypot.f64 (-.f64 C A) B))) B)))) (cbrt.f64 (pow.f64 (exp.f64 (/.f64 180 (PI.f64))) (atan.f64 (/.f64 (-.f64 C (+.f64 A (hypot.f64 (-.f64 C A) B))) B))))))
81.0ms
C
@0
(pow.f64 (pow.f64 (exp.f64 (sqrt.f64 (/.f64 180 (PI.f64)))) (sqrt.f64 (/.f64 180 (PI.f64)))) (atan.f64 (/.f64 (-.f64 C (+.f64 A (hypot.f64 (-.f64 C A) B))) B)))
68.0ms
C
@-inf
(log.f64 (cbrt.f64 (pow.f64 (exp.f64 (/.f64 180 (PI.f64))) (atan.f64 (/.f64 (-.f64 C (+.f64 A (hypot.f64 (-.f64 C A) B))) B)))))

preprocess3.3s (0.4%)

Algorithm
102×egg-herbie
Rules
26099×fma-def_binary64
14829×fma-neg_binary64
10258×div-sub_binary64
8982×distribute-rgt-in_binary64
8712×sub-neg_binary64
Stop Event
57×saturated
9×unsound
36×node limit
Compiler

Compiled 1622 to 1110 computations (31.6% saved)

localize3.2s (0.4%)

end1.8s (0.2%)

Stop Event
13×done
38×fuel
Compiler

Compiled 7682 to 5024 computations (34.6% saved)

Profiling

Loading profile data...