Date:Thursday, July 23rd, 2020
Commit:528fe40a on cleanup
Hostname:warfa with Racket 7.5
Seed:2020205
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

Time bar (total: 33.7min)

sample10.8min (32.1%)

Algorithm
957×intervals
Results
2.3min3262778×body80valid
2.2min238648×body1280valid
1.3min17756×body5120exit
54.0s170707×body640valid
33.4s41292×body2560valid
19.7s100098×body320valid
19.6s300683×body80invalid
13.1s93676×body160valid
12.3s160139×body80nan
9.6s22042×body1280invalid
8.1s376390×pre80true
6.1s12946×body1280nan
5.6s19373×body640invalid
3.6s10385×body640nan
3.5s1911×body1280overflowed
3.1s18178×body80overflowed
2.4s3978×body5120valid
2.3s10145×body320invalid
1.7s1573×body640overflowed
1.5s648×body2560invalid
1.4s311×body5120invalid
1.2s5367×body320nan
714.0ms5377×body160invalid
657.0ms3155×body2560nan
495.0ms756×body320overflowed
295.0ms2099×body160nan
160.0ms408×body160overflowed
122.0ms184×body2560overflowed
6.0ms3×body5120nan
6.0ms230×pre80false

prune10.6min (31.5%)

analyze4.1min (12.2%)

Algorithm
479×search
2×random
Search
TrueOtherFalseIter
0%92%8%0
3.1%88.9%8%1
6.2%85.2%8.7%2
14%75.7%10.2%3
18.9%69%12.1%4
26.1%60.9%13%5
30.6%54.8%14.6%6
36%47.6%16.4%7
39.3%43.2%17.5%8
43.3%38%18.7%9
46.2%33.8%20%10
48.9%30.4%20.7%11
51%27.5%21.5%12
53.5%24%22.5%13
54.9%22.3%22.8%14

regimes2.6min (7.8%)

Accuracy

Total 416.7b remaining (28.9%)

Threshold costs 51.4b (3.6%)

18.5b897.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
14.5b5394.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
14.0b4765.3%math.sqrt on complex, real part
12.2b2562.8%Octave 3.8, jcobi/4
11.2b5408.5%math.log/2 on complex, real part

simplify2.3min (6.7%)

Algorithm
2564×egg-herbie

series2.0min (5.9%)

Calls

4869 calls:

2.0s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))
1.9s
(sqrt (* (* (* (* 2.0 n) U) (* (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))) (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))
1.9s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
1.9s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
1.3s
(/ (- (* x x) (/ (* (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)) (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a)))) (* (- 1 (* (tan y) (tan z))) (cos a)))) (- x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))

rewrite49.9s (2.5%)

Algorithm
1611×rewrite-expression-head
Rules
86354×add-exp-log
78859×times-frac
68868×*-un-lft-identity
64514×add-sqr-sqrt
44948×add-cube-cbrt
43360×prod-exp
37072×div-exp
34266×pow-exp
17613×add-cbrt-cube
13303×pow1
12305×pow-to-exp
11337×associate-*r*
10205×sqrt-prod
9015×cbrt-prod
7549×associate-*l*
7327×add-log-exp
6667×distribute-lft-out
6449×difference-of-squares
6102×associate-/r*
5901×distribute-lft-out--
5400×associate-*r/
5345×cbrt-unprod
4686×flip--
4685×flip3--
4419×associate-/l*
4394×1-exp
4205×unpow-prod-down
4149×associate-/r/
3863×div-inv
3811×frac-times
3775×flip-+
3774×flip3-+
3671×pow-prod-down
3398×cbrt-div
3270×cbrt-undiv
3264×associate-*l/
3144×sqrt-div
2687×unswap-sqr
2492×log-prod
2027×rec-exp
1547×swap-sqr
1499×cube-prod
1490×sqrt-pow1
1480×frac-add
1418×*-commutative
1325×pow1/3
1207×sqr-pow
1206×distribute-rgt-in distribute-lft-in
1129×frac-sub
1083×sub-neg
1027×associate-/l/
994×clear-num frac-2neg
974×distribute-rgt-neg-in
939×distribute-lft-neg-in
902×pow1/2
797×log-pow
781×sum-log
718×pow-unpow
717×neg-mul-1
634×pow-prod-up
601×exp-prod
566×diff-log
479×pow-sqr
472×+-commutative
463×associate-+r+
436×associate--l+
399×rem-sqrt-square
382×associate-+l+
327×exp-sum
311×div-sub
233×pow-pow
227×pow-plus
225×log-div
218×tan-quot
195×pow2
172×cube-mult unpow3
161×unpow2
159×distribute-rgt-out
149×rem-log-exp
128×neg-sub0 exp-diff
120×cube-div
105×exp-neg
100×un-div-inv
96×associate--r+
94×pow-flip
89×inv-pow
88×distribute-rgt-out--
69×cosh-undef
68×sinh-def tanh-def-b tanh-def-a tanh-def-c
67×rem-cube-cbrt
65×sqrt-unprod
54×distribute-lft1-in
53×rem-exp-log
51×distribute-rgt1-in
45×associate-+r-
42×associate--l- rem-square-sqrt
40×count-2 rem-cbrt-cube sin-mult
37×associate-+l-
36×distribute-frac-neg
35×distribute-rgt-neg-out
31×pow-sub
28×cos-mult
24×associate--r-
23×cos-diff difference-cubes
20×unsub-neg
19×sub-div
18×cosh-def sin-sum pow-neg
17×cos-sum exp-to-pow sum-cubes
16×sinh-undef
15×sin-diff
12×acos-asin distribute-neg-in
11×sin-cos-mult
9×neg-log
8×unpow1/3
6×diff-cos
5×sqrt-pow2 distribute-neg-frac
4×acos-neg tan-sum pow3 asin-acos
3×cube-neg
2×distribute-lft-neg-out unpow-prod-up e-exp-1 sqrt-undiv log-rec sqr-cos-a
1×tanh-undef diff-sin diff-atan mul0-rgt
Calls

4869 calls:

225.0ms
(* (* x (* (cbrt (/ 2.0 (- y t))) (cbrt (/ 2.0 (- y t))))) (/ (cbrt (/ 2.0 (- y t))) z))
202.0ms
(- (* (+ x y) (+ x y)) (* (* x y) (* x y)))
137.0ms
(/ (- (/ 1.0 (/ x 1.0)) (/ 1.0 (/ (+ 1.0 x) 1.0))) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ 1.0 x)))))
137.0ms
(+ x (/ (/ (- y z) (- a z)) (/ 1 (- t x))))
125.0ms
(* (/ (/ 1 l) 1) (* (pow (/ (pow -1 3.0) (* (pow (pow (/ -1 t) 1.0) 1.0) (pow (pow (/ -1 k) 2.0) 1.0))) 1.0) (/ (/ (pow (sin k) 2) l) (cos k))))

localize20.0s (1%)

bsearch6.3s (0.3%)

end9.0ms (0%)

Profiling

Loading profile data...