Date:Thursday, July 9th, 2020
Commit:581c4e77 on evaluate-error-intervals
Hostname:warfa with Racket 7.5
Seed:2020191
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

sample6.7min (37.9%)

Algorithm
539×intervals
Results
1.1min2098785×body80valid
18.0s40381×body1280valid
12.3s41556×body640valid
4.3s5695×body2560valid
4.2s22751×body320valid
1.4s11912×body160valid
106.0ms40×body5120valid

prune2.8min (16.0%)

Filtered
86058 candidates to 57954 candidates (32.7%)

rewrite2.2min (12.5%)

Algorithm
902×rewrite-expression-head
Calls

2650 calls:

35.1s
(* (* (cbrt y) (cbrt y)) (* z (* (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))) (* (cbrt y) (* (* (cbrt (cbrt (- (tanh (/ t y)) (tanh (/ x y))))) (cbrt (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))))))
377.0ms
(log (/ (+ (pow (pow 1.0 3) 3) (pow (pow (/ (- y x) (- 1.0 y)) 3) 3)) (+ (pow 1.0 6) (- (pow (/ (- y x) (- 1.0 y)) 6) (* (pow 1.0 3) (pow (/ (- y x) (- 1.0 y)) 3))))))
281.0ms
(* (* (cbrt y) (cbrt y)) (* z (* (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))) (* (cbrt y) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))))
214.0ms
(/ (+ (pow (pow 1.0 3) 3) (pow (pow (/ (- y x) (- 1.0 y)) 3) 3)) (+ (pow 1.0 6) (- (pow (/ (- y x) (- 1.0 y)) 6) (* (pow 1.0 3) (pow (/ (- y x) (- 1.0 y)) 3)))))
160.0ms
(+ (pow (pow 1.0 3) 3) (pow (pow (/ (- y x) (- 1.0 y)) 3) 3))
Rules
30797×*-un-lft-identity
29473×add-sqr-sqrt
28003×times-frac
19527×add-cube-cbrt
11565×add-exp-log
9515×associate-*r/
8977×add-cbrt-cube
7813×associate-*r*
7729×cbrt-div
7492×pow1
7323×cbrt-prod
5521×frac-times
4634×frac-sub
4356×associate-*l*
4015×sqrt-prod
3967×add-log-exp
3675×prod-exp
3153×flip-- flip3--
3102×difference-of-squares
3019×distribute-lft-out--
3001×cbrt-unprod
2830×distribute-lft-out
2641×tanh-def-b tanh-def-a tanh-def-c
2508×unpow-prod-down
2382×associate-/r*
2319×pow-prod-down
2298×div-exp
2093×associate-/l*
2054×associate-*l/
2011×associate-/r/
1910×flip-+ flip3-+
1573×cbrt-undiv
1551×div-inv
1527×unswap-sqr
1387×log-prod
1271×cube-prod
997×pow1/3
989×distribute-rgt-in distribute-lft-in
890×sqrt-div
869×*-commutative
698×sqrt-pow1
673×associate-/l/
668×sub-neg
647×swap-sqr
519×sum-log
451×clear-num frac-2neg
399×log-pow
337×pow1/2
308×associate-+r+
307×pow-prod-up
302×+-commutative
285×frac-add sqr-pow
281×1-exp rec-exp
273×exp-prod
260×associate--l+
244×diff-log
240×pow-sqr
229×pow-exp
211×associate-+l+
200×pow-unpow
179×pow-to-exp
150×pow-pow
114×log-div
103×rem-sqrt-square
102×div-sub
91×pow-plus
88×pow2
87×pow-flip
77×cube-div
69×inv-pow
68×cube-mult
66×un-div-inv
65×rem-log-exp
62×unpow3
57×associate--r+
55×associate-+r-
53×exp-sum distribute-rgt-neg-out
44×distribute-rgt-neg-in
42×distribute-lft-neg-in unpow-prod-up
41×sinh-def rem-cube-cbrt
38×associate-+l-
27×unsub-neg
26×sqrt-unprod
25×distribute-rgt-out--
24×difference-of-sqr--1
23×cosh-def
22×unpow2
21×rem-cbrt-cube sin-mult
19×rem-square-sqrt sub-div
18×distribute-rgt-out rem-exp-log
13×neg-mul-1 sum-cubes
11×exp-diff
10×associate--l-
9×difference-cubes pow-sub
8×associate--r-
7×cos-sum diff-cos
6×unpow1/3 distribute-rgt1-in
5×distribute-lft1-in sqrt-pow2 count-2 tan-quot
3×cos-diff remove-double-div
2×neg-sub0 acos-asin cube-neg distribute-frac-neg
1×sqrt-undiv exp-to-pow cos-mult

analyze1.9min (10.6%)

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.8min (10.2%)

Accuracy

Total 221.6b remaining (40.7%)

Threshold costs 29.2b (5.4%)

18.9b7.4%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
16.5b-14.2%Linear.Matrix:det44 from linear-1.19.1.3
13.1b57.2%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.8b58.2%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.1b25.3%Linear.Matrix:det33 from linear-1.19.1.3

simplify1.0min (5.8%)

Algorithm
1440×egg-herbie

series56.5s (5.3%)

Calls

2646 calls:

2.4s
(log (/ (+ (pow (pow 1.0 3) 3) (pow (pow (/ (- y x) (- 1.0 y)) 3) 3)) (+ (pow 1.0 6) (- (pow (/ (- y x) (- 1.0 y)) 6) (* (pow 1.0 3) (pow (/ (- y x) (- 1.0 y)) 3))))))
715.0ms
(/ (* (* (+ z (log (cbrt z))) (+ (+ (pow 1.0 3) (* (pow (log (cbrt z)) 3) 8)) (* (- (log (cbrt z)) z) (+ (* 1.0 1.0) (* (log (cbrt z)) (+ (* (log (cbrt z)) 4) (* 1.0 -2))))))) y) (* (+ (* 1.0 1.0) (- (* (* 2 (log (cbrt z))) (* 2 (log (cbrt z)))) (* 1.0 (* 2 (log (cbrt z)))))) (+ (log (cbrt z)) z)))
585.0ms
(cbrt (* (- y x) (/ (- z t) (- a t))))
490.0ms
(cbrt (* (- y x) (/ (- z t) (- a t))))
484.0ms
(cbrt (* (- y x) (/ (- z t) (- a t))))

localize11.9s (1.1%)

bsearch4.4s (0.4%)

end5.0ms (0.0%)

Profiling

Loading profile data...