Date:Monday, June 29th, 2020
Commit:9427dca4 on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020181
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

sample9.9min (27.8%)

Algorithm
953×intervals
Results
2.3min3261490×body80valid
2.2min237231×body1280valid
53.6s168917×body640valid
34.5s41678×body2560valid
32.8s356276×body80invalid
19.5s99420×body320valid
14.0s10607×body5120exit
12.8s93111×body160valid
11.9s157697×body80nan
9.8s22098×body1280invalid
7.5s350663×pre80true
5.7s19479×body640invalid
5.5s11842×body1280nan
3.6s765×body5120invalid
3.5s1426×body2560invalid
3.2s9345×body640nan
2.6s3993×body5120valid
2.1s10059×body320invalid
1.4s9832×body80overflowed
1.2s4911×body320nan
1.0s959×body1280overflowed
721.0ms5395×body160invalid
614.0ms3134×body2560nan
436.0ms611×body640overflowed
255.0ms1926×body160nan
145.0ms320×body320overflowed
95.0ms144×body2560overflowed
44.0ms164×body160overflowed
6.0ms242×pre80false
4.0ms2×body5120nan

analyze7.5min (21.1%)

Algorithm
949×search
4×random
Search
TrueOtherFalseIter
0%92.4%7.6%0
3.1%89.3%7.6%1
6.2%85.6%8.3%2
14%76.2%9.8%3
19%69.3%11.7%4
26.2%61.2%12.6%5
30.7%55.1%14.2%6
36.1%47.8%16.1%7
39.5%43.4%17.1%8
43.6%38.1%18.4%9
46.5%33.9%19.7%10
49.1%30.5%20.4%11
51.3%27.5%21.2%12
53.8%24%22.1%13
55.2%22.3%22.5%14

prune5.2min (14.6%)

Filtered
158812 candidates to 100911 candidates (36.5%)

rewrite3.1min (8.8%)

Algorithm
1591×rewrite-expression-head
Calls

4846 calls:

1.1s
(/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (+ 2.0 (neg z))) (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))))) (+ (/ 12.507343278686905 (+ (neg z) 5.0)) (+ (/ -0.13857109526572012 (+ (neg z) 6.0)) (+ (/ 9.984369578019572e-06 (+ (neg z) 7.0)) (/ 1.5056327351493116e-07 (+ (neg z) 8.0))))))) (exp (+ (neg z) (+ 7.0 0.5))))
206.0ms
(* (/ y (cbrt (- a t))) (/ (/ (- t z) (cbrt (- a t))) (cbrt (- a t))))
204.0ms
(+ (* a a) (* b b))
203.0ms
(/ (/ (/ (/ (+ alpha (+ beta (+ (* alpha beta) 1.0))) (sqrt (+ alpha (+ beta (* 1.0 2.0))))) (sqrt (+ (+ alpha beta) (* 2.0 1.0)))) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))
194.0ms
(- x (/ y 200.0))
Rules
66146×*-un-lft-identity
60501×times-frac
54876×add-sqr-sqrt
46873×add-exp-log
37956×add-cube-cbrt
28788×prod-exp
17396×add-cbrt-cube
15988×sqrt-prod
13125×pow1
13069×associate-*r*
12222×pow-exp
10666×distribute-lft-out
8868×cbrt-prod
8059×div-exp
7797×associate-*l*
7583×add-log-exp
5602×cbrt-unprod
5444×difference-of-squares
5236×pow-to-exp
5204×associate-*r/
4839×associate-/l*
4720×distribute-lft-out--
4497×unpow-prod-down
4004×flip-+
4003×flip3-+
3994×associate-/r*
3789×pow-prod-down
3689×flip--
3688×flip3--
3478×frac-times
3345×associate-/r/
2938×cbrt-undiv
2803×associate-*l/
2794×cbrt-div
2709×unswap-sqr
2633×sqrt-div
2619×div-inv
1855×log-prod
1520×*-commutative
1518×cube-prod
1408×swap-sqr
1386×sqrt-pow1
1343×pow1/3
1336×sqr-pow
1289×frac-add
1138×sub-neg
1044×distribute-rgt-in distribute-lft-in
1013×associate-/l/
940×pow-unpow
939×sum-log
840×clear-num frac-2neg
807×pow1/2
768×distribute-rgt-neg-in
750×log-pow
663×1-exp
655×exp-prod
654×rec-exp
600×diff-log
564×pow-prod-up
503×+-commutative
498×distribute-lft-neg-in
461×associate-+r+
448×frac-sub
414×pow-sqr
358×pow-pow
321×rem-sqrt-square
304×associate-+l+
272×associate--l+
242×div-sub
220×cube-div
185×log-div
175×pow-plus
163×pow2
159×neg-sub0
156×cube-mult
155×unpow3
148×unpow2
131×tan-quot
125×rem-log-exp neg-mul-1
118×pow-flip
117×exp-sum
106×un-div-inv
101×cos-mult
98×rem-cube-cbrt
93×associate-+r-
90×inv-pow exp-diff
82×exp-neg
81×distribute-rgt-neg-out
68×sqrt-unprod
67×distribute-neg-frac associate--r+
66×neg-log
64×associate-+l-
57×associate--l-
48×sin-mult
47×pow-sub
41×distribute-rgt-out--
39×unsub-neg
37×rem-cbrt-cube
36×distribute-frac-neg
34×sinh-def rem-square-sqrt distribute-rgt-out tanh-def-b tanh-def-a tanh-def-c
33×sub-div
29×rem-exp-log
26×unpow-prod-up
25×sum-cubes
24×cosh-def
22×cos-diff
20×sin-sum
19×cos-sum sin-diff
17×difference-cubes
15×sin-cos-mult
14×acos-asin associate--r-
13×asin-acos
12×sqrt-pow2
11×unpow1/3 pow-neg difference-of-sqr-1
10×distribute-neg-in
9×distribute-lft-neg-out distribute-rgt1-in
8×sqrt-undiv
5×distribute-lft1-in diff-cos count-2
4×tan-sum
3×acos-neg
2×pow3 sqr-cos-a
1×cube-neg tanh-undef e-exp-1 exp-to-pow diff-sin log-rec diff-atan mul0-rgt remove-double-div

bsearch3.1min (8.7%)

regimes2.5min (7.1%)

Accuracy

Total 447.9b remaining (31.3%)

Threshold costs 59.7b (4.2%)

18.5b20.7%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
15.4b2.7%Linear.Matrix:det44 from linear-1.19.1.3
14.2b55.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.8b56.7%math.log10 on complex, real part
10.6b57.4%math.log/1 on complex, real part

series2.0min (5.7%)

Calls

4846 calls:

2.3s
(- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
2.1s
(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 (* (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*))))))))

simplify1.8min (5.2%)

Algorithm
2538×egg-herbie

localize19.8s (0.9%)

end18.0ms (0.0%)

Profiling

Loading profile data...