Date:Sunday, June 21st, 2020
Commit:b922bf9e on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020173
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

prune4.7min (25.1%)

Filtered
88778 candidates to 58366 candidates (34.3%)

analyze3.6min (18.9%)

Algorithm
538×search

sample3.5min (18.7%)

Algorithm
538×intervals
Results
1.2min2090483×body80valid
26.5s290380×body80invalid
18.5s40660×body1280valid
11.9s41840×body640valid
6.1s89290×body80nan
4.3s5599×body2560valid
4.3s22596×body320valid
2.2s6573×body1280invalid
1.5s11903×body160valid
1.3s6541×body640invalid
562.0ms3877×body320invalid
225.0ms2382×body160invalid
189.0ms862×body1280nan
178.0ms1021×body640nan
110.0ms39×body5120valid
82.0ms628×body320nan
45.0ms839×body80overflowed
31.0ms382×body160nan

bsearch2.7min (14.0%)

regimes1.7min (8.9%)

Accuracy

Total 219.5b remaining (37.8%)

Threshold costs 26.0b (4.5%)

11.8b62.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.3b47.8%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
11.3b-34.8%Linear.Matrix:det44 from linear-1.19.1.3
11.2b52%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.6b1.3%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

simplify1.3min (6.7%)

Algorithm
1429×egg-herbie

series54.5s (4.8%)

Calls

2514 calls:

1.9s
(pow (+ (+ (* x y) (* z t)) (* a b)) 3)
1.6s
(/ (cbrt (- (* (/ (* 60.0 (- x y)) (- z t)) (/ (* 60.0 (- x y)) (- z t))) (* (* a 120.0) (* a 120.0)))) (cbrt (- (/ (* 60.0 (- x y)) (- z t)) (* a 120.0))))
1.2s
(/ (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
1.0s
(* (cbrt (+ (/ (* 60.0 (- x y)) (- z t)) (* a 120.0))) (cbrt (+ (/ (* 60.0 (- x y)) (- z t)) (* a 120.0))))
468.0ms
(cbrt (- (* (/ (* 60.0 (- x y)) (- z t)) (/ (* 60.0 (- x y)) (- z t))) (* (* a 120.0) (* a 120.0))))

rewrite23.9s (2.1%)

Algorithm
891×rewrite-expression-head
Calls

2514 calls:

198.0ms
(* (/ (cbrt x) (/ z (cbrt x))) (/ (cbrt x) (/ (- y t) 2.0)))
196.0ms
(* (/ (/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (sqrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))))
163.0ms
(* (* (* x z) (* (* (cbrt (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))) (cbrt (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))))) (cbrt (- y 1.0)))
153.0ms
(+ (* 2 (+ z y)) t)
104.0ms
(+ x (/ 1 (/ (/ (- a t) (- z t)) (- y x))))
Rules
35526×times-frac
34808×*-un-lft-identity
33312×add-sqr-sqrt
25902×cbrt-div
21731×add-cube-cbrt
13948×frac-times
11569×add-exp-log
10727×flip-- flip3--
8956×add-cbrt-cube
8737×associate-*r/
7340×pow1
7094×associate-*l/
6447×associate-*r*
5906×cbrt-prod
5007×sqrt-prod
4820×associate-*l*
3963×distribute-lft-out--
3921×add-log-exp
3790×difference-of-squares
3651×prod-exp
3143×associate-/r*
2853×cbrt-unprod
2812×distribute-lft-out
2533×div-exp
2192×pow-prod-down
2093×associate-/r/
2053×associate-/l*
1905×div-inv
1803×log-prod
1767×cbrt-undiv
1747×flip-+ flip3-+
1587×unswap-sqr
1440×distribute-rgt-in distribute-lft-in
1341×frac-sub
1124×sqrt-div
1036×unpow-prod-down
994×swap-sqr
915×pow1/3
910×associate-/l/
828×*-commutative
724×sub-neg
565×sqrt-pow1
556×cube-prod
509×clear-num frac-2neg
492×sum-log
420×pow-prod-up
393×associate-+l+
381×associate-+r+
325×pow-sqr
313×associate--l+
308×diff-log
283×pow1/2
279×+-commutative
272×1-exp rec-exp
254×sqr-pow
211×log-pow
208×pow-exp
196×exp-sum
179×pow-to-exp
169×pow-plus
142×pow2
141×frac-add
115×pow-unpow
107×div-sub
92×associate--r+
89×rem-sqrt-square
84×unpow2
72×cube-mult unpow3
70×pow-flip
69×log-div
68×pow-pow
62×inv-pow
61×cube-div
56×exp-prod
55×rem-log-exp tanh-def
42×associate-+l- rem-cube-cbrt
40×distribute-lft-neg-in distribute-rgt-neg-in
35×un-div-inv
34×unpow-prod-up
31×distribute-rgt-neg-out
30×sinh-def
27×sqrt-unprod
21×associate-+r-
20×cosh-def rem-cbrt-cube
19×distribute-rgt-out
17×unsub-neg
16×rem-square-sqrt distribute-rgt-out--
11×associate--l- distribute-lft-neg-out associate--r-
10×sub-div
9×log-rec
8×rem-exp-log
7×neg-sub0 sum-cubes
6×distribute-rgt1-in distribute-neg-frac
5×difference-cubes neg-mul-1 distribute-lft1-in diff-cos sqrt-pow2 exp-to-pow count-2
4×unpow1/3 neg-log exp-diff pow-sub
3×cos-diff
2×cos-sum tan-quot
1×sqrt-undiv sin-cos-mult cos-mult pow-neg distribute-neg-out sin-mult

localize9.3s (0.8%)

end11.0ms (0.0%)

Profiling

Loading profile data...