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

sample7.8min (26.8%)

Algorithm
818×intervals
Results
1.9min2847810×body80valid
1.7min192282×body1280valid
41.7s138880×body640valid
28.0s317776×body80invalid
25.1s30370×body2560valid
15.1s82792×body320valid
12.7s9805×body5120exit
8.5s67593×body160valid
7.8s18248×body1280invalid
7.3s105960×body80nan
5.2s243134×pre80true
4.5s16103×body640invalid
2.8s7059×body1280nan
1.6s5371×body640nan
1.5s8190×body320invalid
1.1s7070×body80overflowed
1.0s959×body1280overflowed
750.0ms4403×body160invalid
600.0ms3134×body2560nan
528.0ms2860×body320nan
510.0ms1217×body5120valid
425.0ms611×body640overflowed
145.0ms1278×body160nan
141.0ms320×body320overflowed
101.0ms60×body2560invalid
92.0ms144×body2560overflowed
42.0ms164×body160overflowed
4.0ms2×body5120nan
2.0ms142×pre80false

analyze5.9min (20.3%)

Algorithm
818×search
Search
TrueOtherFalseIter
0%94.4%5.6%0
3.2%91.2%5.6%1
6.3%87.5%6.2%2
14.7%77.8%7.5%3
20%70.5%9.5%4
27.7%61.8%10.5%5
32.6%55.3%12.1%6
38.4%47.6%13.9%7
41.9%43.2%14.9%8
46.1%37.9%16.1%9
49.1%33.5%17.4%10
51.9%30.1%18.1%11
54.1%27.1%18.8%12
56.5%23.9%19.7%13
57.9%22.1%20%14

prune4.4min (15.0%)

Filtered
130696 candidates to 84817 candidates (35.1%)

rewrite2.9min (10.1%)

Algorithm
1365×rewrite-expression-head
Calls

4087 calls:

1.0s
(/ (+ 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))))
195.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))
193.0ms
(* (* x (/ (sqrt 2.0) z)) (/ (sqrt 2.0) (- y t)))
188.0ms
(* (/ y (cbrt (- a t))) (/ (/ (- t z) (cbrt (- a t))) (cbrt (- a t))))
158.0ms
(* (sqrt (* PI 2.0)) (* (* (/ (+ (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))) (+ (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (+ 2.0 (neg z)))) (+ (/ 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))) 0.9999999999998099))))) (exp (- (+ 7.0 0.5) z))) (pow (- (+ 7.0 0.5) z) (+ (neg z) 0.5))) (/ PI (sin (* PI z)))))
Rules
59393×*-un-lft-identity
54093×times-frac
47677×add-sqr-sqrt
33013×add-cube-cbrt
17618×add-exp-log
13765×sqrt-prod
13673×add-cbrt-cube
11190×associate-*r*
11044×pow1
10106×distribute-lft-out
7985×cbrt-prod
6325×add-log-exp
6273×associate-*l*
5741×prod-exp
4862×difference-of-squares
4347×associate-/l*
4278×distribute-lft-out--
4118×cbrt-unprod
4040×associate-*r/
3472×associate-/r*
3453×flip-+
3452×flip3-+
3422×div-exp
3281×flip--
3280×flip3--
3092×pow-prod-down
3063×unpow-prod-down
3052×frac-times
2928×associate-/r/
2525×cbrt-div
2449×associate-*l/
2376×cbrt-undiv
2238×unswap-sqr
2221×sqrt-div
2220×div-inv
1684×log-prod
1328×cube-prod
1322×swap-sqr
1257×*-commutative
1250×sqrt-pow1 pow1/3
1127×frac-add
969×sub-neg
908×associate-/l/
864×distribute-rgt-in distribute-lft-in
835×sqr-pow
732×sum-log
726×clear-num frac-2neg
691×pow1/2
667×log-pow
636×pow-exp
597×pow-unpow
562×distribute-rgt-neg-in
538×pow-prod-up
518×diff-log
490×exp-prod
466×pow-to-exp
426×+-commutative
394×pow-sqr
393×associate-+r+
382×1-exp
373×rec-exp
357×frac-sub
335×distribute-lft-neg-in
270×associate--l+ pow-pow
258×associate-+l+
242×rem-sqrt-square
189×div-sub
166×pow-plus
165×log-div
155×pow2
127×cube-mult unpow3
125×cube-div
119×unpow2
106×exp-sum
104×rem-log-exp
102×cos-mult
100×pow-flip
85×neg-mul-1
84×tan-quot
82×associate-+r-
81×inv-pow
80×rem-cube-cbrt
78×neg-sub0 un-div-inv
75×distribute-rgt-neg-out
59×sqrt-unprod associate-+l-
58×associate--r+
54×neg-log
49×sin-mult
48×associate--l-
41×distribute-rgt-out--
36×distribute-neg-frac
34×sinh-def tanh-def-b tanh-def-a unsub-neg tanh-def-c
33×sub-div
32×distribute-rgt-out
31×rem-square-sqrt
27×rem-cbrt-cube exp-diff
25×sum-cubes
24×unpow-prod-up cosh-def
20×sin-sum distribute-frac-neg rem-exp-log
19×cos-diff sin-diff
18×pow-sub
17×difference-cubes
16×cos-sum
15×sin-cos-mult
14×associate--r-
11×unpow1/3 difference-of-sqr-1
10×sqrt-pow2
9×distribute-lft-neg-out acos-asin asin-acos
8×distribute-neg-in
7×distribute-rgt1-in
5×exp-neg distribute-lft1-in diff-cos count-2
4×tan-sum
3×acos-neg
2×sqrt-undiv sqr-cos-a
1×cube-neg tanh-undef e-exp-1 exp-to-pow diff-sin log-rec diff-atan pow3 remove-double-div

bsearch2.7min (9.1%)

regimes2.2min (7.5%)

Accuracy

Total 373.2b remaining (34.5%)

Threshold costs 50.8b (4.7%)

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

simplify1.5min (5.3%)

Algorithm
2180×egg-herbie

series1.5min (5.1%)

Calls

4087 calls:

2.3s
(- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
1.6s
(* (+ d1 (sqrt (* d1 (+ d2 (- d4 d3))))) (- (sqrt (* d1 (+ d2 (- d4 d3)))) d1))
860.0ms
(- (pow 1.0 3) (* (sqrt (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (/ (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (exp (pow (fabs x) 2)))) 3)) (sqrt (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (/ (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (exp (pow (fabs x) 2)))) 3))))
850.0ms
(- (pow 1.0 3) (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (/ (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (exp (pow (fabs x) 2)))) 3))
525.0ms
(cbrt (* (- y x) (/ (- z t) (- a t))))

localize16.2s (0.9%)

end16.0ms (0.0%)

Profiling

Loading profile data...