Date:Friday, May 8th, 2020
Commit:4abb449a on separate-biginterval
Hostname:warfa with Racket 7.5
Seed:2020129
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample4.5m (29.6%)

Algorithm
539×intervals
Results
1.9m2659427×body80valid
31.5s526563×body80nan
20.2s47405×body1280valid
11.6s43398×body640valid
4.6s25356×body320valid
4.5s5841×body2560valid
1.7s13936×body160valid
206.0ms1146×body640nan
188.0ms871×body1280nan
112.0ms40×body5120valid
103.0ms1742×body80overflowed
82.0ms643×body320nan
31.0ms340×body160nan

series4.4m (28.9%)

Calls

2524 calls:

5.1s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
5.0s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
4.9s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
1.2s
(+ (* (+ y 0.5) (* 2 (log (pow y 1/3)))) (* (log (cbrt y)) (+ y 0.5)))
857.0ms
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (log (pow (/ 1 c) -1/3)) (- (* 3 b) 1.5))) (* y i))

prune3.5m (23.0%)

Filtered
87228 candidates to 57628 candidates (66.1%)

simplify1.2m (8.1%)

Algorithm
1425×egg-herbie

regimes53.5s (5.8%)

Accuracy

Total 221.0b remaining (38.5%)

Threshold costs 24.2b (4.2%)

18.4b11.8%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.7b-22.8%Linear.Matrix:det44 from linear-1.19.1.3
12.5b60.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.8b54.7%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.1b29.4%Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3

rewrite24.8s (2.7%)

Algorithm
886×rewrite-expression-head
Calls

2524 calls:

366.0ms
(* (/ x (/ (fabs (cbrt (cbrt (- (* z z) (* t a))))) y)) (/ (/ 1 (/ (fabs (cbrt (- (* z z) (* t a)))) z)) (sqrt (cbrt (cbrt (- (* z z) (* t a)))))))
111.0ms
(+ x (/ 1 (/ (/ (- a t) (- z t)) (- y x))))
108.0ms
(* (cbrt (/ (/ x (+ x y)) (+ x y))) (cbrt (/ (/ x (+ x y)) (+ x y))))
102.0ms
(* (/ (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z)))))
98.0ms
(* (/ 1/4 1.0) (/ (pow x 3) (pow (+ (sqrt 1.0) 1.0) 3)))
Rules
41958×times-frac
37677×*-un-lft-identity
35853×add-sqr-sqrt
24229×add-cube-cbrt
11229×add-exp-log
11022×cbrt-prod
8858×add-cbrt-cube
7829×associate-*r*
7277×pow1
4841×associate-*l*
4006×add-log-exp
3929×sqrt-prod
3745×distribute-lft-out--
3653×difference-of-squares
3597×unpow-prod-down
3480×prod-exp
3116×distribute-lft-out
2925×associate-/r*
2874×cbrt-unprod
2328×div-exp
2237×cbrt-div
2225×pow-prod-down
2179×flip-- flip3--
2080×associate-*r/
2046×div-inv
1984×associate-/l*
1842×associate-/r/
1798×flip-+ flip3-+
1726×cbrt-undiv
1725×log-prod
1703×associate-*l/
1693×frac-times
1685×unswap-sqr
1493×distribute-rgt-in distribute-lft-in
1233×swap-sqr
980×sqrt-div
972×pow1/3
846×*-commutative
768×cube-prod
719×exp-sum
700×sub-neg
567×sqrt-pow1
537×sum-log
531×associate-+l+
508×sqr-pow
505×associate-/l/
483×frac-sub
472×clear-num frac-2neg
457×associate-+r+
352×pow-prod-up
346×associate--l+
312×diff-log
309×pow1/2
303×+-commutative
301×pow-sqr
264×frac-add log-pow
262×pow-exp
208×1-exp
197×pow-to-exp
191×rec-exp
160×pow-unpow
137×pow-plus
123×pow2
121×exp-prod
110×div-sub
104×unpow2
95×pow-pow
83×distribute-rgt-out
82×rem-sqrt-square log-div
75×unpow3 cube-mult
60×associate--r+
58×cube-div
48×pow-flip
47×associate-+l-
44×rem-log-exp
43×un-div-inv sinh-def
41×inv-pow
40×tanh-def
33×sqrt-unprod
32×distribute-rgt1-in
31×distribute-rgt-neg-out
26×rem-cube-cbrt
25×cosh-def
23×distribute-rgt-out-- sub-div
22×associate-+r-
21×unpow-prod-up
20×distribute-lft-neg-in distribute-rgt-neg-in
19×sum-cubes
18×rem-square-sqrt
16×rem-exp-log unsub-neg
15×distribute-lft-neg-out
14×rem-cbrt-cube
13×associate--l-
12×distribute-neg-frac
10×difference-cubes unpow1/3
8×exp-diff tan-quot neg-mul-1 associate--r-
7×distribute-lft1-in
6×sqrt-pow2 count-2 exp-to-pow
5×neg-sub0
4×neg-log diff-cos
3×cos-diff pow-sub sin-mult cos-mult
2×e-exp-1 difference-of-sqr-1 cos-sum log-rec
1×pow-div

localize10.4s (1.1%)

bsearch7.0s (0.8%)

end4.0ms (0.0%)

Profiling

Loading profile data...