Date:Wednesday, June 3rd, 2020
Commit:ad17e535 on web-tweaks
Hostname:warfa with Racket 7.5
Seed:2020155
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample13.6min (49.3%)

Algorithm
951×intervals
Results
3.2min4155473×body80valid
2.3min256044×body1280valid
56.4s1042982×body80nan
56.1s181040×body640valid
55.6s9547×body5120exit
36.7s42409×body2560valid
20.8s106212×body320valid
11.5s91758×body160valid
8.9s398857×pre80true
7.8s9383×body1280nan
6.6s4992×body5120valid
5.6s56586×body80overflowed
4.6s7303×body640nan
1.6s3790×body320nan
579.0ms3008×body2560nan
522.0ms2010×body160nan
355.0ms16789×pre80false
5.0ms2×body1280overflowed
2.0ms4×body160overflowed
1.0ms1×body640overflowed

prune5.2min (18.8%)

Filtered
171205 candidates to 105560 candidates (38.3%)

regimes2.8min (10.0%)

Accuracy

Total 448.5b remaining (30.7%)

Threshold costs 55.7b (3.8%)

15.1b-39%Linear.Matrix:det44 from linear-1.19.1.3
12.2b43.7%math.sqrt on complex, imaginary part, im greater than 0 branch
12.0b62.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.1b16.1%Toniolo and Linder, Equation (13)
10.7b57.1%math.log10 on complex, real part

simplify2.6min (9.6%)

Algorithm
2549×egg-herbie

series2.0min (7.2%)

Calls

4755 calls:

2.3s
(- (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* c c))
2.1s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
2.0s
(sqrt (* (* 2.0 n) (* U (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))
2.0s
(sqrt (* (* 2.0 n) (* U (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))
2.0s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

rewrite56.8s (3.4%)

Algorithm
1602×rewrite-expression-head
Calls

4755 calls:

1.1s
(* (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (* (+ (* (* (pow (* x x) 4) (- (* 0.0005064034 0.0005064034) (* (* (* x x) 0.0001789971) (* (* x x) 0.0001789971)))) (- 1.0 (* 0.1049934947 (* x x)))) (* (- 0.0005064034 (* (* x x) 0.0001789971)) (- (* 1.0 1.0) (* (* 0.1049934947 (* x x)) (* 0.1049934947 (* x x)))))) (- 0.0424060604 (* (* x x) 0.0072644182))) (* (* (- 0.0005064034 (* (* x x) 0.0001789971)) (- 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (- (* 0.0424060604 0.0424060604) (* (* (* x x) 0.0072644182) (* (* x x) 0.0072644182))))))) (* (* (- 0.0005064034 (* (* x x) 0.0001789971)) (- 1.0 (* 0.1049934947 (* x x)))) (- 0.0424060604 (* (* x x) 0.0072644182))))
610.0ms
(/ x (* (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (* (+ (* (* (pow (* x x) 4) (- (* 0.0005064034 0.0005064034) (* (* (* x x) 0.0001789971) (* (* x x) 0.0001789971)))) (- 1.0 (* 0.1049934947 (* x x)))) (* (- 0.0005064034 (* (* x x) 0.0001789971)) (- (* 1.0 1.0) (* (* 0.1049934947 (* x x)) (* 0.1049934947 (* x x)))))) (- 0.0424060604 (* (* x x) 0.0072644182))) (* (* (- 0.0005064034 (* (* x x) 0.0001789971)) (- 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (- (* 0.0424060604 0.0424060604) (* (* (* x x) 0.0072644182) (* (* x x) 0.0072644182))))))) (* (* (- 0.0005064034 (* (* x x) 0.0001789971)) (- 1.0 (* 0.1049934947 (* x x)))) (- 0.0424060604 (* (* x x) 0.0072644182)))))
489.0ms
(* (/ y (* (* (cbrt (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))) (cbrt (* (cbrt (- a t)) (cbrt (- a t)))))) (/ (- z t) (cbrt (- a t))))
465.0ms
(* (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (sqrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))) (/ (/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0))) (sqrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))))
425.0ms
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (* (+ (* (* (pow (* x x) 4) (- (* 0.0005064034 0.0005064034) (* (* (* x x) 0.0001789971) (* (* x x) 0.0001789971)))) (- 1.0 (* 0.1049934947 (* x x)))) (* (- 0.0005064034 (* (* x x) 0.0001789971)) (- (* 1.0 1.0) (* (* 0.1049934947 (* x x)) (* 0.1049934947 (* x x)))))) (- 0.0424060604 (* (* x x) 0.0072644182))) (* (* (- 0.0005064034 (* (* x x) 0.0001789971)) (- 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (- (* 0.0424060604 0.0424060604) (* (* (* x x) 0.0072644182) (* (* x x) 0.0072644182)))))))
Rules
72613×add-exp-log
66631×times-frac
63384×*-un-lft-identity
61689×add-sqr-sqrt
43168×prod-exp
41492×frac-times
41038×add-cube-cbrt
38831×flip--
38830×flip3--
31027×associate-*r/
24350×associate-*l/
23113×frac-add
19473×div-exp
19161×add-cbrt-cube
15743×pow-exp
14741×associate-*l*
14689×associate-/r/
13056×sqrt-prod
12933×associate-*r*
12929×pow1
9218×cbrt-div
8344×cbrt-prod
7654×add-log-exp
6657×pow-to-exp
6483×difference-of-squares
6295×cbrt-unprod
6225×flip-+
6224×flip3-+
6078×distribute-lft-out--
5549×distribute-lft-out
5486×associate-/r*
4974×unpow-prod-down
4646×associate-/l*
3928×cbrt-undiv
3452×pow-prod-down
3365×div-inv
3096×unswap-sqr
2855×1-exp
2698×frac-sub
2532×log-prod
2418×sqrt-div
1899×cube-prod
1811×distribute-rgt-in distribute-lft-in
1737×rec-exp
1469×sqr-pow
1448×*-commutative
1407×swap-sqr
1254×pow1/3
1236×sqrt-pow1
1197×sub-neg
1169×associate-/l/
1053×exp-prod
1006×log-pow
958×pow-unpow
953×clear-num frac-2neg
894×sum-log
876×distribute-rgt-neg-in
707×diff-log
672×pow-prod-up
670×pow1/2
550×associate-+l+
508×unpow2
481×distribute-lft-neg-in
474×+-commutative
456×associate-+r+
440×associate--l+
429×pow-sqr
352×pow-plus
325×rem-sqrt-square
275×div-sub
270×pow-pow
266×exp-diff
231×log-div
228×neg-sub0
219×tan-quot
203×cube-div pow2
197×exp-neg
193×cos-mult
186×sin-mult
176×cube-mult unpow3
154×distribute-neg-frac
146×rem-log-exp
125×neg-mul-1
124×pow-sub
122×associate-+l-
121×exp-sum
119×associate--r+
116×un-div-inv
102×pow-flip
96×rem-cube-cbrt
95×inv-pow
83×rem-exp-log
65×associate--l-
64×neg-log
62×tanh-def
49×distribute-rgt-out
48×associate-+r-
47×distribute-rgt-neg-out
42×sqrt-unprod rem-cbrt-cube
40×distribute-rgt-out--
32×unpow1/3 unsub-neg
31×difference-cubes cosh-def
29×cos-sum distribute-frac-neg
27×rem-square-sqrt
26×sub-div
25×cos-diff
23×sum-cubes
20×distribute-lft-neg-out sin-cos-mult
19×exp-to-pow sin-sum associate--r-
17×sin-diff
16×pow3
15×pow-neg
14×acos-asin distribute-lft1-in difference-of-sqr-1
12×sinh-def log-rec
11×sqrt-undiv
9×distribute-neg-in
8×diff-cos distribute-rgt1-in
7×sqrt-pow2 count-2 pow-div
5×acos-neg unpow-prod-up asin-acos
4×tan-sum
3×e-exp-1
2×+-inverses distribute-neg-out
1×cube-neg tanh-undef mul-1-neg diff-sin mul0 diff-atan

localize20.8s (1.3%)

bsearch7.5s (0.5%)

end8.0ms (0.0%)

Profiling

Loading profile data...