Details

Time bar (total: 4.3s)

analyze350.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%68.6%31.4%5
0%65.5%34.5%6
0%59.2%40.8%7
0%51.4%48.6%8
0%41.3%58.7%9
0%28.4%71.6%10
2.3%22.3%75.4%11
2.3%21%76.7%12
2.7%18%79.3%13
2.7%16.4%80.8%14

sample58.0ms

Algorithm
intervals
Results
26.0ms256×body80valid
13.0ms136×body80nan

simplify4.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
08116
18116

prune14.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.2b

Counts
2 → 2

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* (- a 0.5) (log t)) t)
0.1b
(* (- a 0.5) (log t))
0.1b
(+ (log z) (- (* (- a 0.5) (log t)) t))
0.2b
(+ (log (+ x y)) (+ (log z) (- (* (- a 0.5) (log t)) t)))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
32×*-un-lft-identity
25×log-prod
18×add-sqr-sqrt
14×add-cube-cbrt
13×pow1 distribute-lft-out add-log-exp
12×associate--l+
9×distribute-rgt-in distribute-lft-in
8×associate-+r+
7×associate-+l+ sum-log log-pow
6×add-exp-log add-cbrt-cube
5×associate-*l*
4×associate-*r*
3×associate-+r- flip3-+ diff-log flip-+
2×+-commutative associate-+l- sub-neg log-div flip3-- associate-*l/ flip--
1×pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 98
Calls
4 calls:
7.0ms
(- (* (- a 0.5) (log t)) t)
7.0ms
(* (- a 0.5) (log t))
9.0ms
(+ (log z) (- (* (- a 0.5) (log t)) t))
15.0ms
(+ (log (+ x y)) (+ (log z) (- (* (- a 0.5) (log t)) t)))

series95.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(- (* (- a 0.5) (log t)) t)
10.0ms
(* (- a 0.5) (log t))
23.0ms
(+ (log z) (- (* (- a 0.5) (log t)) t))
52.0ms
(+ (log (+ x y)) (+ (log z) (- (* (- a 0.5) (log t)) t)))

simplify36.0ms

Algorithm
egg-herbie
Counts
110 → 110
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
050411494

prune169.0ms

Filtered
85 candidates to 110 candidates (-29.4%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1037110
Fresh101
Picked101
Done000
Total1057112

Merged error: 0.0b

Counts
112 → 7

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (- a 0.5) (log t))
0.1b
(+ (log (sqrt (+ x y))) (+ (* (- a 0.5) (log t)) (+ (- (log z) t) (log (sqrt (+ x y))))))
0.1b
(+ (* (- a 0.5) (log t)) (+ (- (log z) t) (log (sqrt (+ x y)))))
0.2b
(+ (- (log z) t) (log (sqrt (+ x y))))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
35×*-un-lft-identity
29×log-prod
19×add-sqr-sqrt add-log-exp
17×associate-+l+
16×sum-log
15×add-cube-cbrt associate-+r-
13×pow1
10×distribute-lft-out
9×associate-+r+ flip3-+ flip-+
8×log-div sqrt-div sqrt-prod
7×log-pow
6×add-exp-log distribute-rgt-in distribute-lft-in associate-*l/ add-cbrt-cube
5×associate-+l- associate-*l* distribute-lft-out--
4×associate-*r* frac-add
3×+-commutative flip3-- diff-log associate--l+ flip--
1×sub-neg pow-prod-down prod-exp *-commutative cbrt-unprod difference-of-squares unswap-sqr
Counts
4 → 117
Calls
4 calls:
7.0ms
(* (- a 0.5) (log t))
19.0ms
(+ (log (sqrt (+ x y))) (+ (* (- a 0.5) (log t)) (+ (- (log z) t) (log (sqrt (+ x y))))))
15.0ms
(+ (* (- a 0.5) (log t)) (+ (- (log z) t) (log (sqrt (+ x y)))))
13.0ms
(+ (- (log z) t) (log (sqrt (+ x y))))

series129.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(* (- a 0.5) (log t))
56.0ms
(+ (log (sqrt (+ x y))) (+ (* (- a 0.5) (log t)) (+ (- (log z) t) (log (sqrt (+ x y))))))
40.0ms
(+ (* (- a 0.5) (log t)) (+ (- (log z) t) (log (sqrt (+ x y)))))
23.0ms
(+ (- (log z) t) (log (sqrt (+ x y))))

simplify35.0ms

Algorithm
egg-herbie
Counts
129 → 129
Iterations

Useful iterations: 0 (20.0ms)

IterNodesCost
050522335

prune173.0ms

Filtered
98 candidates to 129 candidates (-31.6%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1290129
Fresh066
Picked011
Done000
Total1297136

Merged error: 0.0b

Counts
136 → 7

localize20.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (+ x y)) (cbrt (+ x y)))
0.6b
(cbrt (+ x y))
0.6b
(cbrt (+ x y))
0.6b
(cbrt (+ x y))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
36×cbrt-prod
35×*-un-lft-identity
23×add-sqr-sqrt
18×cbrt-div
15×add-cube-cbrt
11×pow1
9×flip3-+ pow1/3 swap-sqr flip-+ distribute-lft-out
7×associate-*r* associate-*l*
6×add-exp-log
4×frac-times add-cbrt-cube add-log-exp unswap-sqr
2×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 95
Calls
4 calls:
10.0ms
(* (cbrt (+ x y)) (cbrt (+ x y)))
3.0ms
(cbrt (+ x y))
3.0ms
(cbrt (+ x y))
3.0ms
(cbrt (+ x y))

series140.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(* (cbrt (+ x y)) (cbrt (+ x y)))
32.0ms
(cbrt (+ x y))
32.0ms
(cbrt (+ x y))
34.0ms
(cbrt (+ x y))

simplify76.0ms

Algorithm
egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
04962919
14962919

prune128.0ms

Filtered
65 candidates to 107 candidates (-64.6%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1070107
Fresh055
Picked011
Done011
Total1077114

Merged error: 0.0b

Counts
114 → 7

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b
(+ (+ (log z) (* (- a 0.5) (* (log (cbrt t)) 2))) (- (* (- a 0.5) (log (cbrt t))) t))
0.2b
(+ (log z) (* (- a 0.5) (* (log (cbrt t)) 2)))
0.6b
(cbrt t)
0.6b
(cbrt t)

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
15×log-prod add-log-exp
13×associate-+r+ *-un-lft-identity
12×cbrt-prod associate--l+
11×add-sqr-sqrt add-cube-cbrt
7×sum-log
6×distribute-rgt-in distribute-lft-in
4×pow1 add-exp-log associate-+l+ flip3-+ frac-add add-cbrt-cube flip-+
2×+-commutative flip3-- pow1/3 diff-log flip--
1×associate-+r- sub-neg distribute-lft-out
Counts
4 → 70
Calls
4 calls:
13.0ms
(+ (+ (log z) (* (- a 0.5) (* (log (cbrt t)) 2))) (- (* (- a 0.5) (log (cbrt t))) t))
6.0ms
(+ (log z) (* (- a 0.5) (* (log (cbrt t)) 2)))
1.0ms
(cbrt t)
1.0ms
(cbrt t)

series159.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(+ (+ (log z) (* (- a 0.5) (* (log (cbrt t)) 2))) (- (* (- a 0.5) (log (cbrt t))) t))
65.0ms
(+ (log z) (* (- a 0.5) (* (log (cbrt t)) 2)))
23.0ms
(cbrt t)
22.0ms
(cbrt t)

simplify26.0ms

Algorithm
egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 0 (17.0ms)

IterNodesCost
051781479

prune134.0ms

Filtered
75 candidates to 82 candidates (-9.3%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New81182
Fresh134
Picked011
Done022
Total82789

Merged error: 0b

Counts
89 → 7

regimes830.0ms

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 0.3b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02223
12223

end0.0ms

analyze356.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%68.6%31.4%5
0%65.5%34.5%6
0%59.2%40.8%7
0%51.4%48.6%8
0%41.3%58.7%9
0%28.4%71.6%10
2.3%22.3%75.4%11
2.3%21%76.7%12
2.7%18%79.3%13
2.7%16.4%80.8%14

sample1.2s

Algorithm
intervals
Results
598.0ms8000×body80valid
272.0ms4237×body80nan
2.0ms27×body80invalid

Profiling

Loading profile data...