Date:Thursday, October 27th, 2022
Commit:20216197 on main
Hostname:warfa with Racket 8.6
Seed:2022300
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.1min)

sample9.7min (37.3%)

Results
2.8min16310×body8192exit
1.7min69710×body1024valid
1.3min8723×body4096valid
1.1min294628×body256valid
49.5s14594×body2048valid
38.5s1649×body8192valid
24.6s35015×body512valid
18.4s59681×body256invalid
14.8s8109×body1024invalid
9.0s895×body4096invalid
8.5s2458×body2048invalid
4.2s4337×body512invalid
981.0ms42×body8192invalid

regimes5.8min (22.2%)

Counts
24252 → 1055
Calls

143 calls:

17.9s
(-.f64 lambda1 lambda2)
17.4s
a
16.2s
phi2
16.0s
b
15.8s
F
Results
Compiler

Compiled 668695 to 355020 computations (46.9% saved)

bsearch3.3min (12.7%)

Algorithm
528×binary-search
77×left-value
Results
Compiler

Compiled 84011 to 59456 computations (29.2% saved)

eval1.9min (7.4%)

Compiler

Compiled 5212063 to 2996062 computations (42.5% saved)

simplify1.4min (5.5%)

Algorithm
753×egg-herbie
Rules
266855×fma-def_binary64
173196×associate-*l*_binary64
154481×associate-*r*_binary64
146734×unswap-sqr_binary64
133628×*-commutative_binary64
Stop Event
2×unsound
205×saturated
6×done
43×fuel
546×node limit
Counts
101187 → 84275
Compiler

Compiled 22062 to 13835 computations (37.3% saved)

rewrite58.1s (3.7%)

Algorithm
653×batch-egg-rewrite
6×egg-rewrite-iter-limit
4×egg-rewrite
Rules
243161×pow1_binary64
228932×expm1-log1p-u_binary64
228899×log1p-expm1-u_binary64
228193×add-log-exp_binary64
205271×add-exp-log_binary64
Stop Event
7×unsound
6×iter limit
650×node limit
Counts
1639 → 64213

analyze47.2s (3%)

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)

prune40.2s (2.6%)

Counts
122715 → 8136
Compiler

Compiled 430816 to 305080 computations (29.2% saved)

localize39.3s (2.5%)

Compiler

Compiled 83971 to 42173 computations (49.8% saved)

series20.6s (1.3%)

Counts
1639 → 36923
Calls

10443 calls:

TimeVariablePointExpression
766.0ms
g
@inf
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 (acos.f64 (/.f64 g h)) 1/3 (*.f64 (PI.f64) 2/3))))) (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 (acos.f64 (/.f64 g h)) 1/3 (*.f64 (PI.f64) 2/3))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 (acos.f64 (/.f64 g h)) 1/3 (*.f64 (PI.f64) 2/3)))))))
611.0ms
y-scale
@0
(-.f64 (-.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)) 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)) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.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)) 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)) 2) (pow.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) 2))))
192.0ms
h
@-inf
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 (acos.f64 (/.f64 g h)) 1/3 (*.f64 (PI.f64) 2/3))))) (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 (acos.f64 (/.f64 g h)) 1/3 (*.f64 (PI.f64) 2/3))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 (acos.f64 (/.f64 g h)) 1/3 (*.f64 (PI.f64) 2/3)))))))
147.0ms
lambda2
@inf
(log1p.f64 (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
144.0ms
y-scale
@0
(*.f64 (/.f64 y-scale x-scale) (/.f64 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))))))) (sin.f64 (*.f64 angle (*.f64 (PI.f64) 1/180)))))

soundness14.6s (0.9%)

Algorithm
85×egg-herbie
Rules
41793×fma-def_binary64
24523×times-frac_binary64
23773×distribute-rgt-in_binary64
21611×associate-*r*_binary64
20008×associate-/l*_binary64
Stop Event
7×saturated
78×node limit
Compiler

Compiled 81967 to 57168 computations (30.3% saved)

end9.4s (0.6%)

Compiler

Compiled 23078 to 11501 computations (50.2% saved)

preprocess4.6s (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...