Details

Time bar (total: 8.7s)

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

sample93.0ms

Algorithm
intervals
Results
29.0ms369×body80invalid
20.0ms256×body80valid

simplify317.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (315.0ms)

IterNodesCost
0495529
1495529

prune16.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: 11.9b

Counts
2 → 1

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* y z) (* t a))
3.5b
(* x (- (* y z) (* t a)))
4.6b
(* b (- (* c z) (* i a)))
5.6b
(* 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:
4.0ms
(- (* y z) (* t a))
7.0ms
(* x (- (* y z) (* t a)))
6.0ms
(* b (- (* c z) (* i a)))
6.0ms
(* j (- (* c t) (* i y)))

series67.0ms

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

simplify44.0ms

Algorithm
egg-herbie
Counts
89 → 89
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
04926937
14926937

prune214.0ms

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

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New721789
Fresh000
Picked101
Done000
Total731790

Merged error: 3.7b

Counts
90 → 17

localize22.0ms

Local error

Found 4 expressions with local error:

3.5b
(* x (- (* y z) (* t a)))
4.4b
(* i (* a (neg b)))
5.5b
(* c (* b z))
5.6b
(* j (- (* c t) (* i y)))

rewrite24.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)))
5.0ms
(* i (* a (neg b)))
5.0ms
(* c (* b z))
6.0ms
(* j (- (* c t) (* i y)))

series51.0ms

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

simplify34.0ms

Algorithm
egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
05038786

prune201.0ms

Filtered
62 candidates to 93 candidates (-50.0%)
Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New90393
Fresh11516
Picked101
Done000
Total9218110

Merged error: 3.5b

Counts
110 → 18

localize28.0ms

Local error

Found 4 expressions with local error:

5.6b
(* j (- (* c t) (* i y)))
6.1b
(cbrt (* j (- (* c t) (* i y))))
6.1b
(cbrt (* j (- (* c t) (* i y))))
6.1b
(cbrt (* j (- (* c t) (* i y))))

rewrite22.0ms

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

series147.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(* j (- (* c t) (* i y)))
41.0ms
(cbrt (* j (- (* c t) (* i y))))
45.0ms
(cbrt (* j (- (* c t) (* i y))))
42.0ms
(cbrt (* j (- (* c t) (* i y))))

simplify43.0ms

Algorithm
egg-herbie
Counts
67 → 67
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
04999831
14999831

prune199.0ms

Filtered
56 candidates to 67 candidates (-19.6%)
Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New65267
Fresh01717
Picked101
Done000
Total661985

Merged error: 3.5b

Counts
85 → 19

localize33.0ms

Local error

Found 4 expressions with local error:

6.1b
(cbrt (* j (- (* c t) (* i y))))
7.4b
(cbrt (- (* c t) (* i y)))
7.4b
(cbrt (- (* c t) (* i y)))
7.4b
(cbrt (- (* c t) (* i y)))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
10×cbrt-prod
8×cbrt-div
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log flip3-- pow1/3 add-cbrt-cube flip-- add-log-exp
2×associate-*r/
Counts
4 → 50
Calls
4 calls:
5.0ms
(cbrt (* j (- (* c t) (* i y))))
4.0ms
(cbrt (- (* c t) (* i y)))
4.0ms
(cbrt (- (* c t) (* i y)))
5.0ms
(cbrt (- (* c t) (* i y)))

series155.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(cbrt (* j (- (* c t) (* i y))))
40.0ms
(cbrt (- (* c t) (* i y)))
37.0ms
(cbrt (- (* c t) (* i y)))
37.0ms
(cbrt (- (* c t) (* i y)))

simplify40.0ms

Algorithm
egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
04963816
14963816

prune96.0ms

Filtered
56 candidates to 62 candidates (-10.7%)
Pruning

21 alts after pruning (20 fresh and 1 done)

PrunedKeptTotal
New60262
Fresh01818
Picked011
Done000
Total602181

Merged error: 3.5b

Counts
81 → 21

regimes2.2s

Accuracy

31.2% (6.2b remaining)

Error of 9.5b against oracle of 3.3b and baseline of 12.3b

bsearch124.0ms

Steps
ItersRangePoint
10
7.250193489016599e+54
1.0028479606133178e+65
9.369818488516253e+54
7
-3.5744174401614512e-43
-9.752694061559477e-45
-2.8015300348686148e-43

simplify29.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
01050171
11050171

end0.0ms

sample2.5s

Algorithm
intervals
Results
890.0ms11078×body80invalid
656.0ms8000×body80valid

Profiling

Loading profile data...