Date:Thursday, July 16th, 2020
Commit:f7753480 on master
Hostname:warfa with Racket 7.5
Seed:2020198
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

sample3.5min (26.6%)

Algorithm
539×intervals
Results
1.2min2099012×body80valid
24.9s289160×body80invalid
18.5s40736×body1280valid
11.9s41645×body640valid
6.1s89224×body80nan
4.2s22512×body320valid
4.2s5527×body2560valid
1.9s6628×body1280invalid
1.4s11641×body160valid
1.3s6520×body640invalid
517.0ms3692×body320invalid
207.0ms2211×body160invalid
176.0ms1063×body640nan
163.0ms821×body1280nan
126.0ms47×body5120valid
80.0ms643×body320nan
53.0ms926×body80overflowed
27.0ms351×body160nan

series2.7min (20.5%)

Calls

2576 calls:

1.8min
(- (* (+ (* x y) (+ (* z t) (* a b))) (+ (* x y) (+ (* z t) (* a b)))) (* c (* c (* i i))))
2.2s
(+ (* (* x 18.0) (* (* y z) t)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i))))))
533.0ms
(* (cbrt (+ (* (- x 1.0) (log y)) (* (- z 1.0) (+ (log 1.0) (* y (- (* (/ y (* 1.0 1.0)) -1/2) 1.0)))))) (cbrt (+ (* (- x 1.0) (log y)) (* (- z 1.0) (+ (log 1.0) (* y (- (* (/ y (* 1.0 1.0)) -1/2) 1.0)))))))
490.0ms
(cbrt (+ (* (- x 1.0) (log y)) (* (- z 1.0) (+ (log 1.0) (* y (- (* (/ y (* 1.0 1.0)) -1/2) 1.0))))))
436.0ms
(cbrt (+ (* (- x 1.0) (log y)) (* (- z 1.0) (+ (log 1.0) (* y (- (* (/ y (* 1.0 1.0)) -1/2) 1.0))))))

prune2.1min (15.6%)

Filtered
81289 candidates to 54281 candidates (33.2%)

analyze1.8min (13.4%)

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

regimes1.6min (11.7%)

Accuracy

Total 214.0b remaining (39.5%)

Threshold costs 25.9b (4.8%)

19.6b10.7%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.6b-12.5%Linear.Matrix:det44 from linear-1.19.1.3
12.6b61.2%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.6b59.6%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.3b8.3%Data.Colour.Matrix:determinant from colour-2.3.3, A

simplify59.7s (7.5%)

Algorithm
1426×egg-herbie

rewrite23.3s (2.9%)

Algorithm
887×rewrite-expression-head
Calls

2576 calls:

232.0ms
(/ t (* z z))
200.0ms
(* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))
184.0ms
(* x (log (/ x y)))
138.0ms
(* (/ (sqrt (/ 1.0 x)) (sqrt 9.0)) (/ (sqrt (/ 1.0 x)) (sqrt 9.0)))
117.0ms
(* (* y (* (/ (cbrt (- z t)) (cbrt (- t a))) (cbrt (- z t)))) (/ (/ (cbrt (- z t)) (cbrt (- t a))) (cbrt (- t a))))
Rules
29952×*-un-lft-identity
28622×add-sqr-sqrt
26626×times-frac
18581×add-cube-cbrt
11296×add-exp-log
8821×add-cbrt-cube
8414×associate-*r*
6944×pow1
6481×cbrt-prod
5788×sqrt-prod
4534×associate-*l*
3819×add-log-exp
3794×prod-exp
3143×distribute-lft-out--
3069×cbrt-div
3068×difference-of-squares
2997×cbrt-unprod
2772×distribute-lft-out
2730×flip-- flip3--
2487×associate-*r/
2424×frac-times
2318×associate-*l/
2263×associate-/r*
2133×div-exp
2112×pow-prod-down
1923×flip-+ flip3-+
1834×associate-/l*
1817×associate-/r/
1514×unswap-sqr
1510×unpow-prod-down
1437×div-inv
1429×cbrt-undiv
1204×log-prod
1031×frac-add
959×pow1/3
929×distribute-rgt-in distribute-lft-in
893×*-commutative
882×swap-sqr
706×sqrt-div
656×sub-neg
477×sum-log
436×clear-num frac-2neg
432×cube-prod
427×sqrt-pow1
420×associate-/l/
390×associate-+r+
301×+-commutative
266×log-pow
258×pow-exp pow1/2
256×1-exp
252×rec-exp
242×exp-prod
238×pow-prod-up
234×diff-log
231×associate-+l+
218×sqr-pow
212×pow-to-exp
190×pow-sqr
188×pow-unpow
181×associate--l+
161×pow-pow
114×frac-sub
109×div-sub
106×rem-sqrt-square
98×pow-flip
91×pow-plus
85×pow2
81×log-div
72×associate-+r-
68×distribute-rgt-neg-in
66×distribute-lft-neg-in
63×inv-pow
52×cube-div
50×distribute-rgt-neg-out
49×rem-log-exp
48×un-div-inv
34×exp-sum
32×tanh-def-b tanh-def-a tanh-def-c associate--r+
31×cube-mult unpow3
30×unpow-prod-up
28×difference-of-sqr--1
25×unsub-neg distribute-rgt-out--
24×associate-+l-
23×sum-cubes
22×rem-cube-cbrt
19×neg-mul-1 distribute-rgt-out
17×sqrt-unprod unpow2
16×cosh-def
15×rem-exp-log
14×rem-square-sqrt
13×exp-diff
12×rem-cbrt-cube
11×sinh-def
8×associate--l- sub-div tan-quot
7×sqrt-undiv
6×diff-cos sqrt-pow2 associate--r- distribute-rgt1-in distribute-neg-frac pow-sub
5×neg-sub0 distribute-lft1-in count-2 distribute-frac-neg
3×cos-diff unpow1/3
1×acos-asin cos-sum pow3

localize9.5s (1.2%)

bsearch4.2s (0.5%)

end5.0ms (0.0%)

Profiling

Loading profile data...