Date:Friday, October 21st, 2022
Commit:8c291771 on svg-pareto-plots
Hostname:warfa with Racket 8.5
Seed:2022294
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: 26.4min)

sample9.7min (36.8%)

Results
2.7min16703×body8192exit
1.7min70062×body1024valid
1.3min8638×body4096valid
1.2min294515×body256valid
49.4s14819×body2048valid
37.0s1564×body8192valid
24.6s34734×body512valid
18.2s60014×body256invalid
14.0s7782×body1024invalid
9.0s2463×body2048invalid
8.9s931×body4096invalid
4.8s4540×body512invalid
705.0ms39×body8192invalid

regimes6.7min (25.2%)

Counts
25879 → 1009
Calls

143 calls:

22.1s
(-.f64 lambda1 lambda2)
20.9s
(/.f64 angle 180)
20.0s
lambda1
18.0s
b
17.2s
phi2
Results
Compiler

Compiled 696212 to 381994 computations (45.1% saved)

bsearch2.6min (9.7%)

Algorithm
443×binary-search
110×left-value
Results
Compiler

Compiled 45818 to 32955 computations (28.1% saved)

eval2.0min (7.6%)

Compiler

Compiled 5387488 to 3080357 computations (42.8% saved)

simplify1.5min (5.6%)

Algorithm
744×egg-herbie
Rules
262994×fma-def_binary64
182808×associate-*l*_binary64
159821×associate-*r*_binary64
151186×unswap-sqr_binary64
131530×*-commutative_binary64
Stop Event
1×unsound
192×saturated
5×done
44×fuel
551×node limit
Counts
102617 → 84726
Compiler

Compiled 16873 to 10287 computations (39% saved)

rewrite59.5s (3.8%)

Algorithm
644×batch-egg-rewrite
6×egg-rewrite-iter-limit
4×egg-rewrite
Rules
228158×pow1_binary64
214244×add-log-exp_binary64
214148×expm1-log1p-u_binary64
214111×log1p-expm1-u_binary64
204022×log-prod_binary64
Stop Event
7×unsound
6×iter limit
641×node limit
Counts
1644 → 65100

analyze49.8s (3.1%)

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)

prune43.2s (2.7%)

Counts
124010 → 8546
Compiler

Compiled 456171 to 323815 computations (29% saved)

localize41.4s (2.6%)

Compiler

Compiled 83715 to 42051 computations (49.8% saved)

series19.5s (1.2%)

Counts
1644 → 37466
Calls

10530 calls:

TimeVariablePointExpression
258.0ms
theta
@-inf
(log.f64 (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (fma.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))))
227.0ms
b
@0
(pow.f64 (cbrt.f64 (E.f64)) (log.f64 (*.f64 b (*.f64 (sqrt.f64 8) y-scale))))
158.0ms
phi1
@inf
(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (expm1.f64 (-.f64 (log1p.f64 (cos.f64 lambda2)) (*.f64 lambda1 (tan.f64 (*.f64 lambda2 -1/2)))))))
153.0ms
phi1
@inf
(log.f64 (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (fma.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))))
122.0ms
a
@inf
(-.f64 (sqrt.f64 (fma.f64 b b (*.f64 c (*.f64 a -3)))) b)

soundness12.1s (0.8%)

Algorithm
87×egg-herbie
Rules
40859×fma-def_binary64
24525×distribute-rgt-in_binary64
21502×associate-*r*_binary64
20534×times-frac_binary64
18687×associate-*l*_binary64
Stop Event
15×saturated
72×node limit
Compiler

Compiled 64383 to 44862 computations (30.3% saved)

end7.6s (0.5%)

Compiler

Compiled 17030 to 7772 computations (54.4% saved)

preprocess4.8s (0.3%)

Algorithm
102×egg-herbie
Rules
26100×fma-def_binary64
14723×fma-neg_binary64
9914×div-sub_binary64
8737×distribute-rgt-in_binary64
8329×sub-neg_binary64
Stop Event
57×saturated
9×unsound
36×node limit
Compiler

Compiled 1762 to 1250 computations (29.1% saved)

Profiling

Loading profile data...