Date:Sunday, June 28th, 2020
Commit:ddc1d8f4 on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020180
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.4%)

Algorithm
540×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

sample3.6min (22.4%)

Algorithm
540×intervals
Results
1.3min2106424×body80valid
26.1s290799×body80invalid
18.4s40801×body1280valid
12.3s42052×body640valid
6.3s91487×body80nan
4.5s5662×body2560valid
4.2s22296×body320valid
2.0s6661×body1280invalid
1.4s11851×body160valid
1.4s6729×body640invalid
566.0ms3926×body320invalid
231.0ms2390×body160invalid
188.0ms906×body1280nan
188.0ms1138×body640nan
96.0ms34×body5120valid
79.0ms634×body320nan
49.0ms860×body80overflowed
33.0ms405×body160nan

prune2.7min (16.5%)

Filtered
85153 candidates to 56097 candidates (34.1%)

bsearch2.3min (14.2%)

regimes1.6min (10.2%)

Accuracy

Total 215.4b remaining (40%)

Threshold costs 29.3b (5.4%)

18.1b14.4%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
15.1b-4.8%Linear.Matrix:det44 from linear-1.19.1.3
13.1b58.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.3b56.9%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.7b56.5%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2

simplify54.0s (5.6%)

Algorithm
1447×egg-herbie

series52.0s (5.4%)

Calls

2625 calls:

1.3s
(sqrt (+ (* x y) (+ (* z t) (+ (* a b) (* c i)))))
1.3s
(sqrt (+ (* x y) (+ (* z t) (+ (* a b) (* c i)))))
367.0ms
(cbrt (- (tanh (/ t y)) (tanh (/ x y))))
330.0ms
(+ (* x y) (- (* z t) (* c (* (+ a (* b c)) i))))
223.0ms
(cbrt (- 1.0 (/ y x)))

rewrite22.5s (2.3%)

Algorithm
907×rewrite-expression-head
Calls

2625 calls:

256.0ms
(* y (* z (* (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))))
80.0ms
(- y (/ (/ (+ x z) y) (/ 1 (- z x))))
52.0ms
(* (/ (/ (- y z) (* (cbrt (+ t (- 1.0 z))) (cbrt (+ t (- 1.0 z))))) (cbrt (- (+ t 1.0) z))) (- a x))
50.0ms
(* (/ x (+ y x)) (/ (/ y (+ y x)) (+ x (+ y 1.0))))
49.0ms
(- (/ 1 (- (/ (- 2.0 y) x) 1)) (/ y (- 2.0 (+ x y))))
Rules
32372×*-un-lft-identity
30261×add-sqr-sqrt
28939×times-frac
19566×add-cube-cbrt
11478×add-exp-log
8857×add-cbrt-cube
7300×associate-*r*
7084×pow1
6822×sqrt-prod
6778×cbrt-prod
6629×cbrt-div
6100×associate-*r/
4584×frac-times
4135×associate-*l*
4092×frac-sub
3844×add-log-exp
3768×prod-exp
3545×difference-of-squares
3388×distribute-lft-out
3261×distribute-lft-out--
2892×cbrt-unprod
2659×tanh-def-b tanh-def-a tanh-def-c
2637×associate-/r*
2385×flip-- flip3--
2228×div-exp
2165×associate-/l*
2098×pow-prod-down
1817×associate-/r/
1780×flip-+ flip3-+
1636×associate-*l/
1545×unpow-prod-down
1531×unswap-sqr
1519×cbrt-undiv
1476×div-inv
1050×log-prod
1020×sqrt-div
1012×pow1/3
870×*-commutative
820×distribute-rgt-in distribute-lft-in
792×cube-prod
773×swap-sqr
716×sqrt-pow1
646×sub-neg
489×associate-/l/
472×clear-num frac-2neg
440×sum-log
369×pow1/2
343×exp-prod
334×sqr-pow
325×pow-prod-up
306×associate-+r+
300×1-exp rec-exp
292×frac-add
279×pow-exp
278×log-pow
276×+-commutative
237×diff-log
234×pow-to-exp
230×pow-sqr
177×pow-unpow
157×pow-pow
156×associate-+l+
130×associate--l+
118×rem-sqrt-square
116×cube-div
109×div-sub
93×pow-plus pow-flip
91×pow2
90×cube-mult unpow3
82×log-div
73×inv-pow
70×un-div-inv
51×exp-sum
47×rem-log-exp distribute-rgt-neg-out
36×associate--r+
35×difference-of-sqr-1
34×distribute-rgt-out
31×associate-+l-
26×associate-+r- rem-cube-cbrt
25×sinh-def sqrt-unprod
24×distribute-lft-neg-in distribute-rgt-neg-in pow-sub
22×unsub-neg pow-neg unpow2
20×neg-sub0
19×rem-exp-log
17×cosh-def distribute-rgt-out--
16×rem-square-sqrt rem-cbrt-cube
14×exp-diff
10×diff-cos sub-div distribute-rgt1-in
9×distribute-lft1-in
8×associate--l- count-2 pow3
7×unpow1/3 associate--r-
5×neg-mul-1 sqrt-pow2 tan-quot sum-cubes
4×unpow-prod-up
3×cos-diff exp-to-pow
2×e-exp-1 sqrt-undiv sin-mult
1×acos-asin cos-sum neg-log cos-mult remove-double-div

localize9.7s (1.0%)

end10.0ms (0.0%)

Profiling

Loading profile data...