Details

Time bar (total: 8.6s)

analyze2.0s

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

sample90.0ms

Algorithm
intervals
Results
28.0ms354×body80invalid
20.0ms256×body80valid

simplify307.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (305.0ms)

IterNodesCost
0495529
1495529

prune12.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 13.8b

Counts
2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* c z) (* i a))
4.1b
(* x (- (* y z) (* t a)))
5.4b
(* b (- (* c z) (* i a)))
6.8b
(* j (- (* c t) (* i y)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
10×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
9×associate-*r* associate-*l*
7×sub-neg
6×associate-*r/ add-log-exp
4×flip3-- flip--
3×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×diff-log
Counts
4 → 77
Calls
4 calls:
3.0ms
(- (* c z) (* i a))
6.0ms
(* x (- (* y z) (* t a)))
6.0ms
(* b (- (* c z) (* i a)))
6.0ms
(* j (- (* c t) (* i y)))

series66.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(- (* c z) (* i a))
18.0ms
(* x (- (* y z) (* t a)))
18.0ms
(* b (- (* c z) (* i a)))
20.0ms
(* j (- (* c t) (* i y)))

simplify44.0ms

Algorithm
egg-herbie
Counts
89 → 89
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
04926937
14926937

prune194.0ms

Filtered
62 candidates to 89 candidates (-43.5%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New751489
Fresh000
Picked101
Done000
Total761490

Merged error: 5.2b

Counts
90 → 14

localize23.0ms

Local error

Found 4 expressions with local error:

4.1b
(* x (- (* y z) (* t a)))
5.1b
(* c (* b z))
5.1b
(* i (* a (neg b)))
6.8b
(* j (- (* c t) (* i y)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log add-cbrt-cube
14×add-sqr-sqrt
12×associate-*l*
10×add-cube-cbrt *-un-lft-identity
8×associate-*r* pow-prod-down prod-exp cbrt-unprod
4×sub-neg associate-*r/ *-commutative add-log-exp
2×distribute-rgt-in flip3-- distribute-lft-in distribute-rgt-neg-out flip-- unswap-sqr
Counts
4 → 81
Calls
4 calls:
6.0ms
(* x (- (* y z) (* t a)))
4.0ms
(* c (* b z))
5.0ms
(* i (* a (neg b)))
6.0ms
(* j (- (* c t) (* i y)))

series48.0ms

Counts
4 → 12
Calls
4 calls:
17.0ms
(* x (- (* y z) (* t a)))
5.0ms
(* c (* b z))
8.0ms
(* i (* a (neg b)))
18.0ms
(* j (- (* c t) (* i y)))

simplify32.0ms

Algorithm
egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
05038786

prune190.0ms

Filtered
59 candidates to 93 candidates (-57.6%)
Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New88593
Fresh11213
Picked101
Done000
Total9017107

Merged error: 4.4b

Counts
107 → 17

localize29.0ms

Local error

Found 4 expressions with local error:

6.8b
(* j (- (* c t) (* i y)))
17.2b
(cbrt (* i (* a (neg b))))
17.2b
(cbrt (* i (* a (neg b))))
17.2b
(cbrt (* i (* a (neg b))))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
4×add-log-exp
3×cbrt-prod pow1/3 associate-*r* associate-*l*
2×sub-neg associate-*r/
1×distribute-rgt-in flip3-- distribute-lft-in pow-prod-down prod-exp *-commutative flip-- cbrt-unprod unswap-sqr
Counts
4 → 49
Calls
4 calls:
6.0ms
(* j (- (* c t) (* i y)))
4.0ms
(cbrt (* i (* a (neg b))))
4.0ms
(cbrt (* i (* a (neg b))))
4.0ms
(cbrt (* i (* a (neg b))))

series88.0ms

Counts
4 → 12
Calls
4 calls:
17.0ms
(* j (- (* c t) (* i y)))
25.0ms
(cbrt (* i (* a (neg b))))
22.0ms
(cbrt (* i (* a (neg b))))
23.0ms
(cbrt (* i (* a (neg b))))

simplify64.0ms

Algorithm
egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
04933567
14933567

prune171.0ms

Filtered
47 candidates to 61 candidates (-29.8%)
Pruning

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New59261
Fresh21416
Picked101
Done000
Total621678

Merged error: 2.5b

Counts
78 → 16

localize31.0ms

Local error

Found 4 expressions with local error:

6.4b
(* j (* c t))
17.2b
(cbrt (* i (* a (neg b))))
17.2b
(cbrt (* i (* a (neg b))))
17.2b
(cbrt (* i (* a (neg b))))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-exp-log add-cbrt-cube
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×add-log-exp
3×cbrt-prod pow1/3 associate-*l* pow-prod-down prod-exp cbrt-unprod
1×associate-*r* *-commutative
Counts
4 → 45
Calls
4 calls:
4.0ms
(* j (* c t))
4.0ms
(cbrt (* i (* a (neg b))))
4.0ms
(cbrt (* i (* a (neg b))))
4.0ms
(cbrt (* i (* a (neg b))))

series77.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(* j (* c t))
23.0ms
(cbrt (* i (* a (neg b))))
25.0ms
(cbrt (* i (* a (neg b))))
24.0ms
(cbrt (* i (* a (neg b))))

simplify36.0ms

Algorithm
egg-herbie
Counts
57 → 57
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
05268420

prune62.0ms

Filtered
42 candidates to 57 candidates (-35.7%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New56157
Fresh21315
Picked101
Done000
Total591473

Merged error: 0.6b

Counts
73 → 14

regimes2.0s

Accuracy

28.8% (8.5b remaining)

Error of 9.4b against oracle of 0.9b and baseline of 12.8b

bsearch228.0ms

Steps
ItersRangePoint
7
1.266075985956292e+58
1.5421649546380767e+60
3.914296527345982e+59
7
1.563383955209431e-26
7.836865144514038e-25
3.010292186307326e-26
9
2.189327699348013e-99
2.026459399279547e-94
2.007154899331252e-94
9
-5.931511111637487e+113
-6.934879076812363e+106
-1.396055320967211e+107

simplify32.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
01354201
11354201

end0.0ms

sample2.6s

Algorithm
intervals
Results
940.0ms11230×body80invalid
641.0ms8000×body80valid

Profiling

Loading profile data...