Date:Thursday, July 16th, 2020
Commit:2fc654f8 on release-1.4
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.6min (27.0%)

Algorithm
539×intervals
Results
1.2min2099012×body80valid
26.3s289160×body80invalid
18.2s40736×body1280valid
12.0s41645×body640valid
6.1s89224×body80nan
4.2s5527×body2560valid
4.2s22512×body320valid
2.0s6628×body1280invalid
1.4s11641×body160valid
1.3s6520×body640invalid
526.0ms3692×body320invalid
211.0ms2211×body160invalid
175.0ms1063×body640nan
162.0ms821×body1280nan
132.0ms47×body5120valid
76.0ms643×body320nan
51.0ms926×body80overflowed
27.0ms351×body160nan

series2.5min (18.9%)

Calls

2577 calls:

1.5min
(- (* (+ (* x y) (+ (* z t) (* a b))) (+ (* x y) (+ (* z t) (* a b)))) (* c (* c (* i i))))
2.5s
(+ (* (* x 18.0) (* (* y z) t)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i))))))
585.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)))))))
482.0ms
(cbrt (+ (* (- x 1.0) (log y)) (* (- z 1.0) (+ (log 1.0) (* y (- (* (/ y (* 1.0 1.0)) -1/2) 1.0))))))
444.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.8%)

Filtered
81280 candidates to 54279 candidates (33.2%)

analyze1.9min (14.0%)

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.7min (12.3%)

Accuracy

Total 214.0b remaining (39.5%)

Threshold costs 26.0b (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.5s (7.4%)

Algorithm
1426×egg-herbie

rewrite23.4s (2.9%)

Algorithm
887×rewrite-expression-head
Calls

2577 calls:

164.0ms
(* (/ (sqrt (/ 1.0 x)) (sqrt 9.0)) (/ (sqrt (/ 1.0 x)) (sqrt 9.0)))
116.0ms
(* (* y (* (/ (cbrt (- z t)) (cbrt (- t a))) (cbrt (- z t)))) (/ (/ (cbrt (- z t)) (cbrt (- t a))) (cbrt (- t a))))
92.0ms
(/ (* (* (cbrt (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z)) (/ (cbrt (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z)) (sqrt (sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))))) (/ (cbrt (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z)) (sqrt (sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))))) (sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))
75.0ms
(* 6.0 (/ (/ (- x 1.0) (sqrt (+ x (+ 1.0 (* 4.0 (sqrt x)))))) (sqrt (+ x (+ 1.0 (* 4.0 (sqrt x)))))))
60.0ms
(* (/ (/ (- y z) (* (cbrt (+ t (- 1.0 z))) (cbrt (+ t (- 1.0 z))))) (cbrt (- (+ t 1.0) z))) (- a x))
Rules
29946×*-un-lft-identity
28604×add-sqr-sqrt
26614×times-frac
18575×add-cube-cbrt
11294×add-exp-log
8817×add-cbrt-cube
8408×associate-*r*
6941×pow1
6481×cbrt-prod
5788×sqrt-prod
4518×associate-*l*
3827×add-log-exp
3790×prod-exp
3144×distribute-lft-out--
3069×cbrt-div difference-of-squares
2993×cbrt-unprod
2773×distribute-lft-out
2726×flip-- flip3--
2482×associate-*r/
2423×frac-times
2317×associate-*l/
2264×associate-/r*
2135×div-exp
2109×pow-prod-down
1927×flip-+ flip3-+
1837×associate-/l*
1818×associate-/r/
1510×unpow-prod-down
1509×unswap-sqr
1437×div-inv
1430×cbrt-undiv
1204×log-prod
1031×frac-add
959×pow1/3
924×distribute-rgt-in distribute-lft-in
891×*-commutative
882×swap-sqr
706×sqrt-div
646×sub-neg
485×sum-log
437×clear-num frac-2neg
432×cube-prod
427×sqrt-pow1
420×associate-/l/
390×associate-+r+
305×+-commutative
266×log-pow
258×pow-exp pow1/2
257×1-exp
253×rec-exp
242×exp-prod
238×pow-prod-up
232×associate-+l+
230×diff-log
218×sqr-pow
212×pow-to-exp
190×pow-sqr
188×pow-unpow
179×associate--l+
161×pow-pow
114×frac-sub
109×div-sub
106×rem-sqrt-square
100×pow-flip
91×pow-plus
85×pow2
81×log-div
72×associate-+r-
68×distribute-rgt-neg-in
66×distribute-lft-neg-in
64×inv-pow
52×cube-div
50×distribute-rgt-neg-out
49×rem-log-exp
48×un-div-inv
34×exp-sum associate--r+
32×tanh-def-b tanh-def-a tanh-def-c
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×sub-div tan-quot
7×sqrt-undiv
6×associate--l- 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.8s (1.2%)

bsearch4.4s (0.5%)

end5.0ms (0.0%)

Profiling

Loading profile data...