Date:Tuesday, November 9th, 2021
Commit:73345388 on master
Hostname:warfa with Racket 8.1
Seed:2021313
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: 27.2min)

series7.6min (28.1%)

Counts
1864 → 53186
Calls

1687 calls:

32.5s
(*.f64 (cbrt.f64 (fma.f64 (/.f64 (-.f64 y z) (-.f64 (+.f64 t 1) z)) (-.f64 a x) x)) (cbrt.f64 (fma.f64 (/.f64 (-.f64 y z) (-.f64 (+.f64 t 1) z)) (-.f64 a x) x)))
25.2s
(*.f64 (cbrt.f64 (fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))) (cbrt.f64 (fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))))
12.4s
(cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))))
12.3s
(*.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))
10.1s
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))

sample5.5min (20.4%)

Algorithm
539×intervals
Results
1.6min2107081×body128valid
31.9s292106×body128invalid
24.0s50810×body1024valid
9.4s34554×body512valid
8.6s90751×body128nan
6.8s10247×body2048valid
3.1s18063×body256valid
3.0s9088×body1024invalid
1.1s5516×body512invalid
920.0ms365×body4096valid
386.0ms3087×body256invalid
279.0ms1260×body1024nan
147.0ms899×body512nan
57.0ms526×body256nan
53.0ms827×body128overflowed
0.0ms2×body2048nan
Compiler

Compiled 59571 to 36606 computations (38.6% saved)

regimes4.4min (16%)

Counts
19141 → 378
Compiler

Compiled 4068102 to 2557278 computations (37.1% saved)

prune3.8min (14.1%)

Counts
182402 → 5650
Compiler

Compiled 9217522 to 4215596 computations (54.3% saved)

simplify2.8min (10.2%)

Algorithm
1336×egg-herbie
Rules
439434×fma-def_binary64
354179×fma-neg_binary64
214453×distribute-rgt-in_binary64
200287×times-frac_binary64
178478×associate-*l*_binary64
Counts
144164 → 138636

analyze2.4min (8.8%)

Algorithm
270×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
2.2%97.6%0.1%1
4.3%95.4%0.3%2
10.5%88.3%1.3%3
15.4%81.8%2.8%4
23.4%72.8%3.7%5
29.2%65.4%5.4%6
36.4%56.3%7.3%7
40.6%51%8.4%8
45.6%44.6%9.8%9
49.5%39.2%11.4%10
52.9%34.9%12.2%11
55.6%31.3%13%12
58.6%27.3%14.1%13
60.5%25.1%14.4%14
Compiler

Compiled 4021 to 2770 computations (31.1% saved)

rewrite29.3s (1.8%)

Algorithm
797×rewrite-expression-head
Rules
68318×times-frac_binary64
58438×*-un-lft-identity_binary64
55812×add-sqr-sqrt_binary64
39612×add-cube-cbrt_binary64
15095×prod-diff_binary64
Counts
1864 → 90708
Calls

1685 calls:

473.0ms
(*.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 1 (sqrt.f64 (+.f64 x 1))))) (/.f64 (sqrt.f64 (sqrt.f64 x)) (/.f64 (sqrt.f64 (+.f64 1 (sqrt.f64 (+.f64 x 1)))) (sqrt.f64 (sqrt.f64 x)))))
229.0ms
(/.f64 (*.f64 (*.f64 y z) (-.f64 (pow.f64 (tanh.f64 (/.f64 t y)) 3) (pow.f64 (tanh.f64 (/.f64 x y)) 3))) (+.f64 (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (+.f64 (*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y))) (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
101.0ms
(*.f64 (*.f64 t (/.f64 1 (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z))))) (-.f64 (/.f64 y (cbrt.f64 (-.f64 a z))) (/.f64 z (cbrt.f64 (-.f64 a z)))))
94.0ms
(-.f64 (/.f64 1 (/.f64 (/.f64 y (-.f64 z x)) (+.f64 z x))) y)
92.0ms
(-.f64 (*.f64 x x) y)

localize8.3s (0.5%)

bsearch1.4s (0.1%)

Compiler

Compiled 717 to 480 computations (33.1% saved)

end1.0s (0.1%)

Compiler

Compiled 11699 to 6440 computations (45% saved)

Profiling

Loading profile data...