Details

Time bar (total: 3.0s)

analyze683.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%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
6.2%93.6%0.2%9
28.1%68.6%3.3%10
29.6%65.5%4.9%11
32%61.7%6.3%12
35.5%56.9%7.6%13
48%38.7%13.4%14

sample29.0ms

Algorithm
intervals
Results
11.0ms256×body80valid
5.0ms99×body80invalid

simplify6.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
01719
11719

prune13.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.0b

Counts
2 → 2

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(* d1 (+ d2 (- d4 (+ d1 d3))))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
12×*-un-lft-identity
6×associate-*r*
5×add-sqr-sqrt
4×distribute-lft-out
3×pow1 add-exp-log add-cube-cbrt associate-*l* add-cbrt-cube
2×associate-*r/ distribute-lft-out--
1×distribute-rgt-in distribute-lft-in flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ add-log-exp unswap-sqr
Counts
1 → 25
Calls
1 calls:
9.0ms
(* d1 (+ d2 (- d4 (+ d1 d3))))

series11.0ms

Counts
1 → 3
Calls
1 calls:
11.0ms
(* d1 (+ d2 (- d4 (+ d1 d3))))

simplify48.0ms

Algorithm
egg-herbie
Counts
28 → 28
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
05248267

prune33.0ms

Filtered
18 candidates to 28 candidates (-55.6%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New27128
Fresh011
Picked011
Done000
Total27330

Merged error: 0b

Counts
30 → 3

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
0.0b
(- (* d1 d2) (* d1 d3))
0.0b
(+ (- (* d1 d2) (* d1 d3)) (* d4 d1))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
19×add-log-exp
6×diff-log
4×add-sqr-sqrt sum-log
3×pow1 add-exp-log add-cube-cbrt sub-neg *-un-lft-identity add-cbrt-cube
2×associate-+l- flip3-- flip--
1×+-commutative associate--l- associate-+l+ flip3-+ associate--l+ flip-+ distribute-lft-out-- difference-of-squares
Counts
3 → 42
Calls
3 calls:
7.0ms
(- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
3.0ms
(- (* d1 d2) (* d1 d3))
5.0ms
(+ (- (* d1 d2) (* d1 d3)) (* d4 d1))

series29.0ms

Counts
3 → 9
Calls
3 calls:
13.0ms
(- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
7.0ms
(- (* d1 d2) (* d1 d3))
9.0ms
(+ (- (* d1 d2) (* d1 d3)) (* d4 d1))

simplify26.0ms

Algorithm
egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
05615515

prune51.0ms

Filtered
40 candidates to 51 candidates (-27.5%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New51051
Fresh011
Picked011
Done011
Total51354

Merged error: 0b

Counts
54 → 3

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(* d1 (+ d2 (- d4 (+ d1 d3))))
0.3b
(pow (* d1 (+ d2 (- d4 (+ d1 d3)))) 3)
33.9b
(cbrt (pow (* d1 (+ d2 (- d4 (+ d1 d3)))) 3))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
16×*-un-lft-identity
9×add-sqr-sqrt
8×pow1 add-exp-log cbrt-prod add-cbrt-cube
7×add-cube-cbrt
6×associate-*r/ associate-*r*
4×cube-div distribute-lft-out
3×pow-unpow flip3-+ associate-*l* flip-+ add-log-exp
2×cube-mult unpow-prod-down cbrt-div pow-pow unpow3 cube-prod pow-prod-down pow-exp prod-exp cbrt-unprod distribute-lft-out-- rem-cube-cbrt sqr-pow
1×distribute-rgt-in pow-to-exp distribute-lft-in pow1/3 *-commutative rem-cbrt-cube unswap-sqr
Counts
3 → 68
Calls
3 calls:
11.0ms
(* d1 (+ d2 (- d4 (+ d1 d3))))
9.0ms
(pow (* d1 (+ d2 (- d4 (+ d1 d3)))) 3)
2.0ms
(cbrt (pow (* d1 (+ d2 (- d4 (+ d1 d3)))) 3))

series156.0ms

Counts
3 → 9
Calls
3 calls:
12.0ms
(* d1 (+ d2 (- d4 (+ d1 d3))))
127.0ms
(pow (* d1 (+ d2 (- d4 (+ d1 d3)))) 3)
16.0ms
(cbrt (pow (* d1 (+ d2 (- d4 (+ d1 d3)))) 3))

simplify34.0ms

Algorithm
egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
05209882

prune75.0ms

Filtered
52 candidates to 77 candidates (-48.1%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New77077
Fresh000
Picked011
Done022
Total77380

Merged error: 0b

Counts
80 → 3

regimes253.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0119
1119

end0.0ms

analyze693.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%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
6.2%93.6%0.2%9
28.1%68.6%3.3%10
29.6%65.5%4.9%11
32%61.7%6.3%12
35.5%56.9%7.6%13
48%38.7%13.4%14

sample738.0ms

Algorithm
intervals
Results
362.0ms8000×body80valid
109.0ms2363×body80invalid

Profiling

Loading profile data...