Date:Thursday, May 28th, 2020
Commit:213afc1a on master
Hostname:warfa with Racket 7.5
Seed:2020149
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

prune11.3m (52.8%)

Filtered
88545 candidates to 57499 candidates (35.1%)

sample5.0m (23.2%)

Algorithm
538×intervals
Results
1.7m2647610×body80valid
26.1s514624×body80nan
19.0s46997×body1280valid
11.0s44412×body640valid
4.2s25127×body320valid
4.1s5405×body2560valid
1.5s13976×body160valid
169.0ms836×body1280nan
168.0ms1036×body640nan
144.0ms49×body5120valid
82.0ms1570×body80overflowed
73.0ms622×body320nan
30.0ms389×body160nan

regimes2.0m (9.2%)

Accuracy

Total 189.2b remaining (33.6%)

Threshold costs 26.2b (4.7%)

14.4b-32.9%Linear.Matrix:det44 from linear-1.19.1.3
12.3b61.2%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.5b-17.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
9.6b59%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
7.5b-2.2%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3

series1.2m (5.9%)

Calls

2511 calls:

24.9s
(/ (* (cbrt (- (* (* x (+ (+ (+ (+ y z) z) y) t)) (* x (+ (+ (+ (+ y z) z) y) t))) (* (* y 5.0) (* y 5.0)))) (cbrt (- (* (* x (+ (+ (+ (+ y z) z) y) t)) (* x (+ (+ (+ (+ y z) z) y) t))) (* (* y 5.0) (* y 5.0))))) (* (cbrt (- (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))) (cbrt (- (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0)))))
622.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (cbrt (+ (+ x t) y)))
384.0ms
(/ (cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b)))) (cbrt (- (+ (* x y) (* z t)) (* a b))))
366.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
364.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (* (+ (* (+ y a) y) b) y)) (* (cbrt (+ (* (+ y a) y) b)) (cbrt y))) (cbrt (* (+ (* (+ y a) y) b) y))) c) y) i))

simplify1.2m (5.8%)

Algorithm
1426×egg-herbie

rewrite24.2s (1.9%)

Algorithm
888×rewrite-expression-head
Calls

2511 calls:

208.0ms
(* j (- (* c a) (* y i)))
121.0ms
(* (/ 1 (sqrt (/ (+ x 1.0) (+ (/ x y) 1.0)))) (/ x (sqrt (/ (+ x 1.0) (+ (/ x y) 1.0)))))
106.0ms
(* (/ 1 (* (cbrt (- y t)) (cbrt (- y t)))) (/ (/ x (/ (cbrt (- y t)) 2.0)) z))
103.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (+ a (/ 5.0 6.0)) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
101.0ms
(* (/ (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z)))))
Rules
41240×times-frac
36678×*-un-lft-identity
35585×add-sqr-sqrt
24714×add-cube-cbrt
11731×add-exp-log
8862×add-cbrt-cube
7952×sqrt-prod
7397×cbrt-prod
7166×associate-*r*
6632×pow1
5685×associate-*l/
5110×associate-*r/
4602×flip3-- flip--
4127×associate-*l*
3946×add-log-exp
3640×difference-of-squares
3472×prod-exp
3412×distribute-lft-out--
3350×frac-times
3234×associate-/r*
2882×cbrt-unprod
2872×frac-sub
2810×distribute-lft-out
2793×div-exp
2502×cbrt-div
2339×flip-+ flip3-+
2335×associate-/l*
2107×associate-/r/
2061×unpow-prod-down
1964×div-inv
1950×cbrt-undiv
1913×pow-prod-down
1651×log-prod
1502×unswap-sqr
1466×sqrt-div
1375×distribute-rgt-in distribute-lft-in
1141×associate-/l/
1007×cube-prod
902×pow1/3
801×swap-sqr
789×*-commutative
699×sub-neg
607×frac-add
530×sum-log
517×clear-num frac-2neg
487×associate-+l+
417×associate--l+
378×associate-+r+ sqrt-pow1
360×sqr-pow
326×1-exp
305×rec-exp
295×diff-log
290×+-commutative
287×pow-prod-up
251×log-pow
228×pow-sqr
204×pow1/2
178×exp-sum
159×pow-exp
153×pow-unpow
128×unpow2
122×pow-plus
120×sub-div
117×exp-prod
102×div-sub
100×pow2
96×pow-to-exp
87×pow-pow
86×log-div
84×rem-sqrt-square
77×pow-flip
71×distribute-lft-neg-out
69×inv-pow
63×sinh-def
60×log-rec
59×associate--r+ rem-log-exp
50×cube-div
48×distribute-rgt-out--
46×distribute-rgt-neg-out
45×unpow3 cube-mult
43×un-div-inv
42×exp-diff unsub-neg associate-+l-
40×associate-+r-
39×tanh-def
32×rem-cube-cbrt
27×distribute-rgt-neg-in distribute-lft-neg-in
23×distribute-rgt-out
22×distribute-neg-frac
19×cosh-def
18×distribute-neg-out
15×rem-cbrt-cube
13×associate--l- sqrt-undiv neg-mul-1
12×rem-exp-log sqrt-unprod
11×rem-square-sqrt
9×difference-cubes
7×sqrt-pow2 exp-to-pow tan-quot
6×unpow1/3 distribute-rgt1-in neg-sub0
5×distribute-lft1-in diff-cos count-2 associate--r-
4×neg-log mul-1-neg
3×cos-diff sin-mult
2×difference-of-sqr-1 cos-sum
1×pow3 pow-sub cos-mult

localize9.4s (0.7%)

bsearch7.1s (0.6%)

end5.0ms (0.0%)

Profiling

Loading profile data...