Date:Wednesday, May 27th, 2020
Commit:37fb213b on clean-debug-log
Hostname:warfa with Racket 7.5
Seed:2020148
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

prune3.7m (66.7%)

Filtered
13461 candidates to 9208 candidates (31.6%)

sample38.9s (11.6%)

Algorithm
72×intervals
Results
11.8s292630×body80valid
5.9s14318×body1280valid
2.8s3792×body2560valid
2.3s9520×body640valid
2.1s100588×pre80true
917.0ms6933×body320valid
694.0ms19195×body80nan
633.0ms8942×body160valid
283.0ms200×body5120exit
136.0ms2011×body80overflowed
107.0ms240×body5120valid
4.0ms100×pre80false

series38.1s (11.3%)

Calls

311 calls:

1.6s
(log (pow (exp 1) (pow (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (cbrt 4) (cbrt 4))) (cbrt 4))))
905.0ms
(cbrt (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))))
875.0ms
(cbrt (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))))
871.0ms
(cbrt (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))))
705.0ms
(log (pow (exp 1) (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) 4)))

simplify19.9s (5.9%)

Algorithm
179×egg-herbie

regimes7.4s (2.2%)

Accuracy

Total 24.2b remaining (6.6%)

Threshold costs 4.9b (1.3%)

5.6b69.2%Compound Interest
4.6b78.1%Kahan p9 Example
3.0b0%Complex division, real part
2.5b12.8%Complex division, imag part
1.4b0%Rosa's DopplerBench

rewrite4.9s (1.5%)

Algorithm
110×rewrite-expression-head
Calls

311 calls:

214.0ms
(/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) i)
148.0ms
(- (* (* (* (+ (pow -2.0 3) (pow (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) 3)) (* 77617.0 77617.0)) (* (- (* -2.0 -2.0) (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* 77617.0 77617.0))) (- (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (* (* (+ (* -2.0 -2.0) (- (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (* -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))))) (- -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0)))))))
82.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* (* (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
67.0ms
(* (* (+ (* -2.0 -2.0) (- (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (* -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))))) (- -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))))
57.0ms
(* (* (* x1 x1) (* (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
Rules
6617×frac-times
5650×associate-*l/
4547×times-frac
3848×*-un-lft-identity
3748×add-sqr-sqrt
3591×flip3-- flip--
2858×associate-*r/
2597×flip-+ flip3-+
2424×add-cube-cbrt
2245×frac-sub
1819×add-exp-log
1429×add-cbrt-cube
771×pow1
754×unpow-prod-down
752×cbrt-div
716×add-log-exp
690×associate-*r*
566×prod-exp
509×difference-of-squares
503×div-exp
477×associate-/r/
466×associate-/r*
458×cbrt-unprod
447×distribute-lft-out
409×sqrt-prod
398×cbrt-prod
355×associate-*l*
335×associate-/l*
323×cbrt-undiv
310×distribute-lft-out--
303×frac-add
288×sqr-pow
280×div-inv
191×pow-prod-down
184×cube-prod
165×unpow2
154×sum-log
145×unswap-sqr
129×swap-sqr
96×sub-neg
85×log-prod
82×diff-log associate-/l/
81×sqrt-div
74×exp-neg
71×pow-exp
70×*-commutative
69×pow-to-exp
67×distribute-rgt-in distribute-lft-in neg-sub0
66×clear-num frac-2neg
63×distribute-rgt-neg-in
56×exp-diff
53×sqrt-pow1
42×1-exp rec-exp
40×+-commutative
39×pow-unpow
38×pow1/3
37×exp-prod
35×distribute-lft-neg-in
33×pow1/2
31×associate-+l+
30×pow-prod-up
29×log-pow
28×div-sub
26×pow-sqr
21×associate-+r+
20×un-div-inv pow-pow
19×unpow3 cube-mult
18×rem-sqrt-square log-div
17×pow-plus
16×cube-div pow2 rem-log-exp
14×associate--r+
13×neg-mul-1
11×distribute-rgt-out-- neg-log
9×inv-pow pow-flip
8×exp-sum
7×associate--l- rem-cbrt-cube associate-+l- associate--l+
6×rem-exp-log distribute-lft-neg-out
5×rem-cube-cbrt associate-+r-
3×difference-cubes unsub-neg distribute-frac-neg
2×sqrt-pow2 distribute-rgt-out
1×distribute-lft1-in sqrt-unprod sub-div rem-square-sqrt +-inverses associate--r- exp-to-pow

localize1.5s (0.4%)

bsearch1.2s (0.4%)

end1.0ms (0.0%)

Profiling

Loading profile data...