Details

Time bar (total: 2.3s)

analyze181.0ms (7.7%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%74.9%25.1%4
0%74.9%25.1%5
0%62.4%37.6%6
12.5%43.7%43.8%7
12.5%43.7%43.8%8
25%28.1%47%9
28.1%20.3%51.6%10
28.1%20.3%51.6%11
34.3%13.3%52.4%12
35.9%9.8%54.4%13
35.9%9.8%54.4%14

sample21.0ms (0.9%)

Algorithm
1×intervals
Results
11.0ms256×body80valid
0.0ms6×body80nan
0.0ms5×body80invalid

simplify113.0ms (4.8%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (111.0ms)

IterNodesCost
0485512
1485512

prune7.0ms (0.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 0.1b

Counts
2 → 1

localize9.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.0b
(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))
0.0b
(+ (- 1.0 z) (log z))
0.2b
(* y (+ (- 1.0 z) (log z)))

rewrite23.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
22×*-un-lft-identity
9×pow1
8×add-sqr-sqrt distribute-lft-out add-log-exp
7×associate-*r*
6×add-cube-cbrt
5×add-exp-log associate-+r+ add-cbrt-cube
4×log-pow distribute-lft-out--
3×log-prod flip3-+ associate-*l* sum-log flip-+
2×+-commutative distribute-rgt-in distribute-lft-in associate-*r/
1×associate-+l- sub-neg associate-+l+ diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 60
Calls

3 calls:

9.0ms
(* y (+ (- 1.0 z) (log z)))
7.0ms
(+ (- 1.0 z) (log z))
6.0ms
(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))

series43.0ms (1.8%)

Counts
3 → 9
Calls

3 calls:

16.0ms
(* y (+ (- 1.0 z) (log z)))
14.0ms
(+ (- 1.0 z) (log z))
13.0ms
(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))

simplify48.0ms (2%)

Algorithm
1×egg-herbie
Counts
69 → 69
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
05073702

prune122.0ms (5.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New63669
Fresh000
Picked101
Done000
Total64670

Merged error: 0.0b

Counts
70 → 6

localize16.0ms (0.7%)

Local error

Found 4 expressions with local error:

0.2b
(* y (+ (+ (- 1.0 z) (* 2 (log (cbrt z)))) (log (cbrt z))))
0.2b
(+ (+ (- 1.0 z) (* 2 (log (cbrt z)))) (log (cbrt z)))
0.6b
(cbrt z)
0.6b
(cbrt z)

rewrite25.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Rules
16×*-un-lft-identity
12×add-sqr-sqrt
10×add-cube-cbrt add-log-exp
9×cbrt-prod
8×pow1
6×add-exp-log associate-+r+ log-prod add-cbrt-cube
5×associate-*r* sum-log
4×distribute-lft-out
3×associate-*l*
2×associate-+l- flip3-+ pow1/3 associate-*r/ log-pow flip-+
1×+-commutative distribute-rgt-in associate-+l+ distribute-lft-in diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 69
Calls

4 calls:

11.0ms
(* y (+ (+ (- 1.0 z) (* 2 (log (cbrt z)))) (log (cbrt z))))
10.0ms
(+ (+ (- 1.0 z) (* 2 (log (cbrt z)))) (log (cbrt z)))
1.0ms
(cbrt z)
1.0ms
(cbrt z)

series123.0ms (5.2%)

Counts
4 → 12
Calls

4 calls:

48.0ms
(+ (+ (- 1.0 z) (* 2 (log (cbrt z)))) (log (cbrt z)))
33.0ms
(* y (+ (+ (- 1.0 z) (* 2 (log (cbrt z)))) (log (cbrt z))))
21.0ms
(cbrt z)
21.0ms
(cbrt z)

simplify62.0ms (2.7%)

Algorithm
1×egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
05013636

prune130.0ms (5.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New80181
Fresh145
Picked011
Done000
Total81687

Merged error: 0.0b

Counts
87 → 6

localize15.0ms (0.6%)

Local error

Found 4 expressions with local error:

0.2b
(* (+ (* (log (cbrt z)) 2) (- 1.0 z)) y)
0.3b
(* (log (cbrt z)) y)
0.6b
(cbrt z)
0.6b
(cbrt z)

rewrite17.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
14×add-sqr-sqrt
10×add-cube-cbrt *-un-lft-identity
9×pow1
8×add-exp-log associate-*l* add-cbrt-cube
6×cbrt-prod associate-*r*
4×add-log-exp
3×pow1/3
2×pow-prod-down associate-*l/ prod-exp log-pow *-commutative cbrt-unprod unswap-sqr
1×flip3-+ flip-+
Counts
4 → 62
Calls

4 calls:

9.0ms
(* (+ (* (log (cbrt z)) 2) (- 1.0 z)) y)
4.0ms
(* (log (cbrt z)) y)
1.0ms
(cbrt z)
1.0ms
(cbrt z)

series92.0ms (3.9%)

Counts
4 → 12
Calls

4 calls:

26.0ms
(* (+ (* (log (cbrt z)) 2) (- 1.0 z)) y)
23.0ms
(cbrt z)
22.0ms
(* (log (cbrt z)) y)
21.0ms
(cbrt z)

simplify57.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
74 → 74
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
05028542

prune123.0ms (5.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New73174
Fresh134
Picked011
Done011
Total74680

Merged error: 0.0b

Counts
80 → 6

localize23.0ms (1%)

Local error

Found 4 expressions with local error:

0.2b
(* (+ (* (log (cbrt z)) 2) (- 1.0 z)) y)
0.3b
(* (log (pow z 1/3)) y)
0.6b
(cbrt z)
5.0b
(pow z 1/3)

rewrite18.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
15×add-sqr-sqrt
11×add-cube-cbrt *-un-lft-identity
9×pow1 add-exp-log
8×add-cbrt-cube
7×associate-*l*
6×associate-*r*
4×add-log-exp
3×cbrt-prod unpow-prod-down pow-unpow
2×pow-prod-down associate-*l/ prod-exp *-commutative cbrt-unprod unswap-sqr
1×pow-to-exp pow-pow flip3-+ unpow1/3 pow1/3 pow-exp log-pow flip-+ sqr-pow
Counts
4 → 68
Calls

4 calls:

9.0ms
(* (+ (* (log (cbrt z)) 2) (- 1.0 z)) y)
4.0ms
(* (log (pow z 1/3)) y)
2.0ms
(pow z 1/3)
1.0ms
(cbrt z)

series85.0ms (3.6%)

Counts
4 → 12
Calls

4 calls:

26.0ms
(* (+ (* (log (cbrt z)) 2) (- 1.0 z)) y)
23.0ms
(cbrt z)
19.0ms
(pow z 1/3)
17.0ms
(* (log (pow z 1/3)) y)

simplify50.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
04995524
14995524

prune135.0ms (5.8%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New80080
Fresh033
Picked011
Done022
Total80686

Merged error: 0.0b

Counts
86 → 6

regimes236.0ms (10.1%)

Accuracy

Total 0.1b remaining (81.2%)

Threshold costs 0.1b (81.2%)

bsearch0.0ms (0%)

simplify1.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03622
13622

end0.0ms (0%)

sample570.0ms (24.3%)

Algorithm
1×intervals
Results
374.0ms8000×body80valid
14.0ms313×body80invalid
3.0ms81×body80nan

Profiling

Loading profile data...