Date:Monday, June 22nd, 2020
Commit:b6782673 on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020174
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

analyze3.6min (22.9%)

Algorithm
539×search

sample3.6min (22.7%)

Algorithm
539×intervals
Results
1.2min2099009×body80valid
26.3s292889×body80invalid
18.2s40136×body1280valid
12.2s41665×body640valid
6.5s90310×body80nan
4.4s5677×body2560valid
4.3s22794×body320valid
1.9s6400×body1280invalid
1.5s6530×body640invalid
1.4s11806×body160valid
541.0ms3723×body320invalid
211.0ms2191×body160invalid
173.0ms848×body1280nan
170.0ms1024×body640nan
90.0ms33×body5120valid
84.0ms661×body320nan
50.0ms893×body80overflowed
30.0ms367×body160nan

bsearch2.1min (13.0%)

prune2.0min (12.8%)

Filtered
88303 candidates to 56153 candidates (36.4%)

regimes1.7min (10.8%)

Accuracy

Total 209.2b remaining (37.1%)

Threshold costs 24.6b (4.4%)

17.5b26.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.0b-22.6%Linear.Matrix:det44 from linear-1.19.1.3
12.6b59.5%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.5b59.8%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.7b15.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

simplify1.2min (7.8%)

Algorithm
1431×egg-herbie

series1.0min (6.5%)

Calls

2529 calls:

2.1s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
2.0s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
2.0s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
1.9s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
1.9s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

rewrite23.1s (2.4%)

Algorithm
892×rewrite-expression-head
Calls

2529 calls:

228.0ms
(+ (/ (/ (- (pow x 4) (pow y 2)) (sqrt (- (* x x) y))) (sqrt (- (* x x) y))) y)
135.0ms
(- (/ y (/ (- a z) t)) (/ z (/ (- a z) t)))
93.0ms
(+ x (/ (/ y (- z a)) (/ 1 (- z t))))
91.0ms
(+ (/ (/ 60.0 (- z t)) (/ 1 (- x y))) (* a 120.0))
59.0ms
(* (/ (- x 2.0) (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 (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))))
Rules
40853×times-frac
38478×*-un-lft-identity
37224×add-sqr-sqrt
23635×add-cube-cbrt
13177×add-exp-log
8715×add-cbrt-cube
7534×cbrt-prod
6807×associate-*r*
6579×pow1
5817×sqrt-prod
5589×difference-of-squares
4604×prod-exp
4462×distribute-lft-out--
4124×associate-*l*
3978×add-log-exp
3909×div-exp
3241×distribute-lft-out
3192×associate-/r*
2555×cbrt-unprod
2396×associate-/l*
2360×associate-*r/
2244×unpow-prod-down
2135×associate-/r/
2101×flip-+ flip3-+
1995×div-inv
1971×flip-- flip3--
1887×pow-prod-down
1696×cbrt-undiv
1631×cbrt-div
1616×log-prod
1473×frac-times
1436×unswap-sqr
1318×associate-*l/
1304×distribute-rgt-in distribute-lft-in
1042×pow-exp
1002×cube-prod
985×sqrt-div
903×1-exp
870×sqr-pow
825×pow1/3
797×*-commutative
705×sub-neg
657×swap-sqr
654×frac-sub
632×associate-/l/
520×clear-num frac-2neg
511×sum-log
460×sqrt-pow1
453×pow-to-exp
431×frac-add
400×rec-exp
374×associate-+l+
334×associate--l+
323×log-pow
315×associate-+r+
314×diff-log
299×+-commutative
282×unpow2
262×pow1/2
254×exp-prod
253×pow-prod-up
204×pow-sqr
203×tanh-def
161×pow-unpow
141×distribute-neg-frac
122×div-sub
92×pow-plus
90×exp-sum
86×pow-flip
85×rem-sqrt-square
83×pow2
78×log-div
77×pow-pow
75×cube-mult unpow3
74×inv-pow
71×associate--r+
69×cube-div
60×rem-log-exp
54×un-div-inv
49×associate-+l-
46×distribute-rgt-neg-out
43×distribute-rgt-out--
35×sum-cubes
34×rem-cube-cbrt
26×distribute-lft-neg-in associate-+r- distribute-rgt-neg-in
25×sinh-def
24×sqrt-unprod unsub-neg
21×difference-cubes cosh-def distribute-rgt-out
20×sub-div
18×unpow-prod-up unpow1/3 rem-exp-log
17×exp-diff
16×rem-cbrt-cube
15×rem-square-sqrt associate--r-
14×distribute-lft-neg-out
12×associate--l-
10×log-rec pow-div
8×neg-mul-1
7×neg-sub0 tan-quot
6×exp-to-pow distribute-rgt1-in
5×distribute-lft1-in diff-cos count-2
4×sqrt-pow2 neg-log
3×cos-diff
2×cos-sum distribute-neg-in pow3 distribute-neg-out sin-mult
1×sqrt-undiv pow-sub

localize9.7s (1.0%)

end12.0ms (0.0%)

Profiling

Loading profile data...