Date:Thursday, May 28th, 2020
Commit:002bf197 on no-eval
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

sample5.0m (38.4%)

Algorithm
539×intervals
Results
1.7m2655610×body80valid
27.5s522611×body80nan
19.2s46997×body1280valid
11.2s44412×body640valid
4.3s25127×body320valid
4.0s5405×body2560valid
1.6s13976×body160valid
168.0ms1036×body640nan
168.0ms836×body1280nan
126.0ms49×body5120valid
84.0ms1570×body80overflowed
74.0ms622×body320nan
31.0ms389×body160nan

prune3.4m (25.8%)

Filtered
89136 candidates to 57849 candidates (35.1%)

regimes1.6m (12.3%)

Accuracy

Total 191.5b remaining (33.9%)

Threshold costs 26.2b (4.6%)

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 (9.5%)

Calls

2518 calls:

25.1s
(/ (* (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)))))
628.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (cbrt (+ (+ x t) y)))
399.0ms
(/ (cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b)))) (cbrt (- (+ (* x y) (* z t)) (* a b))))
354.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
333.0ms
(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))

simplify1.2m (9.2%)

Algorithm
1428×egg-herbie

rewrite24.0s (3.1%)

Algorithm
889×rewrite-expression-head
Calls

2518 calls:

194.0ms
(- (* x x) y)
116.0ms
(* (/ 1 (* (cbrt (- y t)) (cbrt (- y t)))) (/ (/ x (/ (cbrt (- y t)) 2.0)) z))
108.0ms
(* (/ 1 (sqrt (/ (+ x 1.0) (+ (/ x y) 1.0)))) (/ x (sqrt (/ (+ x 1.0) (+ (/ x y) 1.0)))))
98.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))))
95.0ms
(+ x (/ (/ y (- z a)) (/ 1 (- z t))))
Rules
41838×times-frac
37001×*-un-lft-identity
35960×add-sqr-sqrt
25013×add-cube-cbrt
11785×add-exp-log
8900×add-cbrt-cube
7988×sqrt-prod
7418×cbrt-prod
7206×associate-*r*
6661×pow1
5748×associate-*l/
5153×associate-*r/
4602×flip3-- flip--
4149×associate-*l*
3957×add-log-exp
3648×difference-of-squares
3471×prod-exp
3420×distribute-lft-out--
3386×frac-times
3307×associate-/r*
2889×cbrt-unprod
2872×frac-sub
2825×div-exp
2813×distribute-lft-out
2537×cbrt-div
2351×associate-/l*
2346×flip-+ flip3-+
2150×associate-/r/
2071×unpow-prod-down
1993×div-inv
1978×cbrt-undiv
1913×pow-prod-down
1651×log-prod
1521×unswap-sqr
1488×sqrt-div
1376×distribute-rgt-in distribute-lft-in
1150×associate-/l/
1008×cube-prod
903×pow1/3
819×swap-sqr
789×*-commutative
699×sub-neg
674×frac-add
532×sum-log
521×clear-num frac-2neg
487×associate-+l+
417×associate--l+
391×sqrt-pow1
380×associate-+r+
362×sqr-pow
326×1-exp
305×rec-exp
295×diff-log
294×pow-prod-up
292×+-commutative
251×log-pow
233×pow-sqr
217×pow1/2
178×exp-sum
162×pow-exp
159×pow-unpow
128×unpow2
124×pow-plus
120×sub-div
117×exp-prod
103×div-sub
102×pow2
98×pow-to-exp pow-pow
94×cube-div
89×rem-sqrt-square
86×log-div
78×pow-flip
71×distribute-lft-neg-out
70×inv-pow
63×sinh-def
60×log-rec
59×associate--r+ rem-log-exp
48×distribute-rgt-out--
46×unpow3 cube-mult distribute-rgt-neg-out
43×un-div-inv
42×exp-diff unsub-neg associate-+l-
40×associate-+r- distribute-neg-frac
39×tanh-def
34×rem-cube-cbrt
27×distribute-rgt-neg-in distribute-lft-neg-in
23×distribute-rgt-out
19×cosh-def
18×distribute-neg-out
15×rem-cbrt-cube
13×associate--l- sqrt-unprod sqrt-undiv neg-mul-1
12×rem-exp-log 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 sum-cubes mul-1-neg
3×cos-diff sin-mult
2×difference-of-sqr-1 cos-sum
1×pow3 pow-sub cos-mult

localize9.4s (1.2%)

bsearch3.2s (0.4%)

end4.0ms (0.0%)

Profiling

Loading profile data...