Date:Tuesday, June 23rd, 2020
Commit:ce6c70f5 on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020175
Parameters:256 points for 4 iterations
Flags:
setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

prune3.6min (20.4%)

Filtered
88375 candidates to 58889 candidates (33.4%)

analyze3.6min (20.0%)

Algorithm
539×search

sample3.6min (19.9%)

Algorithm
539×intervals
Results
1.2min2098345×body80valid
25.5s288798×body80invalid
19.3s41130×body1280valid
12.2s41599×body640valid
6.3s89128×body80nan
4.4s5609×body2560valid
4.4s22427×body320valid
2.0s6763×body1280invalid
1.5s11973×body160valid
1.3s6594×body640invalid
535.0ms3719×body320invalid
212.0ms2262×body160invalid
181.0ms878×body1280nan
177.0ms1055×body640nan
109.0ms37×body5120valid
79.0ms631×body320nan
43.0ms824×body80overflowed
29.0ms354×body160nan

bsearch2.7min (15.2%)

regimes1.7min (9.7%)

Accuracy

Total 223.8b remaining (40.7%)

Threshold costs 23.2b (4.2%)

13.8b56.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
13.7b25.6%Data.HyperLogLog.Type:size from hyperloglog-0.3.4, A
13.1b-17.6%Linear.Matrix:det44 from linear-1.19.1.3
11.1b53.2%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
10.1b5%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

simplify1.2min (7.0%)

Algorithm
1432×egg-herbie

series50.5s (4.7%)

Calls

2533 calls:

713.0ms
(sqrt (* (- y z) (- t x)))
709.0ms
(sqrt (* (- y z) (- t x)))
236.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
227.0ms
(cbrt (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))))
226.0ms
(/ (- (* (* z (sqrt (+ t a))) (+ b c)) (* t (* (- (* b b) (* c c)) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))) (* t (+ b c)))

rewrite24.0s (2.2%)

Algorithm
893×rewrite-expression-head
Calls

2533 calls:

189.0ms
(cbrt (* (* (cbrt (+ (* 2 (+ x y)) (+ x z))) (cbrt (* (cbrt (+ (* 2 (+ x y)) (+ x z))) (cbrt (+ (* 2 (+ x y)) (+ x z)))))) (cbrt (cbrt (+ (* 2 (+ x y)) (+ x z))))))
179.0ms
(* (/ y (sqrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))) (/ (/ (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b) (sqrt (sqrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)))) (sqrt (sqrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)))))
173.0ms
(* (/ (/ 1 (sqrt (- y z))) (* (cbrt (- y t)) (cbrt (- y t)))) (/ (/ x (sqrt (- y z))) (cbrt (- y t))))
165.0ms
(* x (/ 1 (/ y (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t))))))))
75.0ms
(log (/ (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)) (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0))))
Rules
37633×times-frac
34185×*-un-lft-identity
33540×add-sqr-sqrt
22891×add-cube-cbrt
20182×cbrt-div
11137×add-exp-log
9499×frac-times
9376×associate-*r/
9329×flip-+ flip3-+
8598×add-cbrt-cube
8172×associate-*r*
6469×pow1
6104×frac-add
5807×cbrt-prod
5501×sqrt-prod
4010×associate-*l*
3954×add-log-exp
3382×associate-/r*
3333×distribute-lft-out--
3319×difference-of-squares
3228×associate-*l/
3185×prod-exp
2960×flip-- flip3--
2620×div-exp
2615×unpow-prod-down
2509×cbrt-unprod
2489×distribute-lft-out
2064×associate-/l*
1866×div-inv
1786×pow-prod-down
1783×associate-/r/
1701×cbrt-undiv
1608×log-prod
1538×unswap-sqr
1400×distribute-rgt-in distribute-lft-in
1375×sqrt-div
963×pow1/3
881×swap-sqr
812×*-commutative
742×frac-sub
686×sub-neg
614×associate-/l/
547×cube-prod
539×exp-sum
529×sum-log
500×clear-num frac-2neg
453×sqrt-pow1
371×associate-+l+
357×1-exp
356×rec-exp
348×sqr-pow
313×associate-+r+
304×+-commutative
291×pow1/2
276×diff-log
274×pow-prod-up
264×log-pow
255×associate--l+
226×pow-sqr
186×distribute-lft-neg-out
180×log-rec
168×pow-exp
144×exp-prod
131×pow-unpow
124×exp-diff
121×pow-to-exp
111×rem-sqrt-square
103×div-sub
101×pow-plus
98×pow2
85×pow-flip
84×associate-+r-
82×associate--r+
73×unsub-neg
71×inv-pow
70×log-div
68×pow-pow
64×distribute-rgt-out--
58×distribute-neg-out
54×rem-log-exp
49×un-div-inv
47×cube-div
43×unpow2
35×cube-mult associate-+l- unpow3
32×sinh-def
31×tanh-def
25×cosh-def distribute-rgt-neg-out
24×sub-div
23×rem-cube-cbrt
21×sum-cubes
20×distribute-rgt-out
18×sqrt-unprod
17×rem-square-sqrt
13×distribute-lft-neg-in distribute-rgt-neg-in
12×rem-cbrt-cube
10×associate--l-
9×rem-exp-log
8×difference-cubes
6×exp-to-pow tan-quot
5×neg-mul-1 distribute-lft1-in unpow1/3 count-2 distribute-rgt1-in
4×cos-diff cos-sum diff-cos sqrt-pow2
3×associate--r-
2×neg-sub0 sqrt-undiv neg-log
1×remove-double-div

localize9.4s (0.9%)

end11.0ms (0.0%)

Profiling

Loading profile data...