Date:Tuesday, July 21st, 2020
Commit:7c127d0c on cleanup
Hostname:warfa with Racket 7.5
Seed:2020203
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

prune3.3min (25.9%)

sample3.3min (25.4%)

Algorithm
503×intervals
Results
1.1min1824598×body80valid
25.7s287968×body80invalid
15.6s35655×body1280valid
10.8s38362×body640valid
6.1s89058×body80nan
3.8s20917×body320valid
2.0s6665×body1280invalid
1.3s11155×body160valid
1.3s6584×body640invalid
1.3s2433×body2560valid
535.0ms3767×body320invalid
216.0ms2202×body160invalid
179.0ms1079×body640nan
158.0ms820×body1280nan
71.0ms600×body320nan
47.0ms833×body80overflowed
32.0ms393×body160nan

analyze1.9min (14.5%)

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

Accuracy

Total 179.4b remaining (44.1%)

Threshold costs 29.0b (7.1%)

16.5b-4%Linear.Matrix:det44 from linear-1.19.1.3
13.9b55.5%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
7.1b62.9%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
6.9b39.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
6.6b25.2%Data.Colour.Matrix:determinant from colour-2.3.3, A

series1.2min (9.2%)

Calls

2661 calls:

4.4s
(/ (* x (pow (pow (exp (cbrt (- (log (* (pow z y) (pow a (- t 1.0)))) b))) (cbrt (- (log (* (pow z y) (pow a (- t 1.0)))) b))) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) y)
3.8s
(* (cbrt (+ (* (+ y (- t 2.0)) b) (- x (+ (* (- y 1.0) z) (* (- t 1.0) a))))) (cbrt (+ (* (+ y (- t 2.0)) b) (- x (+ (* (- y 1.0) z) (* (- t 1.0) a))))))
2.1s
(pow (pow (exp (cbrt (- (log (* (pow z y) (pow a (- t 1.0)))) b))) (cbrt (- (log (* (pow z y) (pow a (- t 1.0)))) b))) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
2.0s
(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
1.7s
(pow (+ (* x y) (+ (* z t) (* a b))) 3)

simplify59.9s (7.8%)

Algorithm
1401×egg-herbie

rewrite24.2s (3.1%)

Algorithm
898×rewrite-expression-head
Calls

2661 calls:

208.0ms
(+ (/ x y) (- (* (/ 2.0 t) (+ (/ 1 z) 1.0)) 2.0))
193.0ms
(* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))
65.0ms
(* (* (/ y (* (cbrt (- t a)) (cbrt (- t a)))) (* (/ (cbrt (- z t)) (cbrt (cbrt (- t a)))) (/ (cbrt (- z t)) (cbrt (cbrt (- t a)))))) (/ (cbrt (- z t)) (cbrt (cbrt (- t a)))))
57.0ms
(* (/ (/ (- y z) (* (cbrt (+ t (- 1.0 z))) (cbrt (+ t (- 1.0 z))))) (cbrt (- (+ t 1.0) z))) (- a x))
54.0ms
(* (- y x) (/ (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (- a t))))
Rules
28439×*-un-lft-identity
27214×add-sqr-sqrt
24969×times-frac
18253×add-cube-cbrt
11755×add-exp-log
9299×add-cbrt-cube
8376×cbrt-div
7937×associate-*r/
7868×associate-*r*
7734×pow1
6720×cbrt-prod
6038×frac-times
4608×associate-*l*
4539×sqrt-prod
4038×frac-sub
3891×add-log-exp
3826×prod-exp
3337×cbrt-unprod
2991×flip-- flip3--
2843×tanh-def-b tanh-def-a tanh-def-c
2673×distribute-lft-out
2588×difference-of-squares
2559×distribute-lft-out--
2454×pow-prod-down
2271×div-exp
2244×associate-*l/
2077×associate-/r*
2074×flip-+ flip3-+
1832×associate-/r/
1794×associate-/l*
1610×cbrt-undiv
1597×sqrt-div
1571×unswap-sqr
1536×unpow-prod-down
1423×div-inv
1116×log-prod
1070×pow1/3
896×*-commutative
887×swap-sqr
830×distribute-rgt-in distribute-lft-in
769×sqrt-pow1
617×sub-neg
607×frac-add
499×cube-prod
459×sum-log
425×pow1/2
420×clear-num associate-/l/ frac-2neg
394×associate-+r+
361×pow-prod-up
309×+-commutative
277×pow-sqr
270×1-exp
263×rec-exp
242×log-pow sqr-pow
240×associate--l+
223×diff-log
222×exp-prod
195×distribute-neg-frac
190×associate-+l+
180×pow-unpow
172×pow-exp
160×cube-div
138×pow-to-exp
116×pow-pow
109×pow-plus
105×rem-sqrt-square
103×pow2
91×div-sub
85×distribute-lft-neg-in distribute-rgt-neg-in
77×pow-flip
65×distribute-rgt-neg-out
63×log-div
59×inv-pow un-div-inv
55×cube-mult unpow3
54×rem-log-exp
50×distribute-rgt-out--
41×sqrt-unprod
40×exp-sum
37×associate-+r-
34×unpow2
33×rem-cube-cbrt
29×associate--r+
28×sinh-def
27×rem-square-sqrt
26×neg-mul-1 unsub-neg
21×distribute-rgt-out
20×associate-+l-
18×unpow-prod-up rem-cbrt-cube
17×sub-div
13×rem-exp-log
11×cosh-def
9×sum-cubes
8×distribute-rgt1-in pow-sub
7×sqrt-pow2 exp-diff
6×distribute-frac-neg
5×associate--l- distribute-lft1-in count-2 associate--r-
4×diff-cos
3×cos-diff unpow1/3
2×neg-sub0 difference-cubes cosh-undef pow3 tan-quot
1×acos-asin cos-sum sqrt-undiv exp-to-pow

localize9.7s (1.3%)

bsearch4.5s (0.6%)

end4.0ms (0.0%)

Profiling

Loading profile data...