Details

Time bar (total: 6.9s)

analyze1.6s (23.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%7
0%99.7%0.3%8
0%99.7%0.3%9
0%99.7%0.3%10
0%99.7%0.3%11
0%99.7%0.3%12
0%99.7%0.3%13
0%99.7%0.3%14

sample56.0ms (0.8%)

Algorithm
1×intervals
Results
15.0ms256×body80valid
9.0ms159×body80invalid

simplify78.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (76.0ms)

IterNodesCost
0495317
1495317

prune17.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 4.9b

Counts
2 → 2

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b
(* 4.0 (* t a))
0.2b
(* (* x 9.0) y)
2.0b
(/ (+ (* (* x 9.0) y) b) z)
9.4b
(/ (- (/ (+ (* (* x 9.0) y) b) z) (* 4.0 (* t a))) c)

rewrite34.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
22×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×add-exp-log times-frac add-cbrt-cube
14×pow1
6×pow-prod-down prod-exp associate-/r* cbrt-unprod associate-/l*
4×associate-*r* associate-*l* associate-/l/ add-log-exp
2×cbrt-undiv frac-2neg div-exp clear-num *-commutative div-inv
1×flip3-- flip3-+ div-sub flip-- flip-+
Counts
4 → 95
Calls

4 calls:

11.0ms
(/ (- (/ (+ (* (* x 9.0) y) b) z) (* 4.0 (* t a))) c)
8.0ms
(/ (+ (* (* x 9.0) y) b) z)
8.0ms
(* 4.0 (* t a))
5.0ms
(* (* x 9.0) y)

series65.0ms (0.9%)

Counts
4 → 12
Calls

4 calls:

45.0ms
(/ (- (/ (+ (* (* x 9.0) y) b) z) (* 4.0 (* t a))) c)
14.0ms
(/ (+ (* (* x 9.0) y) b) z)
3.0ms
(* (* x 9.0) y)
3.0ms
(* 4.0 (* t a))

simplify51.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
049791454
149791454

prune248.0ms (3.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New9611107
Fresh011
Picked101
Done000
Total9712109

Merged error: 4.4b

Counts
109 → 12

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b
(* 9.0 (/ (* x y) (* z c)))
4.7b
(/ b (* z c))
4.7b
(/ (* 4.0 (* t a)) c)
8.8b
(/ (* x y) (* z c))

rewrite27.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
48×add-exp-log add-cbrt-cube
17×prod-exp cbrt-unprod
13×cbrt-undiv div-exp
12×add-sqr-sqrt
10×add-cube-cbrt *-un-lft-identity
8×times-frac
6×pow1
5×associate-*r* associate-/r* associate-/l*
4×div-inv add-log-exp
3×frac-2neg associate-*l* clear-num
1×associate-*r/ pow-prod-down *-commutative unswap-sqr
Counts
4 → 94
Calls

4 calls:

7.0ms
(* 9.0 (/ (* x y) (* z c)))
6.0ms
(/ b (* z c))
6.0ms
(/ (* 4.0 (* t a)) c)
5.0ms
(/ (* x y) (* z c))

series28.0ms (0.4%)

Counts
4 → 12
Calls

4 calls:

10.0ms
(* 9.0 (/ (* x y) (* z c)))
8.0ms
(/ (* x y) (* z c))
6.0ms
(/ (* 4.0 (* t a)) c)
5.0ms
(/ b (* z c))

simplify59.0ms (0.9%)

Algorithm
1×egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
05020876

prune454.0ms (6.6%)

Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New1006106
Fresh3811
Picked101
Done000
Total10414118

Merged error: 1.7b

Counts
118 → 14

localize21.0ms (0.3%)

Local error

Found 4 expressions with local error:

8.8b
(/ (* x y) (* z c))
12.3b
(cbrt (/ (* 4.0 (* t a)) c))
12.3b
(cbrt (/ (* 4.0 (* t a)) c))
12.3b
(cbrt (/ (* 4.0 (* t a)) c))

rewrite18.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
21×cbrt-prod
16×add-exp-log add-cbrt-cube
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac
4×pow1 cbrt-undiv div-exp prod-exp cbrt-unprod div-inv add-log-exp
3×cbrt-div pow1/3
1×frac-2neg clear-num associate-/r* associate-/l*
Counts
4 → 69
Calls

4 calls:

5.0ms
(/ (* x y) (* z c))
4.0ms
(cbrt (/ (* 4.0 (* t a)) c))
4.0ms
(cbrt (/ (* 4.0 (* t a)) c))
4.0ms
(cbrt (/ (* 4.0 (* t a)) c))

series78.0ms (1.1%)

Counts
4 → 12
Calls

4 calls:

25.0ms
(cbrt (/ (* 4.0 (* t a)) c))
23.0ms
(cbrt (/ (* 4.0 (* t a)) c))
23.0ms
(cbrt (/ (* 4.0 (* t a)) c))
8.0ms
(/ (* x y) (* z c))

simplify33.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
05007863

prune254.0ms (3.7%)

Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New81081
Fresh01313
Picked011
Done000
Total811495

Merged error: 1.7b

Counts
95 → 14

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b
(* 9.0 (/ (* x y) z))
0.4b
(+ (* 9.0 (/ (* x y) z)) (/ b z))
4.4b
(/ (* x y) z)
9.4b
(/ (- (+ (* 9.0 (/ (* x y) z)) (/ b z)) (* 4.0 (* t a))) c)

rewrite33.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
20×add-exp-log add-cbrt-cube
19×add-sqr-sqrt
17×add-cube-cbrt *-un-lft-identity
15×times-frac
7×associate-*r*
6×pow1 associate-/r* add-log-exp
5×cbrt-undiv div-exp prod-exp cbrt-unprod
4×associate-/l*
3×associate-*l* div-inv
2×frac-2neg associate-*r/ clear-num associate-/l/
1×+-commutative flip3-- flip3-+ div-sub pow-prod-down frac-add sum-log *-commutative flip-- flip-+ unswap-sqr
Counts
4 → 90
Calls

4 calls:

12.0ms
(/ (- (+ (* 9.0 (/ (* x y) z)) (/ b z)) (* 4.0 (* t a))) c)
8.0ms
(+ (* 9.0 (/ (* x y) z)) (/ b z))
6.0ms
(* 9.0 (/ (* x y) z))
4.0ms
(/ (* x y) z)

series68.0ms (1%)

Counts
4 → 12
Calls

4 calls:

46.0ms
(/ (- (+ (* 9.0 (/ (* x y) z)) (/ b z)) (* 4.0 (* t a))) c)
11.0ms
(+ (* 9.0 (/ (* x y) z)) (/ b z))
6.0ms
(* 9.0 (/ (* x y) z))
5.0ms
(/ (* x y) z)

simplify40.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
102 → 102
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
049901466
149901466

prune142.0ms (2.1%)

Pruning

15 alts after pruning (13 fresh and 2 done)

PrunedKeptTotal
New1002102
Fresh11112
Picked011
Done011
Total10115116

Merged error: 1.7b

Counts
116 → 15

regimes2.1s (30.1%)

Accuracy

Total 2.4b remaining (47.3%)

Threshold costs 0b (0%)

bsearch1.0ms (0%)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0161187
1161187

end0.0ms (0%)

sample1.4s (19.8%)

Algorithm
1×intervals
Results
509.0ms8000×body80valid
293.0ms4730×body80invalid

Profiling

Loading profile data...