Date:Monday, May 30th, 2022
Commit:8cbd816f on wrap-katex
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: 1.9min)

sample47.0s (40.7%)

Results
15.5s6419×body8192exit
12.0s17058×body1024valid
9.0s79348×body128valid
3.1s6965×body512valid
2.8s5141×body1024invalid
1.0s828×body2048valid
971.0ms3129×body256valid
969.0ms2704×body512invalid
469.0ms2961×body128invalid
332.0ms1388×body256invalid
5.0msbody4096invalid
3.0msbody2048invalid
3.0msbody8192invalid
Compiler

Compiled 550 to 392 computations (28.7% saved)

analyze29.1s (25.2%)

Algorithm
13×search
Search
TrueOtherFalseIter
0%76.9%23.1%0
0%76.9%23.1%1
0%76.9%23.1%2
23.1%53.8%23.1%3
32.7%44.2%23.1%4
38.4%38.4%23.1%5
40.8%35.3%23.8%6
44.6%31.5%24%7
46.2%29.4%24.4%8
48.1%27.4%24.5%9
50.1%25%24.9%10
50.8%24.1%25.1%11
51.5%23.1%25.4%12
52.3%22.2%25.6%13
52.5%21.6%25.9%14
Compiler

Compiled 211 to 152 computations (28% saved)

series13.2s (11.4%)

Counts
132 → 2540
Calls

116 calls:

1.2s
(pow.f64 (*.f64 (cbrt.f64 (*.f64 2 x)) (cbrt.f64 x)) 3/2)
745.0ms
(pow.f64 (*.f64 (cbrt.f64 x) (+.f64 x x)) 1/4)
710.0ms
(pow.f64 (*.f64 (cbrt.f64 x) (+.f64 x x)) 1/2)
533.0ms
(pow.f64 (cbrt.f64 (*.f64 2 (*.f64 x x))) 3/2)
490.0ms
(pow.f64 (cbrt.f64 (pow.f64 l (exp.f64 w))) 3)

regimes11.3s (9.7%)

Counts
1611 → 13
Compiler

Compiled 223001 to 139649 computations (37.4% saved)

prune7.6s (6.6%)

Counts
7821 → 468
Compiler

Compiled 209774 to 82135 computations (60.8% saved)

simplify2.6s (2.2%)

Algorithm
74×egg-herbie
Rules
22459×fma-def_binary64
12063×unswap-sqr_binary64
10292×associate-*l*_binary64
9059×times-frac_binary64
8670×fma-neg_binary64
Stop Event
45×node limit
29×saturated
Counts
7316 → 5995

rewrite2.4s (2.1%)

Algorithm
48×batch-egg-rewrite
Rules
16303×expm1-log1p-u_binary64
14847×log1p-expm1-u_binary64
9304×prod-diff_binary64
6775×log-prod_binary64
6057×log1p-udef_binary64
Stop Event
48×node limit
Counts
132 → 4763
Calls

116 calls:

187.0ms
(*.f64 (sin.f64 b) (sin.f64 a))
124.0ms
(*.f64 (sin.f64 b) r)
124.0ms
(-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))
124.0ms
(/.f64 (*.f64 (sin.f64 b) r) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))
123.0ms
(fma.f64 (cos.f64 b) (cos.f64 a) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a))))

end1.9s (1.7%)

Compiler

Compiled 3273 to 1986 computations (39.3% saved)

localize470.0ms (0.4%)

bsearch18.0ms (0%)

Compiler

Compiled 2 to 1 computations (50% saved)

Profiling

Loading profile data...