Date:Thursday, July 2nd, 2020
Commit:4348ca69 on movability-off
Hostname:warfa with Racket 7.5
Seed:2020184
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.2min (46.1%)

Algorithm
537×intervals
Results
1.8min2650625×body80valid
27.3s501511×body80nan
20.2s46500×body1280valid
11.2s41628×body640valid
4.4s23811×body320valid
4.2s5458×body2560valid
1.6s13544×body160valid
891.0ms1574×body5120exit
189.0ms900×body1280nan
174.0ms1027×body640nan
169.0ms62×body5120valid
75.0ms609×body320nan
30.0ms368×body160nan

prune1.9min (17.0%)

Filtered
84426 candidates to 55767 candidates (33.9%)

regimes1.7min (14.9%)

Accuracy

Total 213.4b remaining (39.1%)

Threshold costs 29.8b (5.5%)

19.6b19.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
14.3b3.7%Linear.Matrix:det44 from linear-1.19.1.3
13.3b58.2%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.5b2.2%Linear.Matrix:det33 from linear-1.19.1.3
9.9b58.2%Data.Octree.Internal:octantDistance from Octree-0.5.4.2

series57.4s (8.5%)

Calls

2682 calls:

1.8s
(pow (+ (* x y) (+ (* z t) (* a b))) 3)
1.2s
(/ (+ (pow (/ y (- (* 1.1283791670955126 (exp z)) (* y x))) 3) (pow x 3)) (+ (* x x) (* y (/ (- (/ y (- (* 1.1283791670955126 (exp z)) (* y x))) x) (- (* 1.1283791670955126 (exp z)) (* y x))))))
612.0ms
(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (cbrt (+ x (+ y t))))
602.0ms
(cbrt (pow (log (- 1.0 (/ y x))) 2))
404.0ms
(* (cbrt (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (cbrt (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))))

simplify53.5s (7.9%)

Algorithm
1435×egg-herbie

rewrite22.3s (3.3%)

Algorithm
899×rewrite-expression-head
Calls

2682 calls:

155.0ms
(* (/ 1 (sqrt 10.0)) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0))))
64.0ms
(/ (/ 1 (* (cbrt (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i)) (cbrt (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i)))) (/ (cbrt (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i)) (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t)))
50.0ms
(* (* (/ y (pow (cbrt t) 2)) (* (cbrt (- z x)) (/ (cbrt (- z x)) (cbrt (pow (cbrt t) 2))))) (/ (cbrt (- z x)) (cbrt (cbrt t))))
48.0ms
(* (/ x (+ y x)) (/ (/ y (+ y x)) (+ x (+ y 1.0))))
46.0ms
(* (sqrt (/ (- x y) (- 2.0 (+ x y)))) (sqrt (/ (- x y) (- 2.0 (+ x y)))))
Rules
30008×*-un-lft-identity
28896×add-sqr-sqrt
25667×times-frac
18678×add-cube-cbrt
12195×add-exp-log
9260×add-cbrt-cube
8474×cbrt-prod
8431×associate-*r*
7400×pow1
5198×sqrt-prod
4311×associate-*l*
4124×prod-exp
3903×add-log-exp
3344×cbrt-unprod
3080×distribute-lft-out--
2964×difference-of-squares
2623×distribute-lft-out
2551×cbrt-div
2445×associate-*r/
2406×div-exp
2285×pow-prod-down
2128×associate-/r*
1911×flip-+ flip3-+
1893×associate-/l*
1862×frac-times
1847×flip-- flip3--
1742×unpow-prod-down
1723×associate-/r/
1643×unswap-sqr
1637×cbrt-undiv
1614×associate-*l/
1441×div-inv
1253×distribute-rgt-in distribute-lft-in
1252×swap-sqr
1233×log-prod
1148×pow1/3
904×*-commutative
637×sub-neg
597×sqrt-div
535×sqrt-pow1
500×cube-prod
485×associate-+r+
459×sum-log
441×clear-num frac-2neg
432×associate-/l/
349×exp-prod
306×log-pow
304×pow-prod-up
300×pow1/2
297×+-commutative
290×frac-add
286×sqr-pow
284×pow-exp
268×1-exp associate--l+
259×rec-exp
258×associate-+l+
252×pow-sqr
240×pow-to-exp
225×pow-unpow
223×diff-log
166×frac-sub
159×pow-pow
114×distribute-lft-neg-in rem-sqrt-square distribute-rgt-neg-in
106×pow2 pow-plus
90×div-sub
89×cube-div pow-flip
76×associate--r+
70×log-div
67×rem-log-exp inv-pow cube-mult unpow3
57×distribute-rgt-neg-out
56×unpow-prod-up
55×exp-sum
53×un-div-inv
50×tanh-def
36×distribute-rgt-out--
35×associate-+r-
34×difference-of-sqr--1
32×neg-mul-1 rem-cube-cbrt
28×sinh-def
25×distribute-rgt-out unpow2
24×distribute-neg-frac
22×sqrt-unprod associate-+l-
20×rem-exp-log
18×rem-square-sqrt
17×sub-div rem-cbrt-cube
13×cosh-def distribute-rgt1-in exp-diff pow-sub
12×unsub-neg
11×associate--l-
9×sum-cubes
8×tan-quot
6×unpow1/3 distribute-frac-neg
5×distribute-lft1-in count-2
4×diff-cos sqrt-pow2
3×cos-diff associate--r-
2×neg-sub0 difference-cubes e-exp-1 cos-sum exp-to-pow
1×distribute-lft-neg-out sqrt-undiv remove-double-div sum-cos

localize9.9s (1.5%)

bsearch6.1s (0.9%)

end4.0ms (0.0%)

Profiling

Loading profile data...